【C++】《C++ 17 入门经典》读书笔记 26 ---- 静态断言

静态断言是C++ 语言的一部分，与 assert() 宏不同。静态断言是语言内置的部分，而不是标准库增加的功能。

assert() 宏用于在运行时动态检查条件，而静态断言用于在编译时静态检查条件。

静态断言语句形式如下：

static_assert(constant_expression);
static_assert(constant_expression, error_maessage);

static_assert 是一个关键字， constant_expression 必须在编译期间生成一个可以转投为 bool 类型的结果。

error_message 是可选的字符串字面量。 constant_expression 是 false 时，程序编译失败。

注意：在静态断言中省略 error_message 字符串字面量是 C++17 新增的功能。

静态断言的一个常见用途是在模板定义中验证模板参数的特征。假设定义了一个函数模板，用于计算 T 类型元素的平均值。显示，这是一个算术操作，所以想要确保模板不能用于非数值类型的集合，静态断言可以完成这个任务。

static_assert(std::is_arithmetic_v<T>,
                "Type parameter for average() must be arithmetic.");

 

---