static_assert是C++11引入的编译期断言机制，用于在编译阶段验证常量表达式，失败时直接报错并显示提示信息，不生成运行时代码，广泛应用于模板约束、类型检查和接口契约保障。
static_assert 是 C++11 引入的编译期断言机制，它在代码编译阶段就检查条件是否为真；如果条件为假，编译直接失败，并显示你指定的错误信息。它不生成任何运行时代码，纯粹用于模板元编程、类型约束和接口契约检查，是调试模板逻辑最轻量又最有力的工具之一。
基本语法与最简用法
语法格式为：static_assert(常量表达式, "提示字符串");
其中“常量表达式”必须能在编译期求值（如字面量、sizeof、type_traits 表达式、constexpr 函数调用等）；字符串字面量可选（C++17 起可省略，但建议保留以提高可读性）。
-
static_assert(sizeof(int) == 4, "int must be 4 bytes");—— 检查平台假设 -
static_assert(std::is_integral_v—— 约束模板参数, "T must be integral type"); -
static_assert(N > 0, "array size must be positive");—— 检查非类型模板参数
在模板中做类型契约检查
这是 static_assert 最典型的应用场景：防止模板被误用，把错误拦截在编译早期。
立即学习“C++免费学习笔记（深入）”；
比如实现一个只接受浮点类型的平方根函数模板：
templateT mysqrt(T x) { static_assert(std::is_floating_point_v , "mysqrt only supports floating-point types"); return std::sqrt(static_cast (x)); }
若调用 mysqrt(5)（传入 int），编译器立刻报错并显示提示，而不是等到链接或运行时报奇怪的重载失败。
配合 constexpr 和 type_traits 构建复杂条件
你可以组合多个 trait 或自定义 constexpr 逻辑来写更精细的约束：
- 要求类型支持加法且结果可转为 double：
static_assert(std::is_convertible_v() + std::declval ()), double>, "..."); - 禁止 cv 限定或引用类型：
static_assert(!std::is_reference_v&& !std::is_const_v , "T must be non-const, non-reference"); - 检查类是否有特定成员函数（SFINAE + decltype 辅助）：
static_assert(has_begin_v（需提前定义, "Container must have begin()"); has_begin_v）
放在类/模板内部、函数内、命名空间顶层都合法
static_assert 不受作用域严格限制，只要上下文能访问到所需类型或常量即可：
- 类内：可用于验证模板参数对当前类布局的影响（如
static_assert(offsetof(MyClass, y) > offsetof(MyClass, x));） - 函数内：适合检查仅在该函数语义下才成立的约束（如某个算法要求迭代器是随机访问）
- 头文件顶层：常用于跨平台宏断言，例如确保
CHAR_BIT == 8或alignof(std::max_align_t) >= 16
基本上就这些 —— 它不复杂，但容易忽略；用好 static_assert，能让模板错误从“看不懂的几百行 SFINAE 报错”变成“一行清晰提示”，真正提升开发效率和库的健壮性。
