标签：
static_assert提供一个编译时的断言检查。如果断言为真，什么也不会发生。如果断言为假，编译器会打印一个特殊的错误信息。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
|
template <typename T, size_t Size>class Vector{ static_assert(Size < 3, "Size is too small"); T _points[Size];};int main(){ Vector<int, 16> a1; Vector<double, 2> a2; return 0;} |
|
1
2
3
4
5
6
7
|
error C2338: Size is too smallsee reference to class template instantiation ‘Vector<T,Size>‘ being compiled with [ T=double, Size=2 ] |
static_assert和type traits一起使用能发挥更大的威力。type traits是一些class，在编译时提供关于类型的信息。在头文件<type_traits>中可以找到它们。这个头文件中有好几种class: helper class，用来产生编译时常量。type traits class，用来在编译时获取类型信息，还有就是type transformation class，他们可以将已存在的类型变换为新的类型。
下面这段代码原本期望只做用于整数类型。
|
1
2
3
4
5
|
template <typename T1, typename T2>auto add(T1 t1, T2 t2) -> decltype(t1 + t2){return t1 + t2;} |
但是如果有人写出如下代码，编译器并不会报错
|
1
2
|
std::cout << add(1, 3.14) << std::endl;std::cout << add("one", 2) << std::endl; |
程序会打印出4.14和”e”。但是如果我们加上编译时断言，那么以上两行将产生编译错误。
|
1
2
3
4
5
6
7
8
|
template <typename T1, typename T2>auto add(T1 t1, T2 t2) -> decltype(t1 + t2){ static_assert(std::is_integral<T1>::value, "Type T1 must be integral"); static_assert(std::is_integral<T2>::value, "Type T2 must be integral"); return t1 + t2;} |
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
error C2338: Type T2 must be integralsee reference to function template instantiation ‘T2 add<int,double>(T1,T2)‘ being compiled with [ T2=double, T1=int ]error C2338: Type T1 must be integralsee reference to function template instantiation ‘T1 add<const char*,int>(T1,T2)‘ being compiled with [ T1=const char *, T2=int ] |
c++11 : static_assert和 type traits
标签：
原文地址：http://www.cnblogs.com/lvdongjie/p/4489902.html
