static_assert 声明
来自cppreference.com
进行编译时断言检查。
语法
static_assert ( 布尔常量表达式 , 消息 )
|
(C++11 起) | ||||||||
static_assert ( 布尔常量表达式 )
|
(C++17 起) | ||||||||
解释
布尔常量表达式 | - |
| ||||
消息 | - | 当 布尔常量表达式 为 false 时将出现的可选的 (C++17 起)字符串字面量
|
static_assert
声明可以出现在命名空间和块作用域中(作为块声明),也可以在类体中(作为成员声明)。
如果 布尔常量表达式 返回 true,那么该声明没有效果。否则将发布编译时错误,且当存在 消息时诊断消息中会包含其文本。
消息 可以省略。 |
(C++17 起) |
(C++23 前) |
注解
因为 消息 必须是字符串字面量,所以它不能容纳动态信息,乃至自身并非字符串字面量的常量表达式。特别是它不能容纳模板类型实参的名字。
示例
运行此代码
#include <type_traits> template <class T> void swap(T& a, T& b) noexcept { static_assert(std::is_copy_constructible<T>::value, "交换需要可复制"); static_assert(std::is_nothrow_copy_constructible<T>::value && std::is_nothrow_copy_assignable<T>::value, "交换需要可复制及可赋值,且无异常抛出"); auto c = b; b = a; a = c; } template <class T> struct data_structure { static_assert(std::is_default_constructible<T>::value, "数据结构要求元素可默认构造"); }; struct no_copy { no_copy ( const no_copy& ) = delete; no_copy () = default; }; struct no_default { no_default () = delete; }; int main() { int a, b; swap(a, b); no_copy nc_a, nc_b; swap(nc_a, nc_b); // 1 data_structure<int> ds_ok; data_structure<no_default> ds_error; // 2 }
可能的输出:
1:错误:静态断言失败:交换需要可复制 2:错误:静态断言失败:数据结构要求元素可默认构造
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
CWG 2039 | C++11 | 只要求转换前的表达式是常量 | 转换本身必须也在常量表达式中合法 |
参阅
error | 显示给定的错误信息并使程序非良构 |
若用户指定的条件非 true 则中断程序。可以在发行构建中禁用 (宏函数) | |
导致非正常的程序终止(不进行清理) (函数) | |
导致正常的程序终止并进行清理 (函数) | |
(C++11) |
条件性地从重载决议移除函数重载或模板特化 (类模板) |
类型特征 (C++11) | 定义了一个编译期基于模板的用来查询或修改类型性质的接口 |