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;
}