《深入理解C++11》笔记-模板的别名、模板的SFINEA规则

上一篇：《深入理解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;
}

下一篇：《深入理解C++11》笔记-auto类型