static_assert编译失败最常见的原因是其第一个参数非常量表达式，如使用普通变量x而非字面量、sizeof、constexpr函数返回值等；错误信息必须为字符串字面量；模板中用于类型约束时应配合std::is_floating_point_v等类型特征，在模板定义处提前拦截非法实例化。
static_assert 为什么编译不过？
最常见的报错是 static_assert 放在函数体外但用了运行时值，比如写成 static_assert(sizeof(int) == x, "")，而 x 是个普通变量。c++ 要求 static_assert 的第一个参数必须是常量表达式（constexpr 上下文），否则直接编译失败，连警告都不会给。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 只用字面量、
sizeof、alignof、noexcept表达式、模板参数、constexpr函数返回值 - 不确定是否为常量表达式？先用
constexpr auto val = ...;检查，再传给static_assert - 错误信息字符串必须是字符串字面量，不能是
std::String或拼接结果
template + static_assert 怎么检查类型约束？
这是最实用的场景：在模板定义处堵住非法实例化，比等编译器吐半屏 SFINAE 错误友好得多。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 把
static_assert放在模板函数/类开头，紧贴template<...></...>下一行 - 配合
std::is_integral_v<t></t>、std::is_same_v<t int></t>等类型特征使用，别手写sizeof(T) == 4这种脆弱判断 - 注意
static_assert在类模板中对每个特化单独触发，不是“一次检查全局生效” - 示例：
template<typename T> void foo(T t) { static_assert(std::is_floating_point_v<T>, "T must be floating-point"); // ... }
static_assert 和 #ifdef 有什么区别？
#ifdef 是预处理阶段开关，static_assert 是编译期语义检查——前者看宏有没有定义，后者看类型、大小、常量值是否满足逻辑。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 不要用
#ifdef替代类型安全检查，比如#ifdef _WIN32不能保证long是 4 字节 - 需要跨平台断言尺寸时，写
static_assert(sizeof(void*) == 8, "...")，而不是靠宏猜 - 宏能屏蔽整段代码，
static_assert只能报错或放行，两者定位不同，不互斥但不可混用目的
为什么 static_assert 不报错却没效果？
常见于条件恒为 true，比如 static_assert(true, "") 或 static_assert(1 + 1 == 2)。编译器直接跳过，什么也不输出——这不是 bug，是设计如此。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 写完
static_assert后，故意改错一个条件（如把==改成!=），确认它真能触发编译失败 - 避免无意义断言，比如在非模板代码里反复检查
sizeof(char) == 1 - 调试复杂条件时，拆成多个
static_assert，每条带不同提示，比堆一起更容易定位哪一环崩了
真正难的是把运行时逻辑提前到编译期表达清楚，比如想断言“容器 size > 0”，就得确保 size 是 constexpr；否则只能妥协成注释或单元测试。