C++推断指引(Deduction Guides)

推断指引(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;
}

C++推断指引(Deduction Guides)

 

上一篇:理解引用数据类型/多维数组


下一篇:ML Step-by-Step Guides