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：太松没用，太紧会阻碍合法用例，尤其在泛型库中，要留出扩展余地。
