如何实现类static_assert的编译期校验，无需表达式为constexpr？

当然有，虽然标准C++没有直接提供这类语法，但可以借助编译器内置扩展和编译选项实现类似效果，让编译器验证代码路径中运行时表达式的属性，无法证明时终止编译：

方法1：__builtin_unreachable() + 警告转错误 #

在GCC、Clang这类编译器中，__builtin_unreachable()用来标记绝对不可能到达的代码路径。如果编译器能推导出该路径有可能被执行，就会触发警告；我们把这个警告设为错误，就能达到“无法证明表达式成立就终止编译”的目的。

针对你的实际场景，可以这么写：

if (i == 0) {
    __builtin_unreachable();
}
// 中间大量代码
function_that_requires_a_nonzero_arg(i);

编译时添加对应选项：GCC用-Werror=unreachable-code，Clang用-Werror=unreachable-code-path。只要编译器无法证明i != 0，就会因检测到unreachable路径可能被执行而报错。

方法2：__builtin_assume() + 优化级 + 警告转错误 #

__builtin_assume(expr)是告诉编译器“假设表达式expr一定为真”，编译器会基于这个假设做优化。如果编译器在优化过程中发现假设不成立（即无法证明expr为真），部分编译器会触发警告，开启警告转错误后就能终止编译。

用法示例：

// 中间大量代码
__builtin_assume(i != 0);
function_that_requires_a_nonzero_arg(i);

编译时需要开启较高优化级别（比如-O2），并添加-Werror=assumption-failure（部分编译器支持），就能让编译器在无法证明i != 0时报错。

注意事项 #

• 这些都是编译器扩展，不具备标准C++的可移植性，换编译器或版本可能需要调整语法和选项。
• 效果依赖编译器的数据流分析能力，若代码逻辑过于复杂，编译器可能无法完成推导，此时不会报错，但也不会影响运行时行为。

内容的提问来源于stack exchange，提问作者The Bic Pen