C++核心准则T.44:使用函数模板推断类模板参数类型（如果可能）

T.44: Use function templates to deduce class template argument types (where feasible)

T.44:使用函数模板推断类模板参数类型（如果可能）

Reason（原因）

Writing the template argument types explicitly can be tedious and unnecessarily verbose.

显示输入模板参数类型冗长且无必要。

Example（示例）

tuple<int, string, double> t1 = {1, "Hamlet", 3.14};   // explicit type
auto t2 = make_tuple(1, "Ophelia"s, 3.14);         // better; deduced type

Note the use of the s suffix to ensure that the string is a std::string, rather than a C-style string.

注意通过使用s后缀可以保证string是std::string而不是C风格字符串。

Note（注意）

Since you can trivially write a make_T function, so could the compiler. Thus, make_T functions might become redundant in the future.

你可以直接编写make_T函数，编译器也可以。因此make_T函数将来可能会变得多余。

Exception（例外）

Sometimes there isn't a good way of getting the template arguments deduced and sometimes, you want to specify the arguments explicitly:

有时，没有合适的方式实现模板参数推断，也有可能你希望显式定义参数类型。

vector<double> v = { 1, 2, 3, 7.9, 15.99 };
list<Record*> lst;

Note（注意）

Note that C++17 will make this rule redundant by allowing the template arguments to be deduced directly from constructor arguments: Template parameter deduction for constructors (Rev. 3). For example:

注意C++17将会令本规则多余，原因是C++17允许直接通过构造函数参数直接推断模板参数：构造函数的模板参数推断（Rev.3)。例如:

tuple t1 = {1, "Hamlet"s, 3.14}; // deduced: tuple<int, string, double>

Enforcement（实施建议）

Flag uses where an explicitly specialized type exactly matches the types of the arguments used.

标记显示定义的类型和实际使用的参数完全匹配的情况。

原文链接

https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#t44-use-function-templates-to-deduce-class-template-argument-types-where-feasible