利用模板偏特化实现编译期断言

利用模板偏特化实现编译期断言

断言在C/C++语言中的作用有目共睹，但它只能在运行期起作用，有时可能会希望在编译期检查某个条件，不成立就产生一条编译错误信息，比如你写了一个模板，但是希望模板的参数只能是整数类型，用其它类型对模板进行实例化时干脆让它通不过编译，怎么样，听起来是不是很酷？

利用模板的偏特化，轻轻松松就能实作出来，请看：

template<bool>
compile_assert;

template<>
compile_assert<true>{};

看到没有，这个模板只针对参数为true的情况作了偏特化，如果使用参数false对compile_assert进行实例化，会产生一个类型没有定义的编译错误。够简单吧？

看看怎么用吧，还是前面提到的例子，假定你写了一个模板，希望它的模板参数只能是 int long以及它们加上各种修饰符(unsigned const 等 )所产生的类型集合中的任何一种类型作参数，而如果使用了其它的类型，让它无法通过编译。

template<class