static_assert 是 C++ 编译期断言机制，用于在编译阶段检查常量表达式是否为真，条件不满足时立即报错，无运行时开销，广泛应用于类型约束、跨平台假设验证及模板元编程中。
static_assert 是 C++ 的编译期断言机制，用来在代码编译阶段就检查某个条件是否为真。如果条件不满足，编译直接失败，并给出可读的错误信息。它不产生任何运行时开销，是提升代码健壮性、接口安全性和模板正确性的关键工具。
确保类型或常量满足约束
比如写一个只接受整数类型的模板函数，可以用 static_assert 拦住浮点类型：
templatevoid process(T val) { static_assert(std::is_integral_v , "T must be an integral type"); // ... 实际逻辑 }
当调用 process(3.14) 时，编译器立刻报错，并显示你写的提示信息，而不是等到链接或运行时才发现问题。
验证编译时常量表达式
只要表达式能在编译期求值（如字面量、constexpr 变量、sizeof、alignof 等），就能用于 static_assert：
立即学习“C++免费学习笔记（深入）”；
static_assert(sizeof(int) == 4, "int must be 4 bytes on this platform"); static_assert(alignof(std::max_align_t) >= 16, "insufficient alignment support");
这类检查特别适合跨平台开发，提前暴露底层假设不成立的情况。
配合模板元编程做 SFINAE 或概念替代
在 C++11/14 中，static_assert 常和 std::enable_if 配合，让错误信息更友好；C++20 后虽有 concept，但 static_assert 仍可用于补充说明：
- 避免模板实例化爆炸导致的晦涩错误
- 在类模板特化前检查通用前提（如“容器必须支持 begin/end”）
- 对非类型模板参数加范围限制（如
template）struct Array { static_assert(N > 0); ... };
注意写法细节，避免误用
static_assert 必须出现在命名空间、类定义或函数体内，不能在纯表达式上下文里出现；第二参数（错误消息）必须是字符串字面量，不能是变量或 constexpr 字符串对象（C++20 起部分编译器开始支持更灵活的消息，但兼容性仍建议用字面量）。
常见误写：
// ❌ 错误：条件不是常量表达式 int x = 5; static_assert(x == 5); // 编译失败 // ✅ 正确：用 constexpr 保证编译期可知 constexpr int y = 5; static_assert(y == 5);
基本上就这些。用好 static_assert，能让很多潜在错误在敲完代码后几秒内就被发现，而不是藏到测试后期甚至上线才冒出来。
