C++怎么使用函數模板推斷類模板參數類型

這篇文章主要講解了“C++怎么使用函數模板推斷類模板參數類型”，文中的講解內容簡單清晰，易于學習與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學習“C++怎么使用函數模板推斷類模板參數類型”吧！

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.

標記顯示定義的類型和實際使用的參數完全匹配的情況。

感謝各位的閱讀，以上就是“C++怎么使用函數模板推斷類模板參數類型”的內容了，經過本文的學習后，相信大家對C++怎么使用函數模板推斷類模板參數類型這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關知識點的文章，歡迎關注！