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

本节书摘来自异步社区出版社《c++ templates中文版》一书中的第2章，第2.2节，作者： 【美】david vandevoorde , 【德】nicolai m. josuttis，更多章节内容可以访问云栖社区“异步社区”公众号查看。

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

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

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

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

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

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