static_assert编译失败根本原因是其第一参数非编译期常量表达式，必须为constexpr可求值的字面量、字面类型变量或constexpr函数调用。
static_assert 为什么编译不过，提示“not a constant expression”
根本原因：static_assert 的第一个参数必须是编译期能求值的常量表达式（constant expression），不能含运行时变量、未初始化的 constexpr 变量、函数调用（除非该函数是 constexpr 且所有实参都是字面量）、或依赖模板参数但未被完全推导的表达式。
常见踩坑点：
-
int x = 42; static_assert(x > 0);——x是运行时变量，哪怕值固定也不行 -
constexpr int f() { return rand(); } static_assert(f() > 0);——rand()非constexpr，整个函数不满足要求 -
template<typename t> void foo() { static_assert(sizeof(T) > 4); }</typename>—— 看似没问题，但如果在非模板实例化上下文中直接写这行（比如全局作用域没套模板），会报错
如何让 static_assert 给出清晰的错误信息
第二个参数是字符串字面量，它会在编译失败时原样输出。别偷懒写空串或模糊描述，否则报错时只看到 static_assert failed，毫无调试价值。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 明确指出检查目标：
static_assert(std::is_integral_v<t>, "T must be an integral type")</t> - 带上实际值便于排查：
static_assert(N >= 0, "N must be non-negative, got " "N")不行（字符串拼接不触发宏展开）；正确做法是用预处理器辅助或 C++20 的std::source_location+ 自定义检查函数 - C++20 起支持更灵活的诊断：可封装成宏，例如
#define MY_ASSERT(expr, msg) static_assert(expr, #expr " : " msg)，这样既保留原始表达式又附加说明
static_assert 和 assert 的关键区别在哪
最核心差异就一条：static_assert 在编译期触发错误并中断编译；assert 是运行时行为，仅在 NDEBUG 未定义时生效，且失败时调用 abort()。
选哪个？看检查时机：
- 类型是否满足
std::is_same_v、尺寸是否对齐、模板参数是否为enum class—— 必须用static_assert - 指针是否为空、容器 size 是否越界、文件是否打开成功 —— 只能用
assert或异常/返回码 - 混用风险：有人试图用
assert(sizeof(int) == 4)检查平台特性，但这是错的——它可能在 64 位系统上静默通过（因为sizeof(int)确实是 4），也可能在其他平台运行时报错，而你真正需要的是编译期拒绝不兼容平台，该用static_assert
模板中 static_assert 的典型误用场景
最容易忽略的是“过早求值”：把依赖未完全具现化类型的表达式提前扔进 static_assert，导致编译器无法判断真假，直接报错而非延迟到实例化阶段。
例如：
template<typename T>
struct wrapper {
static_assert(T::value > 0, "T::value must be positive"); // 错！T 可能还没定义 value
};
正确做法是把它挪到成员函数或静态成员定义里，或者用 requires（C++20）替代：
- 延迟到函数内：
template<typename T> void func() { static_assert(T::value > 0); } - 配合
std::enable_if_t做 SFINAE 约束（C++17 及以前） - C++20 推荐改用概念：
template<typename T> requires (T::value > 0) struct wrapper { ... };
复杂点在于，有些约束看起来像编译期可判，实则依赖 ADL 或隐式转换，只有实例化时才暴露问题。这时候 static_assert 放太前，反而掩盖了真正的类型契约缺陷。
