详解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 
);

参数

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

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

#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 结构的大小是否与该系统的虚拟内存页大小相等。
示例

#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.");
 // ...
 }
// ...
};

最新评论