二、模板顯式推斷

在C++中，若函數模板返回類型需要用戶指定，那么在定義函數模板時，模板參數的順序是很重要的，如下代碼：

template <typename T1, typename T2, typename T3>  //模板一
T1 sum(T2 a, T3 b)
{return a + b;
}

在調用的時候就需要指定T1的類型，如：sum<float>(1,2);于是sum函數的返回類型為float。但是有時候由于設計者的糟糕設計，會導致一些問題：

template <typename T1, typename T2, typename T3> //模板二
T3 sum(T1 a, T2 b)
{return a + b;
}

那么再進行上述調用，則會出現問題：sum<float>(1, 2);現在這個調用里指定T1類型為float,但是實際傳進來的是1（int類型），會進行隱式類型轉換，將1轉換為float；T2的類型也可以根據sum(1,2)調用的第二個實參推斷出來，這里是可能會是int。那么T3是什么類型呢？顯然這里編譯器無法推斷T3的類型，需要在調用時指定才能推斷：

sum<int, int, int>(1, 2); //這樣T3就推斷出來是int。

在指定顯示模板實參時指定的類型是和模板參數匹配的，順序是一一對應的，如：

• 使用sum<int>(1, 2)對上面的第一個模板進行調用，那么T1對應int，T2和T3則通過推斷得出。
• 使用sum<int>(1, 2)對上面的第二個模板進行調用，那么T1對應的類型是int，T2可以根據實際穿進去的參數進行推斷，這里2為int那么T2類型就是int，那么編譯器就無法知道T3的實際類型了。