2.2 实参的演绎 （deduction）

2.2  实参的演绎 （deduction）

当我们为某些实参调用一个诸如max()的模板时，模板参数可以由我们所传递的实参来决定。如果我们传递了两个int给参数类型T const&，那么C++编译器能够得出结论：T必须是int。注意，这里不允许进行自动类型转换；每个T都必须正确地匹配。例如：

template <typename T>
inline T const& max (T const& a, T const& b);
…
max(4,7)         //OK: 两个实参的类型都是int
max(4,4.2)       //ERROR:第1个T是int，而第2个T是double

有3种方法可以用来处理上面这个错误：

1．对实参进行强制类型转换，使它们可以互相匹配：

        max ( static_cast<double>(4),4.2)        //OK

2．显式指定（或者限定）T的类型：

max<double>(4,4.2)                          //OK

3．指定两个参数可以具有不同的类型。

关于这些话题更详细的讨论，请看下一节。