((void)sizeof(char[1-2*!!(condition)])) 它的意思是什么？

wangzhen11aaa

38         BUILD_BUG_ON(sizeof boot_params != 4096);

34 #define BUILD_BUG_ON(condition) ((void)sizeof(char[1 - 2*!!(condition)]))
这个意思是什么，最后这个(void)是干什么的。
最后得到void，这个用途是什么？

bruceteen

防止编译器给出警告的吧，不懂，瞎扯

OwnWaterloo

这应该是个编译时"反"断言。

1 - 2*!!(condition)的意思是若条件为真，表达式值为-1，否则为1 —— (condition)? -1: 1
而-1作为数组维度是不合法的，编译时会产生错误。
void 可能是为了避免空语句警告吧……


其实相比：
1. char a[(condtion)? 1: -1];
(void)a;
2. (void)sizeof(char[(condition)? 1: -1])
3.  typedef int xxx[(condition)? 1: -1]  最给力， 无论是从出错消息，还是从警告方面来说……

wangzhen11aaa

回复 3# OwnWaterloo

1 /*Used to check the typedef int xxx[-1];
  2 *
  3 */
  4 #include<stdio.h>
  5 int main()
  6 {
  7         char a[-1];
  8         typedef int a[-1];
  9 }
gcc -o testtypedef testtypedef.c
testtypedef.c: In function ‘main’:
testtypedef.c:7: 错误：数组 ‘a’ 的大小为负
testtypedef.c:8: 错误：数组 ‘a’ 的大小为负
testtypedef.c:8: 错误：‘a’ 被重新声明为不同意义的符号
testtypedef.c:7: 错误：‘a’ 的上一个声明在此
果然如此。。。
但是typedef int xxx[]；这个怎么想不通？难道是int 的另一个别名叫做 xxx[]？

OwnWaterloo

回复 4# wangzhen11aaa

typedef int A[N]; 是给 int [N] （维度为N的int数组） 起一个别名叫A。


对比看看：

1. 
   
2. typedef int A[N];
   
3.         int a[n];
   

复制代码

所以前段时间有个帖， 说应该这样定义指针：
typeof(char*) p,q;

这样定义数组：
typeof(char[n]) a,b;


其他一些语言里数组是这样：
TYPE[DIM] x;

wangzhen11aaa

回复 5# OwnWaterloo
原来如此，就是为整体做了一下封装给另一个变量名。谢谢。

benzix

OwnWaterloo 发表于 2011-10-28 13:12
这应该是个编译时"反"断言。

1 - 2*!!(condition)的意思是若条件为真，表达式值为-1，否则为1 —— (con ...

前面说的对，这里void 的意思是将这个宏得到的值显示的丢弃，不能再使用。

folklore

回复 3# OwnWaterloo


    sizeof(char[1 - 2*!!(condition)]) will available to use "if statement" , that will lead to a jump instrument
so, i think sizeof(char[1 - 2*!!(condition)]) is more effective.

but i can't understand what (void) means

OwnWaterloo

folklore 发表于 2012-05-20 19:48
回复 3# OwnWaterloo

sizeof(char[1 - 2*!!(condition)]) will available to use "if statement" , that will lead to a jump instrument
so, i think sizeof(char[1 - 2*!!(condition)]) is more effective.

你的意思是无分支的 1-2*!!(condition) ，会比有分支的(condition)? -1: 1快？也许吧。
但这个表达式是在编译时求值的，肯定不会影响运行时效率。根本就是个空语句嘛……

folklore 发表于 2012-05-20 19:48
回复 3# OwnWaterloo

but i can't understand what (void) means

OwnWaterloo 发表于 2011-10-28 13:12
...
void 可能是为了避免空语句警告吧……
...
2. (void)sizeof(char[(condition)? 1: -1])
...

gtkmm

void应该是防优化掉这一行。

如果没有那个void，可能被编译器优化。
这个在boost::asio里面有这样的用法和类似的注释说明。