函数模板(function template)返回值


本文地址: http://blog.csdn.net/caroline_wendy/article/details/17003679


函数模板的返回值也可以定义为模板参数(template parameter), 但是由于无法推导(deduce), 需要显式(explicit)指定;

由于显式指定的顺序是从左至右, 返回值参数尽量放在左面,其余函数参数可以通过传入实参(argument)进行推导;

也可以提供由其他参数推导出的返回值类型, 需要使用拖尾返回类型(trailing return type);

使用decltype()函数推导, 即"编译时定义的类型", 注意使用拖尾返回类型时, 前置需要"auto", 后面使用"->";

也可以使用类型转换模板(type transformation templates)修改返回值类型, 主要应用于模板元编程(template metaprogramming);

注意使用"typename"限定词, 表明是类型, 不是静态成员; 类型转换函数包含type成员, 表明类型;

代码如下:

/*  * 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