嘿，这个问题问得好！Linux内核里的__is_constexpr(x)宏是个非常巧妙的编译期小工具，我来给你掰扯清楚它的来龙去脉：

一、它是如何工作的？ #

先看宏的定义：

#define __is_constexpr(x) \
    (sizeof(int) == sizeof(*(8 ? ((void *)((long)(x) * 0l)) : (int *)8)))

它的核心逻辑完全依赖C语言的编译期常量求值和指针类型推导规则，而且关键是不会对参数x求值（因为sizeof的操作数永远不会被实际执行）：

1. 当x是常量表达式时：

   • (long)(x)*0l会在编译期被计算为0，因此(void *)((long)(x)*0l)是一个合法的常量空指针。
   • 三元运算符8 ? A : B中，A是void*类型，B是int*类型。由于条件8是常量非0，编译器会将表达式的类型统一为int*（void*可以隐式转换为任意对象指针类型）。
   • 对int*解引用后的类型是int，sizeof(int)自然等于自身，因此宏返回true（1）。

2. 当x不是常量表达式时：

   • (long)(x)*0l无法在编译期求值，因此(void *)((long)(x)*0l)不是常量表达式。此时编译器无法将其隐式转换为int*作为常量处理，三元表达式的类型会被确定为void*。
   • 对void*解引用的类型是void，在GCC扩展中sizeof(void)为1，显然不等于sizeof(int)（通常是4或8），因此宏返回false（0）。

二、它的用途是什么？ #

这个宏的核心作用是在编译期判断一个表达式是否为常量表达式，主要用于：

• 实现编译期分支优化：如果参数是常量，就走编译期计算的高效路径；如果是变量，则走运行时处理逻辑。
• 避免运行时开销：比如一些内存分配、位掩码生成的逻辑，常量参数可以直接在编译期生成结果，不需要运行时计算。
• 增强代码通用性：同一套代码可以同时适配常量和变量输入，不需要写两套逻辑。

三、何时被引入？ #

这个宏最早出现在Linux内核3.10版本，对应的提交是8a4b44f，提交时间为2013年6月，由Martin Uecker贡献（宏的注释里也专门致敬了他）。

四、为何被引入？ #

在C11标准之前，C语言没有原生的编译期常量检测机制（C++有constexpr，但内核用纯C开发），内核开发者需要一种不依赖编译器内置函数的方法来实现编译期常量判断：

• 当时没有更好的替代方案，这个宏巧妙利用了C语言的现有规则，兼容性强（主要针对GCC，这是内核的主要编译工具链）。
• 能帮助编译器生成更高效的代码，同时避免运行时的条件判断开销，符合内核对性能的极致追求。

内容的提问来源于stack exchange，提问作者Acorn