C++11 static_assert 使用方法及assert 与 #error

assert

assert是运行期断言，它用来发现运行期间的错误，不能提前到编译期发现错误，也不具有强制性，也谈不上改善编译信息的可读性。

既然是运行期检查，对性能肯定是有影响的，所以经常在发行版本中，assert都会被关掉。

#error可看作是预编译期断言（甚至都算不上断言），仅仅能在预编译时显示一个错误信息，可以配合#ifdef/ifndef参与预编译的条件检查。

由于它无法获得编译信息，当然，也就做不了更进一步分析了。

static_assert

C++11中引入了static_assert这个关键字，用来做编译期间的断言，因此叫作静态断言。   
语法:      

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

参数描述:    如果第一个参数常量表达式的值为false，会产生一条编译错误，错误位置就是该static_assert语句所在行，
            第二个参数就是错误提示字符串。
作用：
        使用static_assert，我们可以在编译期间发现更多的错误，用编译器来强制保证一些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。
        static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。
        编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，
        但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。
        由于是static_assert编译期间断言，不生成目标代码，因此static_assert不会造成任何运行期性能损失。

如：

template <class T1, class T2>
bool tem3<T1, T2>::funccompare(T1 t1, T2 t2)
{
	static_assert(sizeof(t1) == sizeof(t2)," two size is not equal");
	return true;
}

tem3<string, float> temc;
temc.funccompare("1",2.3); 
会在编译期就会报错。

  可以得知，只有在运行期，并且是debug版本，assert 才生效。