Static Assertion

来自cppreference.com
< cpp‎ | language

该页由英文版wiki使用Google Translate机器翻译而来。

该翻译可能存在错误或用词不当。鼠标停留在文本上可以看到原版本。你可以帮助我们修正错误或改进翻译。参见说明请点击这里.

点击这里参见该页的英文版本

 
C++
 
C++语言
大会的主题
原文：
General topics
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
流量控制
原文：
Flow control
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
条件执行语句
原文：
Conditional execution statements
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
迭代语句
原文：
Iteration statements
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
跳转语句
原文：
Jump statements
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
功能
原文：
Functions
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
函数声明
lambda函数的声明
函数模板
的历史。内嵌说明
异常规范 （已弃用）
noexcept说明 （C++11）
例外
原文：
Exceptions
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
命名空间
原文：
Namespaces
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
类型
原文：
Types
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
decltype specifier （C++11）
规范
原文：
Specifiers
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
CV符
存储时间说明符
constexpr说明 （C++11）
汽车符 （C++11）
alignas说明 （C++11）
初始化
原文：
Initialization
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
常
原文：
Literals
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
布尔文字
nullptr （C++11）
用户定义的 （C++11）
表达式
原文：
Expressions
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
另一种表示形式
实用工具
原文：
Utilities
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
类型
原文：
Types
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
typedef declaration
声明类型别名 （C++11）
属性 （C++11）
施放
原文：
Casts
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
隐式转换
const_cast conversion
static_cast conversion
dynamic_cast conversion
reinterpret_cast conversion
C-风格和功能转换
内存分配
原文：
Memory allocation
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
类
原文：
Classes
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
类特定的功能特性
原文：
Class-specific function properties
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
虚函数
覆盖说明 （C++11）
最后说明 （C++11）
明确的 （C++11）
静态的
特殊的成员函数
原文：
Special member functions
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
模板
原文：
Templates
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
类模板
函数模板
模板特化
参数包 （C++11）
杂项
原文：
Miscellaneous
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
内联汇编
 
执行编译时断言检查
原文：
Performs compile-time assertion checking
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

目录

[编辑] 语法

static_assert ( bool_constexpr , string ) （C++11 起）

[编辑] 解释

  • bool_constexpr一个布尔常量表达式进行评估
    原文：
    bool_constexpr a boolean constant expression to be evaluated
    这段文字是通过 Google Translate 自动翻译生成的。
    您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
  • string字符串文字，会出现编译错误，如果bool_constexpr是假的
    原文：
    string string literal that will appear as compiler error if bool_constexpr is false
    这段文字是通过 Google Translate 自动翻译生成的。
    您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

[编辑] 示例

#include <type_traits>
 
template<class T>
    void swap( T& a, T& b)
    {
        static_assert(std::is_copy_constructible<T>::value,
                      "Swap requires copying");
 
        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
}

Possible output: 

1: error: static assertion failed: Swap requires copying
2: error: static assertion failed: Data Structure requires default-constructible elements

[编辑] 另请参阅

来自“http://zh.cppreference.com/mwiki/index.php?title=cpp/language/static_assert&oldid=38236”