我可以使用make_tuple中的類型演繹來寫一些東西嗎？

Question

我可以寫make_tuple<int,bool>(1,true)或寫make_tuple(1,true)，編譯器會推斷出它的類型。這種能力可用於我編寫的代碼，還是以某種方式構建到我無法訪問的編譯器中？

Answer 1

所有功能模板的標準規定了模板參數推導（適用於此的名稱）。應遵循的過程在C++ 11第14.8.2節中進行了解釋。

Answer 2

編譯器將能夠推斷出扣除是明確的類型。否則，您可能需要以這些模板參數的形式向編譯器提供提示。

Answer 3

make_tuple函數只是一個普通的函數模板。你可以自己做同樣的事情。

Answer 4

下面是一個例子：

template <typename... Ts> 
tuple<Ts...> my_make_tuple(Ts... ts) 
{ 
    return tuple<Ts...>(ts...); 
} 

注意：這不使用完美轉發或任何其他技巧。這只是一個例子，你如何編寫自己的函數來進行參數推導。