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

一、类型的自动推导

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

//函数推导
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);//此时调用的是普通函数}

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