函數模板的傳回值也可以定義為模板參數(template parameter), 但是由於無法推導(deduce), 需要顯式(explicit)指定;
由於顯式指定的順序是從左至右, 傳回值參數盡量放在左面,其餘函數參數可以通過傳入實參(argument)進行推導;
也可以提供由其他參數推匯出的傳回值類型, 需要使用拖尾傳回型別(trailing return type);
使用decltype()函數推導, 即"編譯時間定義的類型", 注意使用拖尾傳回型別時, 前置需要"auto", 後面使用"->";
也可以使用類型轉換模板(type transformation templates)修改傳回值類型, 主要應用於模板元編程(template metaprogramming);
注意使用"typename"限定詞, 表明是類型, 不是靜態成員; 類型轉換函式包含type成員, 表明類型;
更多精彩內容:http://www.bianceng.cnhttp://www.bianceng.cn/Programming/cplus/
代碼如下:
/* * cppprimer.cpp * * Created on: 2013.11.28 * Author: Caroline */ /*eclipse cdt, gcc 4.8.1*/ #include <iostream> #include <vector> #include <string> #include <type_traits> #include <typeinfo> using namespace std; /*需要顯示定義傳回型別*/template <typename T1, typename T2, typename T3> T1 sum (T2, T3) { T2 i2; T3 i3; return static_cast<T1>(i2+i3); } /*注意拖尾傳回型別(trailing return type)前面需要加auto*/template <typename It> auto fcn(It beg, It end) -> decltype(*beg) { return *beg; } /*注意拖尾傳回型別是值, 注意第二個typename, 表明為類型*/template <typename It> auto fcn2(It beg, It end) -> typename remove_reference<decltype(*beg)>::type { return *beg; } int main (void) { std::cout << "The type of sum return : " << typeid(sum<float>(2, 3)).name() << std::endl; std::vector<int> vi = {1, 2, 3, 4, 5}; std::vector<std::string> vs = {"girl", "lady"}; /*返回的是引用*/ auto &i = fcn(vi.begin(), vi.end()); auto &s = fcn(vs.begin(), vs.end()); i = 12, s = "woman"; std::cout << "*vi.begin() = " << *vi.begin() << std::endl; std::cout << "*vs.begin() = " << *vs.begin() << std::endl; /*返回的是值, 所以不能在使用&符號*/ auto i2 = fcn2(vi.begin(), vi.end()); auto s2 = fcn2(vs.begin(), vs.end()); std::cout << "i2 = " << i2 << std::endl; std::cout << "s2 = " << s2 << std::endl; return 0; }
輸出:
The type of sum return : f *vi.begin() = 12 *vs.begin() = woman i2 = 12 s2 = woman
作者:csdn部落格 Spike_King