3、C++ 模板：函数模板与类模板深度解析

C++ 模板：函数模板与类模板深度解析

1. 函数模板参数

函数模板有两种参数：
- 模板参数 ：在函数模板名称前的尖括号中声明。例如：

template <typename T>
// T 是模板参数

• 调用参数 ：在函数模板名称后的括号中声明。例如：

max (T const& a, T const& b)
// a 和 b 是调用参数

你可以定义任意数量的模板参数，但在函数模板中（与类模板不同），不能指定默认模板参数。例如，定义 max() 模板以处理两种不同类型的调用参数：

template <typename T1, typename T2>
inline T1 max (T1 const& a, T2 const& b)
{
    return a < b ? b : a;
}

调用 max(4, 4.2) 是可行的，但第一个参数的类型决定了返回类型。这种方法存在缺点，一是返回类型必须声明，可能导致参数类型转换不符合调用者意图；二是将第二个参数的类型转换为返回类型会创建一个新的局部临时对象，因此不能通过引用返回结果。

由