C++11 静态断言(static_assert)的介绍：介绍静态断言(static assert)在C++11 中的作用和使用方法

简介

C++11中引入了static_assert这个关键字，用来做编译期间的断言，因此叫做静态断言。
其语法很简单：static_assert(常量表达式，提示字符串)。
如果第一个参数常量表达式的值为真(true或者非零值)，那么static_assert不做任何事情，就像它不存在一样，否则会产生一条编译错误，错误位置就是该static_assert语句所在行，错误提示就是第二个参数提示字符串。

说明

使用static_assert，我们可以在编译期间发现更多的错误，用编译器来强制保证一些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。
static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。
编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。
由于之前有望加入C++0x标准的concepts提案最终被否决了，因此对于检查模板参数是否符合期望的重任，就要靠static_assert来完成了，所以如何构造适当的常量表达式，将是一个值得探讨的话题。
性能方面，由于是static_assert编译期间断言，不生成目标代码，因此static_assert不会造成任何运行期性能损失。

示例

#include <assert.h>
int main() {
    static_assert(sizeof(int) == 4, "int must be 4 bytes");
    return 0;
}

总结

• [1]使用范围：static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。
• [2]常量表达式：static_assert的断言表达式的结果必须是在编译时期可以计算的表达式，即必须是常量表达式。
• [3]模板参数：编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算。