17370845950

static_assert能在编译时检查常量表达式是否为真，若为假则编译失败并输出指定字符串错误信息；它不生成运行时代码，用于模板参数约束、类型大小验证、枚举一致性等编译期断言。

static_assert 能在编译时检查什么？

它用来验证一个常量表达式是否为真，如果为假，编译直接失败，并输出指定错误信息。和 assert 不同，static_assert 不运行时生效，不生成任何运行时代码，纯属编译期约束。

典型用途包括：确保模板参数满足条件、类型大小符合协议要求、枚举值未被意外修改、常量定义逻辑自洽等。

• 只能用在命名空间、类定义、函数体外（或函数体内但必须是顶层语句）
• 表达式必须是 constexpr 上下文可求值的，比如 sizeof(int) == 4、std::is_same_v
• 第二参数（错误消息）必须是字符串字面量，不能是变量或 std::string

怎么写一个带提示的 static_assert？

语法是 static_assert(常量表达式, "错误提示字符串");。提示字符串越具体，排查越快。

static_assert(sizeof(void*) == 8, "64-bit pointer expected for this ABI");
static_assert(std::is_trivially_copyable_v, "MyStruct must be trivially copyable for memcpy safety");
static_assert(N > 0, "Template parameter N must be positive");

注意：C++17 起支持单参数形式 static_assert(常量表达式);，但没错误信息，不推荐。

立即学习“C++免费学习笔记（深入）”；

static_assert 和 SFINAE、concepts 怎么配合？

三者都是编译期检查手段，但定位不同：static_assert 是“断言失败即终止”，适合兜底校验；SFINAE 用于重载决议中静默排除；concepts（C++20）更结构化，适合约束模板接口。

• 在模板中，先用 concepts 或 enable_if 过滤候选，再用 static_assert 对剩余分支做明确断言
• 不要用 static_assert 替代 SFINAE——它会让整个模板实例化失败，而不是参与重载选择
• 例如：你希望 foo() 只对浮点类型启用，且要求 T 精度 ≥ 64 位，那就该用 concepts + static_assert 组合

容易踩的坑有哪些？

最常见的几个问题都跟“常量表达式”边界有关：

• static_assert(sizeof(T) >= 4) 在模板中没问题，但 static_assert(sizeof(x) >= 4)（x 是变量）会报错：不是常量表达式
• 类成员函数内写 static_assert 是允许的，但不能依赖 this 或非静态成员——它们不是编译期可知的
• 宏展开后可能产生非字面量字符串，导致第二参数非法，比如 static_assert(false, STRINGIFY(VERSION)); 中 STRINGIFY 若非预处理宏会出错
• 某些老编译器（如 GCC 4.6 前）不支持 static_assert，需检查 __cplusplus 或用宏兼容

真正难的不是语法，而是判断哪些约束值得放进 static_assert：太松没用，太紧会阻碍合法用例，尤其在泛型库中，要留出扩展余地。