详解C++编程中断言static_assert的使用
断言和用户提供的消息
C++语言支持可帮助您调试应用程序的三个错误处理机制：#error指令、static_assert关键字和assert(CRT)宏。所有的三种机制都会发出错误消息，其中两个还会测试软件断言。软件断言指定在程序的某个特定点应满足的条件。如果编译时断言失败，编译器将发出诊断消息和编译错误。如果运行时断言失败，操作系统将发出诊断消息并关闭应用程序。
备注
应用程序的生存期由预处理、编译和运行时阶段组成。每个错误处理机制都会访问在这三个阶段之一中可用的调试信息。若要有效地调试，请选择提供有关该阶段的相应信息的机制：
#error指令在预处理时有效。它将无条件地发出用户指定的消息并导致编译因错误而失败。该消息可包含由预处理器指令操作的文本，但不会计算任何生成的表达式。
static_assert声明在编译时有效。它将测试由用户指定且可以转换为布尔值的整数表达式表示的软件断言。如果表达式的计算结果为零(false)，编译器将发出用户指定的消息，并且编译因错误而失败。
static_assert声明对调试模板尤其有用，因为模板参数可包含在用户指定的表达式中。
assert(CRT)宏在运行时有效。它会计算用户指定的表达式，如果结果为零，系统将发出诊断消息并关闭应用程序。很多其他宏（如_ASSERT和_ASSERTE）与此宏类似，但它们发出不同的系统定义或用户定义的诊断消息。
static_assert
在编译时测试软件断言。如果指定的常量表达式为false，则编译器显示指定的消息，并且编译失败，错误为C2338；否则，声明不起作用。
语法
static_assert( constant-expression, string-literal );
参数
| 参数 | 说明 |
|---|---|
| constant-expression | 可以转换为布尔值的整型常量表达式。如果计算出的表达式为零(false)，则显示string-literal参数，并且编译因出错而失败。如果表达式不为零(true)，则static_assert声明无效。 |
| string-literal | 当constant-expression参数为零时显示的消息。该消息是编译器的基本字符集中的一个字符串；即，不是多字节或宽字符。 |
备注
static_assert声明的constant-expression参数表示软件断言。软件断言指定在程序的某个特定点应满足的条件。如果满足该条件，则static_assert声明无效。如果未满足该条件，则断言失败，编译器在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-bitcodegenerationisnotsupported.");
说明
在下面的示例中，static_assert声明具有类范围。static_assert验证模板参数是否为纯旧数据(POD)类型。编译器将在声明static_assert声明时检查该声明，但不计算constant-expression参数，直到在main()中实例化basic_string类模板。
示例
#include<type_traits>
#include<iosfwd>
namespacestd{
template<classCharT,classTraits=std::char_traits<CharT>>
classbasic_string{
static_assert(tr1::is_pod<CharT>::value,
"TemplateargumentCharTmustbeaPODtypeinclasstemplatebasic_string");
//...
};
}
structNonPOD{
NonPOD(constNonPOD&){}
virtual~NonPOD(){}
};
intmain()
{
std::basic_string<char>bs;
}
说明
在下面的示例中，static_assert声明具有块范围。static_assert验证VMPage结构的大小是否与该系统的虚拟内存页大小相等。
示例
#include<sys/param.h>//definesPAGESIZE
classVMMClient{
public:
structVMPage{//...
};
intcheck_pagesize(){
static_assert(sizeof(VMPage)==PAGESIZE,
"StructVMPagemustbethesamesizeasasystemvirtualmemorypage.");
//...
}
//...
};