推断指引(Deduction Guides)是C++17语法。作用是当创建一个模板类时,可以通过 “推断指引 来提供额外地模板参数推断规则,或者修正已有的模板参数推断规则。
Deduction Guides 基本形式如下:
deduction-guide: explicit(opt) template-name ( parameter-declaration-clause ) -> simple-template-id ;
Deduction Guides的基本要求如下:
- template-name应该和simple-template-id有相同的标识符。
- Deduction Guides应该和与其关联的模板有相同的作用域,如果是一个成员类模板,则还要求有相同的访问权限。
- 同一个转换单元里的两个Deduction Guide声明不得有相同的parameter-declaration-clauses。
例子如下:
template<typename T> class A { public: A(T const& t):s(t) {} T& show() { return s; } private: T s; }; // 推断指引 A(const char*)->A<std::string>; A(bool)->A<int>; A(int)->A<char>; int main() { A Int{40}; // input int cout << typeid(Int.show()).name() << endl; // output char A Bool{ true }; // input bool cout << typeid(Bool.show()).name() << endl; // output int A str{ "ssssss" }; // input char[] cout<<typeid(str.show()).name()<<endl; // output std::string return 0; }