C++ - 函数模板(function template)返回值

函数模板(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