为什么模板函数调用不明确？

Question

#include <iostream>
using namespace std;
template <typename T>
T max(T x, T y)
{
    return (x > y) ? x : y;
}
int main()
{
    cout << max(3, 7) << std::endl;
    cout << max(3.0, 7.0) << std::endl;
    cout << max(3, 7.0) << std::endl;
    return 0;
}

我在这里期待 max 的实例

cout << max(3, 7) << std::endl; // max (int, int)
cout << max(3.0, 7.0) << std::endl; // max (double, double)
cout << max(3, 7.0) << std::endl; // max(int, double)

那么问题出在哪里？为什么我会得到

11 25 [Error] call of overloaded 'max(double, double)' is ambiguous

Answer 1

如果您查看完整的编译错误，您就会明白原因。这是 gcc 5.2 给我的：

main.cpp: In function 'int main()':
main.cpp:10:21: error: call of overloaded 'max(int, int)' is ambiguous
     cout << max(3, 7) << std::endl;
                     ^
main.cpp:4:3: note: candidate: T max(T, T) [with T = int]
 T max(T x, T y)
   ^
In file included from /usr/local/include/c++/5.2.0/bits/char_traits.h:39:0,
                 from /usr/local/include/c++/5.2.0/ios:40,
                 from /usr/local/include/c++/5.2.0/ostream:38,
                 from /usr/local/include/c++/5.2.0/iostream:39,
                 from main.cpp:1:
/usr/local/include/c++/5.2.0/bits/stl_algobase.h:219:5: note: candidate: constexpr const _Tp& std::max(const _Tp&, const _Tp&) [with _Tp = int]
     max(const _Tp& __a, const _Tp& __b)
     ^

基本上，有两个 max 函数 - yours 和 std::max，它们包含在来自 <iostream> 的其他 #includes 链中。后者是通过查找找到的，因为您的

using namespace std;

实际上，我们有：

template <typename T> T max(T, T);                      // yours
template <typename T> T const& max(T const&, T const&); // std

两者都不比另一个好，因此模棱两可。这是avoid using namespace std 的一个很好的理由。或者在标准库函数方面不重新发明轮子的一个很好的理由 - 只需使用std::max。或两者。

---

另一方面，这个

max(3, 7.0)

无论作为模板推导失败，都会失败。它会将T 推断为int 用于第一个参数，将T 推断为double 用于第二个参数 - 但只能有一个T！您必须显式调用max<int>(3, 7.0) 或max<double>(3, 7.0) 来避免演绎失败，具体取决于您要转换的两个参数中的哪一个。

Answer 2

线

using namespace std;

肯定会让事情变得复杂。但是，即使您删除了该行，问题仍然存在。

调用max(3, 7.0) 可以解析为max<int> 或max<double>。要解析为max<int>，必须将double 转换为int。要解析为max<double>，必须将int 转换为double。由于两者都需要转换，并且不能为一个转换赋予比另一个更高的优先级，因此编译器无法确定使用哪一个。

您必须明确要使用哪个版本的max。

max<int>(3, 7.0) 会将7.0、double 转换为int。

max<double>(3, 7.0) 会将3、int 转换为double。

Answer 3

Max 是一个库函数。只需将函数的最大标识符更改为 max1 或任何其他名称，该名称不是定义任何头文件的函数。 这应该可以解决您的问题。