函数模板的返回值也可以定义为模板参数(template parameter), 但是由于无法推导(deduce), 需要显式(explicit)指定;
由于显式指定的顺序是从左至右, 返回值参数尽量放在左面,其余函数参数可以通过传入实参(argument)进行推导;
也可以提供由其他参数推导出的返回值类型, 需要使用拖尾返回类型(trailing return type);
使用decltype()函数推导, 即"编译时定义的类型", 注意使用拖尾返回类型时, 前置需要"auto", 后面使用"->";
也可以使用类型转换模板(type transformation templates)修改返回值类型, 主要应用于模板元编程(template metaprogramming);
注意使用"typename"限定词, 表明是类型, 不是静态成员; 类型转换函数包含type成员, 表明类型;
更多精彩内容：http://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
