类模板的隐式推断指南c++17

#include <iostream>
#include <string>
using namespace std;
template <typename T>
class A
{
public:
    A(T tmpt)
    {
    }
};
int main()
{
    //c++17开始可以这样写了(依赖推断指南)，不用写成以下形式了 A<int> a(1);
    A a(1);
    return 0;
}

#include <iostream>
#include <string>
using namespace std;
template<typename T>
struct A
{
	A(T arg1, T arg2)
	{
		cout << "A::A(T arg1,T arg2)" << endl;
	}
	A(T arg1)
	{
		cout << "A::A(T arg1)" << endl;
	}
};
int main()
{
	A a1(15, 16); //A<int>
	A a2(12.8); //A<double>
    return 0;
}

推断指南：
template
A(T,T)->A;
含义：

出现 -> 左侧部分内容或者形式时，请推断成 -> 右侧的类型。
右侧类型也被称为“指南类型”
-> 左侧部分：该推断指南所对应的构造函数的函数声明，多个参数之间用，分隔。
-> 右侧部分：类模板名，接着一个尖括号，尖括号中是模板参数名。
A(T,T)->A<T> 的含义：
当用调用带两个参数的构造函数通过类模板A创建相关对象时，请用所提供的构造函数的实参来推断类模板A的模板参数类型。

但是如果是这样则无法推断

A* a3 = NULL
需要：
A<int>* a3 = NULL

推断指南依赖于构造函数，如果没有构造函数就没有推断指南，这个时候需要我们自己指定推断指南。

自定义推断指南：

template<typename T>
struct A
{
	A(T a)
	{
		cout << "A::A(T a)" << endl;
	}
};
template<typename T>
A(T)->A<T>;

没有构造函数，需要显示指定：

template<typename T>
struct B
{
	T m_b;
};
::B<int> b1; //需要明确指定模板参数类型