为何`1 ? (int*)1 : ((void*)((x)*0l))`能正确实现ICE检测？

嘿，这个问题挺有意思的！咱们先把原宏的核心逻辑拆解清楚，再解释你交换分支后为什么还能正常工作（先提前说：其实只有当x是ICE时它能正常工作，非ICE场景下原宏的报错特性会丢失，咱们后面细说）。

先搞懂原ICE_P(x)宏的核心设计 #

原宏的目标是在编译期判断x是否为整数常量表达式（ICE）：如果是，宏返回1（真）；如果不是，直接触发编译错误。它依赖C语言的两个关键规则：

#define ICE_P(x) (sizeof(int) == sizeof(*(1 ? ((void*)((x)*0l)) : (int*)1)))

1. 空指针常量的特殊性 #

如果x是ICE，那么(x)*0l会在编译期计算出结果0，转换成void*后就是空指针常量——C语言规定空指针常量可以隐式转换为任何对象指针类型（比如int*）。

如果x不是ICE，(x)*0l只能在运行期计算，转换成void*后只是一个普通的void*值，不再是空指针常量。

2. 三元运算符的类型推导与编译期分支处理 #

原宏中三元运算符的条件是1（编译期常量真），所以编译器会直接选中第一个分支：

• 当x是ICE时：第一个分支是空指针常量，会被隐式转换为int*类型（和第二个分支类型一致），解引用后是int，sizeof(int)自然等于sizeof(int)，宏返回真。
• 当x不是ICE时：第一个分支是普通void*，解引用void*会得到void类型，而C语言中sizeof(void)是非法的（void没有大小），编译器直接报错，达到了检测非ICE的目的。

交换分支后为什么还能“正常工作”？ #

你交换后的表达式是：

1 ? (int*)1 : ((void*)((x)*0l))

咱们分两种情况看：

当x是ICE时 #

此时((void*)((x)*0l))是空指针常量，三元运算符的两个分支分别是int*和可转换为int*的空指针常量。因为条件是1，编译器选中第一个分支(int*)1，解引用后是int，sizeof(int)等于sizeof(int)，宏返回真——和原宏的结果完全一致，这就是你觉得它“正常工作”的原因。

当x不是ICE时 #

这里就和原宏有区别了：第二个分支是普通void*值，但因为条件是1，编译器会丢弃未选中的第二个分支（仅做类型检查，不求值）。而void*和int*是兼容的对象指针类型，类型检查通过，整个表达式的类型是int*，解引用后是int，sizeof(int)等于sizeof(int)，宏会错误地返回真，失去了原宏检测非ICE时触发编译错误的能力。

简单说：交换分支后，仅保留了原宏对ICE的正向判断能力，丢失了对非ICE的报错检测能力——如果你只测试了x是ICE的场景，自然会觉得它“正常工作”。

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