static_assert在编译期报错因其检查常量表达式，不满足则立即中断编译；而assert是运行时检查，错误可能延迟或未触发。
static_assert 为什么比运行时 assert 更早报错
因为 static_assert 在编译阶段检查常量表达式，只要条件不满足，编译器立刻报错并中断编译；而 assert 是运行时行为，程序跑起来才触发，错误可能被掩盖、延迟暴露，甚至根本没走到那条分支。
- 适用场景：检查模板参数约束、类型大小假设（如
sizeof(int) == 4）、枚举值范围、对齐要求等编译期可知的逻辑 - 不能用于变量值判断，比如
int x = 5; static_assert(x > 0);会编译失败——x不是常量表达式 - 错误信息必须是字符串字面量，不能拼接或用宏展开（C++17 起支持部分 constexpr 字符串，但实际慎用）
static_assert 的三个关键参数怎么填
static_assert 只接受两个参数（C++11 起）或三个参数（C++17 起），第三个是可选的提示字符串。常见写法是：static_assert(条件, "描述性文字")。
- 条件必须是常量表达式：可用
constexpr函数、字面量、sizeof、alignof、类型特征（如std::is_integral_v<t></t>）等 - 字符串字面量必须是窄字符串（
"..."），不能是L"..."或u8"..."（某些编译器会警告或拒绝） - 省略错误消息在 C++11 是合法的，但会导致报错信息只有行号，几乎无法定位问题，强烈建议始终提供
模板里用 static_assert 容易踩的坑
模板实例化过程中，static_assert 会在每个具体类型上单独求值，但它的触发时机和 SFINAE 无关——它不是“让重载失败”，而是直接编译失败。
- 别把它当
std::enable_if用：想控制函数是否参与重载，请用约束（C++20）或std::enable_if，而不是static_assert，否则一用就炸 - 注意依赖类型：比如
static_assert(std::is_same_v<t int>);</t>在非int实例化时直接报错，无法回退；若想静默排除，得配合 SFINAE 或 requires - 嵌套模板中，断言位置影响报错可读性：放在函数体开头比放在类定义末尾更容易关联到出问题的调用点
不同编译器对 static_assert 的兼容性差异
主流编译器（GCC ≥ 4.3、Clang ≥ 2.9、MSVC ≥ 2010）都支持 C++11 的 static_assert，但细节有差别。
立即学习“C++免费学习笔记（深入）”；
- MSVC 在较老版本（如 VS2013）中对模板内复杂常量表达式支持不稳，偶尔误报“不是常量表达式”
- GCC 早期版本（≤ 4.7）不支持带消息的三参数形式，需升级或降级为两参数
- C++17 要求支持
static_assert在命名空间作用域、函数外使用（如头文件顶层），但某些嵌入式工具链（如 arm-none-eabi-gcc 8.2）仍只认函数内用法
