C++20中部分标准库constexpr函数能否合规改为consteval？

合规性判断 #

• 完全符合标准要求：
  标准中通过P0551R3标记的不可寻址函数，本身就禁止程序获取其地址，任何违规操作都是未定义行为。而consteval函数天然禁止取地址（仅极个别特殊常量表达式场景除外，和这类标准库函数无关），所以修改后不会影响任何符合标准的代码。
  对于std::numeric_limits的静态成员、std::barrier<F>::max这类始终返回固定常量的函数，它们的设计意图就是提供编译期常量值。consteval强制函数必须在编译期求值，完全匹配这类函数的语义，不会改变其对外暴露的功能。
• 边界情况：如果有非标准代码违规取了这些函数的地址，修改后会触发编译错误，但这不属于实现方违反标准——因为标准已经明确禁止这类操作，这类代码本身就不符合规范。

优化属性确认 #

• 这属于完全合法的优化，带来的好处包括：
  • 缩减符号表体积：consteval函数无需生成运行时符号（这类常量返回函数完全不需要运行时实例），原本的constexpr实现可能为兼容非标准场景保留了符号，修改后可以彻底移除这些冗余符号，减小二进制文件大小。
  • 强化编译期优化：consteval强制编译期求值，编译器不需要考虑运行时调用的可能性，能做更彻底的常量折叠，消除任何潜在的运行时开销。
  • 提前暴露错误：如果代码试图在运行时上下文调用这些函数（违背其设计意图），consteval会直接在编译期报错，而不是让编译器默默优化或出现运行时异常，提升代码正确性。

内容的提问来源于stack exchange，提问作者F.v.S.