c++11新特性--static_assert

static_assert:

这个宏用于检测和诊断编译时错误。编译期，这是一个与 CRT-assert（运行时宏）相反的宏。这个好东西用于检测编译时程序的不变量。

这需要一个表达式可以被计算为 bool 或 string （字符串）。如果这个表达式的值为 false ，那么编译器会出现一个包含特定字符串的错误，同时编译失败。如果为 true 那么没有任何影响。

我们可以在以下使用 static_assert

A. namespace / global scope

static_assert(sizeof(void*) == 4,"not supported");

B.class scope

template<class T, int _n>

class MyVec
{ 
    static_assert( _n > 0 , "How the hell the size of a vector be negative");
};

void main()
{
    MyVec<int, -2> Vec_;
    // The above line will throw error as shown below ( in VS2010 compiler):
    //   > \main_2.cpp(120) : error C2338: How the hell the size of a vector be negative
    //   > main_2.cpp(126) : see reference to class template instantiation 'MyVec<t,_n />'
    //     being compiled
    //   > with
    //   > [ 
    //        > T=int, 
    //       > _n=-2
    //   > ]

    // This is fine
        MyVec<int, 100> Vec_;
}

C. block scope:

template<typename T, int div>
void Divide( )
{ 
	static_assert(div!=0, "Bad arguments.....leading to division by zero");
} 

void main()
{ 
	Divide<int,0> ();
	// The above line will generate
	// error C2338: Bad arguments.....leading to division by zero
}

请记住，static_asset 是在编译时执行的，不能用于检测运行时的值，向下面函数的参数。

void Divide(int a, int b)
{ 
	static_assert(b==0, “Bad arguments.....leading to division by zero”);
	// sorry mate! the above check is not possible via static_assert...use some other means
}

static_assert 这个声明对于模板的调试非常有用，编译器快速执行这个常量表示式参数（不能依赖模板参数）。否则编译器当模板实例化时执行这个常量表达式的参数。