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

函数模板的返回值也可以界说为模板参数(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

作者：csdn博客 Spike_King