只谈C++11新特性 - static_assert

static_assert

引言

在 C++11 中，引入了 static_assert 关键字，用于在编译时进行条件检查。这是一种编译时的断言，主要用于验证模板参数、类型属性或其他能够在编译期确定的条件。如果条件不满足，编译器会生成错误信息，从而防止潜在的逻辑错误或类型不符合预期。

与运行时断言不同，静态断言在 编译时 就进行检查，能够提前发现错误，有助于提高代码的健壮性和可维护性。

---

static_assert 语法

C++11 中的 static_assert 具有如下语法：

static_assert(condition, "error message");

• condition：一个编译时可确定的布尔表达式。
• "error message"：在条件为 false 时，编译器输出的错误信息。

---

使用场景与代码示例

1. 验证常量表达式

静态断言适合在编译时验证常量表达式的正确性。

#include <iostream>

constexpr int value = 10;

int main() {
   
    static_assert(value > 0, "value 必须是正数"