static_assert

项目
03/27/2013

在编译时测试软件断言。如果指定的常量表达式是 false，编译器显示指定的消息，并且生成失败并显示错误;否则，声明不起作用。

static_assert( 
    constant-expression, 
    string-literal 
);

参数

Parameter	说明
constant-expression	可以转换为布尔值的整型常数表达式。如果该计算的表达式为零 (错误)， string-literal 参数突出显示，然后生成失败并显示错误。如果表达式是非零 (true)， static_assert 声明不起作用。
string-literal	显示的消息，如果 constant-expression 参数为零。消息是字符串在编译器的基本字符集的;即不是多字节或宽字符。

constant-expression

可以转换为布尔值的整型常数表达式。

如果该计算的表达式为零 (错误)， string-literal 参数突出显示，然后生成失败并显示错误。如果表达式是非零 (true)， static_assert 声明不起作用。

string-literal

显示的消息，如果 constant-expression 参数为零。消息是字符串在编译器的基本字符集的;即不是多字节或宽字符。

备注

static_assert 声明的 constant-expression 参数表示软件断言。软件断言指定在程序需要为 true 在特定位置的情况。如果条件为 true， static_assert 声明不起作用。如果条件为 false，则断言失败，编译器显示在 string-literal 参数的消息，并且，生成失败并显示错误。

static_assert 声明在编译时测试软件断言。相反， assert (CRT) 宏测试软件断言在运行时并不会空格或时的运行时成本。，因为模板参数在 constant-expression 参数，可以包括 static_assert 声明为调试模板尤其有用。

，在图例中遇到时，编译器将检查语法错误的 static_assert 说明。，如果它不依赖于模板参数，编译器立即计算 constant-expression 参数。否则，那么，当对模板进行实例化时，编译器将计算 constant-expression 参数。因此，编译器可能一次问题一个诊断消息，在图例中遇到时，因此，同样，在对模板进行实例化。

可以使用 static_assert 关键字在命名空间中，类或块范围。 ( static_assert 关键字技术上是声明，因此，即使它不引入新名称传递给过程，，因为它可以在命名空间范围。)

说明

在下面的示例中， static_assert 声明包含命名空间范围。由于编译器知道类型 void *的大小，该表达式立即计算。

示例

static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");

说明

在下面的示例中， static_assert 声明包含类范围。 static_assert 验证模板参数是一个纯旧数据类型 (POD)。编译器将检查 static_assert 说明，在声明它时，但是，不计算 constant-expression 参数，直到 basic_string 类模板在 main()实例化。

示例

#include <type_traits>
#include <iosfwd>
namespace std {
template <class CharT, class Traits = std::char_traits<CharT> >
class basic_string {
    static_assert(tr1::is_pod<CharT>::value,
                  "Template argument CharT must be a POD type in class template basic_string");
    // ...
    };
}
struct NonPOD {
    NonPOD(const NonPOD &) {}
    virtual ~NonPOD() {}
};
int main()
{
    std::basic_string<char> bs;
}

说明

在下面的示例中， static_assert 演示具有块范围。 static_assert 验证 VMPage 结构的大小与虚拟内存相等 pagesize 该系统。

示例

#include <sys/param.h> // defines PAGESIZE
class VMMClient {
public:
    struct VMPage { // ... 
           };
    int check_pagesize() {
    static_assert(sizeof(VMPage) == PAGESIZE,
        "Struct VMPage must be the same size as a system virtual memory page.");
    // ...
    }
// ...
};