为什么g++ 8.1.0中与空指针比较的运算仍可被判定为constexpr

原因说明 #

你最初的认知是符合C++17及更早版本标准规定的，出现这个现象是GCC的实现扩展和标准演进共同导致的，具体分为两点：

1. C++旧标准的规则边界
   在C++20之前的标准中，两个不属于同一数组/对象的指针（包括空指针和普通对象指针）进行</<=/>/>=关系比较的结果属于未指定值，但未指定值不等于非法值：只有常量表达式中出现未定义行为时才会强制编译失败，未指定行为只要编译器有明确的实现定义规则，就可以在常量表达式中正常求值。
2. GCC的实现选择
   GCC长期以来都提供指针比较的扩展实现：明确规定空指针的值小于所有非空的对象/函数指针，同时在C20标准正式确定「空指针小于所有非空指针」的规则后，GCC 8.x版本已经提前兼容了这个规则，因此可以在constexpr语境下正确求出a <= &b的结果为true，不会触发编译错误。
   如果使用严格遵循C17规范的编译器（例如加了-pedantic-errors编译选项的Clang），这段代码会直接编译失败，提示指针比较的结果未指定，不能用于常量表达式。

你提到的测试代码：

int main()
{
    constexpr int *a{nullptr};
    constexpr int b{};
    static_assert(a <= &b);
}

内容的提问来源于stack exchange，提问作者justANewb stands with Ukraine