用C语言的泛型实现交换两个变量值
第一种,最常用的是创建一个中间变量来循环交换它们的值: T a = ...; T b = ...; . T tmp = a; a = b; a = tmp; 我们称这种策略 第二种,叫它 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)) 但是如何实现两个 “子宏” 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 },sizeof(A)) 这个古怪的表达式: 这有几个缺点。首先,我们甚至没有检查是否A和B与对象具有相同的大小,但我们很愉快地复制到他们。因此,首先,我们必须断言它们至少具有相同的大小,避免引起不确定的行为。这样就可以为两个复合文字实现一些表达上的魔法: (char[sizeof(A)]){ [(intmax_t)sizeof(A) - sizeof(B)] = 0 } 其中: 这里发生了什么?右边的[]里面,一个指定的初始值,被用来初始化字符数组中的一个元素。现在我们将比较两者的大小:如果两者相等,则表示位置0处的元素,如果 如果现在我们将上面的策略应用于第二个复合文字,我们得到一个宏,在它调用两个相同大小的对象的时候成功编译,并在大小不同的时候在编译期间产生错误: #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)) 这里的条件总是真,所以它总是等于&(A)。第二个“假”部分在运行时从未执行,但只用来检查它是否是正确的C代码。如果A和B不会兼容,则表示不是正确的C代码。 以上就是这篇文章的全部内容,希望本文的内容对大家的学习和工作能带来帮助,如果有疑问可以留言交流。 (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |