【函数模板】函数模板的类型推导

一、类型的自动推导

当函数模板的返回值被指定或与传入的参数的类型一致，那么可以直接调用函数模板，而不需要显式的指定参数。

//函数推导
template<typename T, typename R>
T Add(T a, R b) {
	return a + b;
}

void Test1() {
	//自动推导
	int x = 1;
	double y = 2;
	double z = Add(x, y);
	std::cout << z << "\n";
}

二、全手动推导类型

当函数模板中的返回类型与传入的参数不同时，我们需要指定返回值

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

void Test2() {
	//全手动推导
	int x = 1;
	double y = 2;
	double z = add<int, double, double>(x, y);
	std::cout << z << "\n";
}

三、半手动推导类型

有时，我们可以把返回值当做模板的第一个参数，那么就只需要指定返回值类型就可以了。

template< typename V, typename T, typename R>
V ADD(T a, R b) {
	return a + b;
}

void Test3() {
	//手动推导返回值
	int x = 1;
	double y = 2;
	double z = ADD<double>(x, y);
	std::cout << z << "\n";
}

四、使用auto+decltype推导返回值

如果不想手动推导返回值，我们可以使用$auto+decltype$来自动推导返回值。

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

void Test34() {
	//auto+decltype推导返回值
	int x = 1;
	double y = 2;
	double z = ADD_(x, y);
	std::cout << z << "\n";
}

四、使用空参<>推导

通常，使用<>与直接自动推导一样。当如果存在一个同名函数，那么使用<>将调用函数模板，不使用<>将调用普通函数。
也就是说，$<>$是显式调用函数模板的标志。

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

auto ADD_(int a, double b) -> decltype(a + b) {
	std::cout << "调用了ADD_的普通函数\n";
	return a + b;
}

void Test4() {
	//空参推导
	int x = 1;
	double y = 2;
	double z = ADD_<>(x, y); //此时调用的是函数模板
	std::cout << z << "\n";
	z = ADD_(x, y);//此时调用的是普通函数
	
}

运行后，我们发现确实是调用了不同的函数。