static_assert 声明

来自cppreference.com
< cpp‎ | language

进行编译时断言检查。

语法

static_assert ( 布尔常量表达式 , 消息 ) (C++11 起)
static_assert ( 布尔常量表达式 ) (C++17 起)

解释

布尔常量表达式 -

按语境转换成 bool 类型的常量表达式

(C++23 前)

按语境转换成 bool 的表达式,其中转换为常量表达式

(C++23 起)
消息 - 布尔常量表达式false 时将出现的可选的 (C++17 起)字符串字面量

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

如果 布尔常量表达式 返回 true,那么该声明没有效果。否则将发布编译时错误,且当存在 消息时诊断消息中会包含其文本。

消息 可以省略。

(C++17 起)

除了到 bool 的非窄化整型转换以外,不允许内建转换。

(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) 定义了一个编译期基于模板的用来查询或修改类型性质的接口