C++ 函数模板返回值指定

C++函数模板不能偏特化，可以全特化。另外，返回值也是可以用static_cast指定的。
举例如下：

template<typename T1, typename T2, typename T3>
T1 add(T2 a, T3 b)
{
    return static_cast<int>(a + b);
}

指定T1为int，代码如下:

    int result = add<int>(0.4, 0.9);

指定T1, T2参数为int和float，代码如下:

int result = add<int, float>(0.4, 0.9);

一个完整的利用函数模板指定函数返回值的例子如下:

#include <iostream>

enum class AAA : int {
    TYPE1 = 33,
    TYPE2 = 52,
    TYPE3 = 92,
    TYPE4 = 102,
    TYPE5 = 22,
    TYPE6 = 8,
    TYPE7 = 12,
};

enum class BBB : int {
    TPYE1 = AAA::TYPE1,
    TYPE3 = AAA::TYPE3,
    TYPE5 = AAA::TYPE5,
};

enum class CCC : int {
    TPYE2 = AAA::TYPE2,
    TYPE3 = AAA::TYPE3,
    TYPE5 = AAA::TYPE5,
};

AAA uec2AAA (int uec) {
    AAA rc;
	switch (uec) {
    	case 1: 
    	    rc = AAA::TYPE1;
    	    break;
    	case 2:
		    rc = AAA::TYPE2;
		    break;
		case 3:
		    rc = AAA::TYPE3;
		    break;
		case 4:
		    rc = AAA::TYPE4;
		    break;
		case 5:    
			rc = AAA::TYPE5;
			break;
		case 6:
		    rc = AAA::TYPE6;
		    break;
		default:
		    break;    
	}
    
	return rc;    
}

template<typename T1>
T1 uec2Rc(int a)
{
    return static_cast<T1>(uec2AAA(a));
}

int main(void)
{
    BBB result = uec2Rc<BBB>(3);
    printf("result = %d\n", static_cast<int>(result));
	
    CCC result2 = uec2Rc<CCC>(2);
    printf("result = %d\n", static_cast<int>(result2));
	
    return 0;
}

上次写的太烂了。最近又学了一下海贼班的模板，下面是新的补充。

首先我们看下面的模板函数

template<typename T>
T add(T a, T b) {
    return a + b;
}

int main() {
    cout << add(1, 2) << endl;
    cout << add(1.5, 2.8) << endl;
}

那么问题来了，add(1, 2.5) 怎么办? 会报错，因为a,b类型都是T，而1和2.5类型不一样。而且返回值怎么确定是什么类型呢？

解决办法1：显示调用
cout << add(1, 2.5) << endl; //显性调用模板

解决办法2： 用两个类型T和U，并且用decltype关键字改写模板

decltype 将一个表达式变成一个类型。
decltype(1 + 2) x; //相当于定义了int x, 因为1+2是int 类型 decltype(1+2)是一个类型，这里是int
注意下面不能用decltype(a, b)，因为编译器是从左到右编译的，执行到decltype时还没见到a,b呢。所以要用T()和U()来决定返回值。编译器会根据a+b的类型来决定decltype(T()+U())是什么类型。

template<typename T, typename U>
decltype(T(), U()) add(T a, U b) { //不能用decltype(a+b)，因为这时编译器还没有遇到a,b
    return a + b;
}

注意上面写成decltype(T()+U())也可以。
不过问题又来了，T或U不一定有默认构造函数啊。比如T或U有拷贝构造函数，或默认构造函数后面跟了个delete，就没办法了。

解决办法3：返回值后置

auto func(int a, int b) -> int {
    return a + b;
}

用返回值后置我们就可以把decltype(a+b)了，因为这里编译器已经看到a和b的类型了。注意这里只能写成decltype(a+b)，而办法2里面是decltype(T(), U())和decltype(T()+U())都可以。

template<typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
    return a + b;
}

下面注意一个typeid和decltype的区别。

typeid -> 模板实例化之前

decltype -> 模板实例化之后，更强大