c++11中静态断言static_assert

c++11中的静态断言(static_assert)

在c++11中引入了，目的是在编译时就能检查处一些问题。写法如下：

static_assert(常量表达式，提示字符串);

 

如果第一个参数常量表达式的值为真(true或者非零值)，那么static_assert不做任何事情，就像它不存在一样，否则会产生一条编译错误，错误位置就是该static_assert语句所在行，错误提示就是第二个参数提示字符串。

 

非常简单的例子如下：

int main () {
    static_assert(1 != 1, "1 == 1 is true.");
    
    return 0;
}

结果：In function 'int main()': 29:5: error: static assertion failed: 1 == 1 is true.

编译不通过。

 

优点如下：

1，使用static_assert，我们可以在编译期间发现更多的错误，提前找出错误的原因。

2，static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。

3，编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。

4，由于之前有望加入C++0x标准的concepts提案最终被否决了，因此对于检查模板参数是否符合期望的重任，就要靠static_assert来完成了，所以如何构造适当的常量表达式，将是一个值得探讨的话题。

5，性能方面，由于是static_assert编译期间断言，不生成目标代码，因此static_assert不会造成任何运行期性能损失。

在一些开源的代码中，使用到了静态断言，例如：rocksdb、mysql等，其中mysql中的table_helper.cc中的一个函数的例子如下：

void set_field_mdl_type(Field *f, opaque_mdl_type mdl_type) {
  static_assert(MDL_TYPE_END == 11,
                "Adjust performance schema when changing enum_mdl_type");
    // ...
    // ...
}