上一篇:《深入理解C++11》笔记-内联名字空间
本篇是第三章最后的内容,介绍模板的别名和模板的SFINEA规则。
模板的别名
C++11中定义别名除了typedef还可以使用using关键字:
typedef unsigned int UINT;
using uint = unsigned int;
和typedef不同的是,模板的别名定义也能通过using来定义:
template<typename T> using mapstring = std::map<T, char*>;
mapstring<int> intmapstring;
模板的SFINEA规则
SFINEA(Substitution failure is not an error),匹配失败不是一个错误。意思是当重载的模板参数进行展开的时候,如果导致类型不匹配,编译器不会报错,而是查找另一个能够匹配的模板,当然如果所有模板都无法匹配自然会报错。
struct Example {
using foo = int;
};
template <typename T>
void func(typename T::foo) {}
template <typename T>
void func(T) {}
int main()
{
func<Example>(10);
func<int>(10); // 匹配了第二个模板
return 0;
}