静态断言

来自cppreference.com
< cpp‎ | language

进行编译时断言检查。

目录

[编辑] 语法

static_assert ( bool_constexpr , message ) (C++11 起)
static_assert ( bool_constexpr ) (C++17 起)

[编辑] 解释

bool_constexpr - 按照语境转换成bool类型的表达式
message - 可选的 (C++17 起)bool_constexprfalse则会出现的字符串字面量

static_assert声明可以出现在命名空间和块作用域中(如同一个块声明),也可以在类体中(如同一个成员声明)。

bool_constexpr返回true,则此声明没有效果。否则发布一个编译时错误,而且若存在message,则其文本被包含于诊断消息中。

message可省略。

(C++17 起)

[编辑] 注意

因为message必须是字符串字面量,故它不能容纳动态信息,乃至一个自身非字符串字面量的常量表达式。特别是它不能容纳模板类型实参名称

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
CWG 2039 C++11 只有转换前的表达式被要求是常量 转换本身必须也在常量表达式中合法

[编辑] 示例

#include <type_traits>
 
template <class T>
void swap(T& a, T& b)
{
    static_assert(std::is_copy_constructible<T>::value,
                  "Swap requires copying");
    static_assert(std::is_nothrow_move_constructible<T>::value
               && std::is_nothrow_move_assignable<T>::value,
                  "Swap may throw");
    auto c = b;
    b = a;
    a = c;
}
 
template <class T>
struct data_structure
{
    static_assert(std::is_default_constructible<T>::value,
                  "Data Structure requires default-constructible elements");
};
 
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: error: static assertion failed: Swap requires copying
2: error: static assertion failed: Data Structure requires default-constructible elements

[编辑] 参阅

_Static_assert声明C 文档