《深入理解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类型

猜你喜欢

转载自blog.csdn.net/wizardtoh/article/details/80907334