static_assert比assert更早报错，因其在编译期检查常量表达式，失败则中断编译；而assert是运行时检查，且在ndebug下被移除。
static_assert 为什么比运行时 assert 更早报错
因为 static_assert 是编译期检查，编译器在生成目标代码前就验证条件是否为真；一旦失败，直接中断编译，不产生任何可执行文件。而 assert 是运行时行为，只有执行到那行才触发，且默认在 NDEBUG 下被剔除——这意味着它可能完全不生效。
常见错误现象：static_assert 报错信息里出现 “not a constant expression” 或 “dependent name” —— 说明你用了非字面量、未初始化的变量，或模板参数尚未实例化。
- 只能用常量表达式：比如
sizeof(int) == 4、std::is_same_v<t int></t>，但不能写static_assert(x > 0)（x 是函数参数） - 模板中必须等类型确定后才能求值，所以常放在类定义内部或函数模板体外
- 带字符串字面量的第二个参数是可选的，但强烈建议写，否则报错只显示“failed”
怎么在模板里安全地约束类型
这是 static_assert 最典型也最不可替代的用途：把错误拦截在实例化阶段，避免一长串模板展开失败的编译错误。
使用场景：比如实现一个只接受整数类型的容器适配器，或要求某个模板参数支持 operator+。
立即学习“C++免费学习笔记（深入）”；
template <typename T>
struct safe_int_wrapper {
static_assert(std::is_integral_v<T>, "T must be an integral type");
T value;
};-
std::is_integral_v<t></t>是 C++17 起的变量模板，比std::is_integral<t>::value</t>更简洁 - 别用
typeid(T).name()或std::string("int")做判断——它们不是常量表达式 - 如果断言依赖多个条件，用逻辑运算符组合：
static_assert(A && B || C, "...")
constexpr 函数里能用 static_assert 吗
可以，但仅限于该函数被当作常量表达式调用时；如果只是普通调用，static_assert 不会执行。
参数差异：函数内写的 static_assert 只对当前求值上下文起作用，不影响模板参数推导或类静态成员初始化。
constexpr int square(int x) {
static_assert(x > 0, "x must be positive");
return x * x;
}-
square(-1)在 constexpr 上下文中（如数组长度）会编译失败；但在普通函数调用中，这行static_assert被忽略 - 想确保所有调用都受检？得把约束提到模板参数层面，而不是藏在函数体内
- C++20 的
consteval函数会强制走常量路径，这时函数内的static_assert总是生效
兼容性与旧标准写法差异
C++11 引入 static_assert，但早期实现（如 GCC 4.3、MSVC 2010）对复杂表达式支持不稳；C++17 起基本无坑。
性能影响：零——它不生成任何运行时代码，也不影响二进制大小或执行速度。
- 老项目若需兼容 C++03，没有真正等价物；只能靠注释 + 文档 + 运行时 assert 模拟
- Clang/GCC/MSVC 现在都支持带消息的双参数形式，但某些嵌入式工具链可能只认单参数
- 注意宏冲突：
static_assert是关键字，不要自己定义同名宏
最容易被忽略的是：模板偏特化和 static_assert 不是互斥方案——前者用于提供不同实现，后者用于拒绝非法输入。混用时，断言失败发生在偏特化选择之后，所以得确保断言位置能覆盖所有可能路径。
