简而言之,模板参数演绎是模板化类在没有明确说明类型的情况下确定构造函数的传递参数类型的能力。
在C ++ 17之前,要构造模板化类的实例,我们必须显式地声明参数的类型(或使用make_xyz支持函数之一)。
考虑:
std :: pair <int,double> p(2,4.5);
1
std :: pair <int,double> p(2,4.5);
这里,p是类对的一个实例,并用值2和4.5初始化。或者实现这一目标的另一种方法是:
auto p = std :: make_pair(2,4.5);
1
auto p = std :: make_pair(2,4.5);
两种方法都有其缺点。创建像std :: make_pair这样的“make函数”令人困惑,人为并且与非模板类的构造方式不一致。 std :: make_pair,std :: make_tuple等在标准库中可用,但对于用户定义的类型,它更糟糕:你必须编写自己的make_ …函数。卫生署!
指定模板参数,如:
auto p = std :: pair <int,double>(2,4.5)
1
auto p = std :: pair <int,double>(2,4.5)
应该是不必要的,因为它们可以从参数的类型推断出来 - 就像模板函数一样。
在C ++ 17中,已经废除了为模板化类构造函数指定类型的这一要求。这意味着我们现在可以写:
auto p = std :: pair(2,4.5);
1
auto p = std :: pair(2,4.5);
要么
std :: pair p(2,4.5);
1
std :: pair p(2,4.5);
这是你期望能够定义p的逻辑方式!
所以考虑早期的函数mytuple()。使用Template Argument Deduction(和函数返回类型的auto),考虑:
auto mytuple()
{
char a =‘a’;
int i = 123;
bool b = true;
return std :: tuple(a,i,b); //不需要任何类型
}
auto mytuple()
{
char a =‘a’;
int i = 123;
bool b = true;
return std :: tuple(a,i,b); //不需要任何类型
}
这是一种更清晰的编码方式 -