Static Assert异常行为：为何第二个静态断言触发编译错误？

问题背景 #

下面是一段存在异常行为的C++代码：

#include<iostream>
using namespace std;

namespace n1{
    namespace n2{
        enum comparator_t {
          LT = 0, /*!< less-than < */
          LE = 1, /*!< less-than-or-equal-to, i.e. <= */
        };
    }
}
int main(){
    int32_t const INF_VALUE = INT32_MAX >> 1;
    int32_t const MINUS_INF_VALUE = INT32_MIN >> 1; 
    
    int32_t const LT_INFINITY = (INF_VALUE << 1) | n1::n2::LT;
    int32_t const LE_MINUS_INFINITY = (MINUS_INF_VALUE << 1) | n1::n2::LE;

    int32_t const LE_ZERO = (0 << 1) | n1::n2::LE;
    
    static_assert(LE_ZERO != LT_INFINITY, "");
    static_assert(LE_ZERO != LE_MINUS_INFINITY, "");    
}

编译时触发如下错误：

error: non-constant condition for static assertion

但将最后一行静态断言代码（//static_assert(LE_ZERO != LE_MINUS_INFINITY, "");）注释后，代码可正常编译。由于LE_MINUS_INFINITY与LT_INFINITY的定义形式极为相似，为何会出现该编译失败问题？

问题根源 #

问题核心在于有符号整数的移位操作引发的未定义行为，导致LE_MINUS_INFINITY无法被编译器判定为编译期常量，进而使对应的静态断言条件不满足常量表达式要求：

1. INT32_MIN的移位特殊性
   INT32_MIN是int32_t类型的最小值（二进制为最高位符号位1，其余位0）。对它执行右移操作时，根据C++标准，负数的右移结果是实现定义的（算术右移填充符号位，或逻辑右移填充0），但无论哪种结果，后续的左移操作都会触发问题：

   • 若为算术右移，INT32_MIN >> 1的结果是-1073741824，再左移1位会得到-2147483648（即INT32_MIN）。此时左移操作的结果刚好是类型的最小值，但根据C++标准，有符号整数的左移操作若导致结果超出类型可表示范围，属于未定义行为。
   • 若为逻辑右移，INT32_MIN >>1的结果是1073741824，左移1位会得到2047483648，这个值超出了INT32_MAX（2147483647），同样触发有符号整数溢出的未定义行为。

2. 静态断言的常量要求
   static_assert要求断言条件必须是编译期可确定的常量表达式。当表达式中包含未定义行为时，编译器无法在编译期确定其结果，因此会判定该条件“非常量”，触发编译错误。

3. LT_INFINITY为何正常
   INF_VALUE是INT32_MAX >>1，结果为1073741823（正数），左移1位后得到2047483646，这个值仍在int32_t的可表示范围内（小于INT32_MAX），左移操作合法且无未定义行为，因此LT_INFINITY是合法的编译期常量，对应的静态断言可以正常通过。

总结 #

LE_MINUS_INFINITY的计算过程中存在有符号整数移位溢出的未定义行为，导致编译器无法将其视为编译期常量，进而使对应的静态断言条件不满足要求，触发编译错误；而LT_INFINITY的计算无溢出，是合法的常量表达式，因此对应的断言可以正常编译。

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