static_assert是C++11引入的编译时断言机制，用于在编译期检查常量表达式是否为真，若不满足则终止编译并显示指定错误信息。它无运行时开销，适用于类型大小验证、模板参数约束、常量合法性检查等场景。例如可确保int为4字节、模板参数为整型、缓冲区大小为2的幂等。C++17起错误消息可省略，但建议保留以提升可读性。该机制能及早发现错误，增强代码健壮性。
static_assert 是 C++11 引入的一种编译时断言机制，用于在编译阶段检查某个条件是否为真。如果条件不满足（即断言失败），编译器会停止编译并输出指定的错误信息。它与运行时断言 assert 不同，static_assert 不会产生任何运行时开销，因为它在代码编译期间就完成了检查。
作用：编译期条件检查
static_assert 主要用于确保某些关键假设在编译时成立，常用于模板编程、类型约束、平台相关代码保护等场景。它可以防止因类型大小不符、模板参数不合法等问题导致的潜在错误。
使用 static_assert 能够尽早发现问题，而不是等到程序运行出错才察觉。
语法格式
static_assert(常量表达式, "提示信息");其中：
立即学习“C++免费学习笔记（深入）”；
- “常量表达式”必须是编译时可求值的布尔表达式。
- “提示信息”是一个字符串字面量，当断言失败时会被编译器显示。
使用示例
下面是一些典型的 static_assert 使用场景：
1. 检查数据类型的大小
在跨平台开发中，确保某种类型具有预期的字节数非常重要：
#include iostream>int main() {
static_assert(sizeof(int) == 4, "int 类型必须是 4 字节");
return 0;
}
如果当前平台上 int 不是 4 字节，编译将失败，并提示 “int 类型必须是 4 字节”。
2. 模板编程中的类型约束
限制模板只能被特定类型实例化：
templatevoid process(T value) {
static_assert(std::is_integral
// 处理逻辑
}
若调用 process(3.14)（即 float/double），编译器会报错，因为浮点类型不满足 is_integral 条件。
3. 验证常量表达式或配置宏
在定义一些编译期常量时进行合法性检查：
constexpr int MAX_BUFFER_SIZE = 1024;static_assert(MAX_BUFFER_SIZE > 0 && (MAX_BUFFER_SIZE & (MAX_BUFFER_SIZE - 1)) == 0,
"缓冲区大小必须是大于 0 的 2 的幂");
这个断言确保 MAX_BUFFER_SIZE 是一个正的 2 的幂，常用于位运算优化场景。
4. C++17 及以后的简化写法
C++17 起，第二个参数（错误消息）不再是必需的：
static_assert(sizeof(void*) == 8); // 仅在指针为 8 字节时通过虽然简洁，但建议始终提供清晰的错误信息以便调试。
基本上就这些。static_assert 是现代 C++ 中提升代码健壮性和可维护性的重要工具，尤其适合配合模板和 constexpr 使用。它让很多错误在编译阶段就被发现，避免了运行时崩溃或难以追踪的问题。
