《C++ Templates中文版》——2.2 实参的演绎[3]（deduction）

本节书摘来自异步社区出版社《C++ Templates中文版》一书中的第2章，第2.2节，作者： 【美】David Vandevoorde , 【德】Nicolai M. Josuttis，更多章节内容可以访问云栖社区“异步社区”公众号查看。

2.2 实参的演绎[3]（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．指定两个参数可以具有不同的类型。

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