Linux内核中一段连Linus都称作者要么是天才，要么是疯子的宏代码是如何工作的？

linux

在linux内核代码中，有一段极为奇特的宏定义，甚至让Linus本人对其作者评价为要么是天才，要么是疯子。这段宏的功能是用来检测某个值是否属于整型常量表达式（Integer Constant Expression，简称ICE）。下面我们将深入解析这段代码的设计原理。首先，我们需要明确什么是ICE。ICE是一种类似于constexpr的概念，指的是那些在编译阶段就能确定具体数值的整型表达式。这类表达式的值一旦确定，在运行时将不会发生改变。常见的ICE形式包括简单的整型常量、枚举值以及非变长数组的sizeof运算结果等。那么，这段宏是如何在编译期判断一个值是否为ICE的？其实，它巧妙地利用了C语言三元运算符a ? b : c的一个特性：如果b或c其中之一为NULL，则该三元表达式的结果类型会被固定为另一个分支的类型，无论条件a的真假如何。基于这一特性，当输入值x是ICE时，我们可以将其乘以0，结果自然是0，再将其强制转换为void*类型，就得到了NULL。此时，右侧表达式的结果会与左侧完全一致，整个判断表达式返回true。然而，如果x不是ICE，情况就有所不同了。在这种情况下，三元表达式的b分支会变成void*类型。由于条件1始终为真，因此右侧表达式最终计算的是sizeof(*(void *)(x))，这显然不可能等于sizeof(int)，导致整个表达式返回false。尽管这种方法设计精巧，但Linus本人也承认其存在一定的问题。一方面，这种写法可能会触发编译器警告，毕竟它并非严格遵循GCC的标准；另一方面，代码可读性较差，理解起来需要花费较多精力。不过，从技术角度来看，这确实是一个非常巧妙的解决方案。以上内容参考自linux内核邮件列表（LKML）的相关讨论。