用C语言的泛型实现交换两个变量值

 更新时间:2016年08月29日 16:10:04   投稿:daisy  
在日常编程里面经常会遇到交换两个变量的内容的任务,对于泛型类型而言有两种泛型策略来实现,下面跟着小编一起来学习学习。

第一种,最常用的是创建一个中间变量来循环交换它们的值:

T a = ...;
T b = ...;
.
T tmp = a; a = b; a = tmp;

我们称这种策略p99_swap1。在这里,编译器必须严格实现三个任务的顺序,否则,由此程序产生的结果将是不正确的。

第二种,叫它p99_swap2,试图做类似的事情,但放松一些顺序约束:

T a = ...;
T b = ...;
.
T tmpa = a; T tmpb = b;
a = tmpb; b = tmpa;

用更多的资源(栈空间或寄存器)可以产生更有效的代码。两个对象可以平行地加载和保存。但收益可能只在小对象上可以看到。所以将两者结合起来是一个可能的尝试

#define P99_SWAP(A, B) (sizeof(A) > sizeof(uintmax_t) ? P99_SWAP1(A, B) : P99_SWAP2(A, B))

但是如何实现两个 “子宏” P99_SWAP1 P99_SWAP2(A, B) ?如果我们想使用C的宏或者函数来实现的难度在于仅仅是传递参数A和B而不知道其类型,所以让我们先写函数和宏,忘记类型问题:

inline
void p00_swap2(void* a, void* b, void* tmpa, void* tmpb, size_t len) {
  memcpy(tmpa, a, len);
  memcpy(tmpb, b, len);
  memcpy(b, tmpa, len);
  memcpy(a, tmpb, len);
}
#define P00X_SWAP2(A, B) p00_swap2(
  &(A),                   \
  &(B),                   \
  (char[sizeof(A)]){ [0] = 0 },       \
  (char[sizeof(A)]){ [0] = 0 }, sizeof(A))

这个古怪的表达式: (char[sizeof(A)]){ [0] = 0 } 被称为复合文字(C99新特性),为复制操作提供临时对象。

这有几个缺点。首先,我们甚至没有检查是否A和B与对象具有相同的大小,但我们很愉快地复制到他们。因此,首先,我们必须断言它们至少具有相同的大小,避免引起不确定的行为。这样就可以为两个复合文字实现一些表达上的魔法:

(char[sizeof(A)]){ [(intmax_t)sizeof(A) - sizeof(B)] = 0 }

其中:intmax_t类型指定一个最大尺寸有符号整数

这里发生了什么?右边的[]里面,一个指定的初始值,被用来初始化字符数组中的一个元素。现在我们将比较两者的大小:如果两者相等,则表示位置0处的元素,如果sizeof(A) < sizeof(B) ,类型转换 intmax_t 在编译的期间将产生一个负数。

如果现在我们将上面的策略应用于第二个复合文字,我们得到一个宏,在它调用两个相同大小的对象的时候成功编译,并在大小不同的时候在编译期间产生错误:

#define P00_SWAP2(A, B)
p00_swap2(                           \
   &(A),                            \
   &(B),                            \
   (char[sizeof(A)]){ [(intmax_t)sizeof(A) - sizeof(B)] = 0 }, \
   (char[sizeof(B)]){ [(intmax_t)sizeof(B) - sizeof(A)] = 0 }, \
   sizeof(A))

这现在已经是更安全,但也许还不够安全,因为这两个对象可能有相同的大小,但仍然不是同一类型。我们可以做一个额外的检查来确定这两种类型是否是兼容的。这可以通过下面这样的可能第一眼看起来有点hack

(1 ? &(A) : ((A = B), NULL))
#define P99_SWAP(A, B) (sizeof(A) > sizeof(uintmax_t) ? P99_SWAP1(A, B) : P99_SWAP2(A, B))

这里的条件总是真,所以它总是等于&(A)。第二个“假”部分在运行时从未执行,但只用来检查它是否是正确的C代码。如果A和B不会兼容,则表示不是正确的C代码。

以上就是这篇文章的全部内容,希望本文的内容对大家的学习和工作能带来帮助,如果有疑问可以留言交流。

相关文章

  • c++实现md5加密的代码

    c++实现md5加密的代码

    这篇文章主要介绍了c++实现md5加密的实例代码,代码简单易懂,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2022-06-06
  • C语言进阶输入输出重定向与fopen函数使用示例详解

    C语言进阶输入输出重定向与fopen函数使用示例详解

    这篇文章主要为大家介绍了C语言进阶输入输出重定向与fopen函数的示例详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步
    2022-02-02
  • C++关键字thread_local学习笔记

    C++关键字thread_local学习笔记

    这篇文章主要为大家介绍了C++关键字thread_local学习笔记,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-10-10
  • c语言链表基本操作(带有创建链表 删除 打印 插入)

    c语言链表基本操作(带有创建链表 删除 打印 插入)

    这篇文章主要介绍了c语言链表基本操作,大家参考使用吧
    2013-12-12
  • Qt快速读取大文件最后一行内容解决方案

    Qt快速读取大文件最后一行内容解决方案

    这篇文章主要给大家介绍了关于Qt如何快速读取大文件最后一行内容的解决方案,文中通过代码介绍的非常详细,对大家学习或者使用Qt具有一定的参考借鉴价值,需要的朋友可以参考下
    2024-01-01
  • C++中不得不说的map容器

    C++中不得不说的map容器

    大家好,本篇文章主要讲的是C++中不得不说的map容器,感兴趣的同学赶快来看一看吧,对你有帮助的话记得收藏一下
    2022-02-02
  • C++优先队列的使用小结

    C++优先队列的使用小结

    普通的队列是一种先进先出的数据结构,元素在队列尾追加,而从队列头删除,在优先队列中,元素被赋予优先级,本文主要介绍了C++优先队列的使用,感兴趣的可以了解一下
    2023-11-11
  • C++11的for循环,以及范围Range类的简单实现

    C++11的for循环,以及范围Range类的简单实现

    下面小编就为大家带来一篇C++11的for循环,以及范围Range类的简单实现。小编觉得挺不错的, 现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2016-06-06
  • strcat函数与strncat函数的深入分析

    strcat函数与strncat函数的深入分析

    本篇文章是对strcat函数与strncat函数进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • C++中Lambda表达式的语法与实例

    C++中Lambda表达式的语法与实例

    C++ 11 中的 Lambda 表达式用于定义并创建匿名的函数对象,以简化编程工作,下面这篇文章主要给大家介绍了关于C++中Lambda表达式的相关资料,文中通过示例代码介绍的非常详细,需要的朋友可以参考下
    2021-10-10

最新评论