C++中的static_assert有什么用？C++编译期断言使用方法【代码健壮性】

static_assert 是 C++ 编译期断言机制，用于在编译阶段检查常量表达式是否为真，条件不满足时立即报错，无运行时开销，广泛应用于类型约束、跨平台假设验证及模板元编程中。

static_assert 是 C++ 的编译期断言机制，用来在代码编译阶段就检查某个条件是否为真。如果条件不满足，编译直接失败，并给出可读的错误信息。它不产生任何运行时开销，是提升代码健壮性、接口安全性和模板正确性的关键工具。

确保类型或常量满足约束

比如写一个只接受整数类型的模板函数，可以用 static_assert 拦住浮点类型：

template<typename T>
void process(T val) {
    static_assert(std::is_integral_v<T>, "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");

这类检查特别适合跨平台开发，提前暴露底层假设不成立的情况。

标签： 工具 c++