C++ - 函数模板(function template)返回值 - c++编程基础

函数模板的返回值也可以定义为模板参数(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   
#include   
#include   
#include   
#include   
  
using namespace std;  
  
/*需要显示定义返回类型*/  
template   
T1 sum (T2, T3)  
{  
    T2 i2; T3 i3;  
    return static_cast(i2+i3);  
}  
  
/*注意拖尾返回类型(trailing return type)前面需要加auto*/  
template 




  
auto fcn(It beg, It end) -> decltype(*beg)  
{  
    return *beg;  
}  
  
/*注意拖尾返回类型是值, 注意第二个typename, 表明为类型*/  
template   
auto fcn2(It beg, It end) ->  
    typename remove_reference::type  
{  
    return *beg;  
}  
  
int main (void) {  
  
    std::cout << "The type of sum return : " <<  
            typeid(sum(2, 3)).name() << std::endl;  
  
    std::vector vi = {1, 2, 3, 4, 5};  
    std::vector 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