C++模板问题

Question

我是 C++ 模板的新手。 我正在尝试一些小程序。

    CPP [80]> cat 000001.cpp 000001.hpp
#include <iostream>
#include <string>
#include "000001.hpp"

int main()
{
    int i = 42;
    std::cout << "max(7,i):   " << ::max(7,i) << std::endl;

    double f1 = 3.4;
    double f2 = -6.7;
    std::cout << "max(f1,f2): " << ::max(f1,f2) << std::endl;

    std::string s1 = "mathematics";
    std::string s2 = "math";
    std::cout << "max(s1,s2): " << ::max(s1,s2) << std::endl;
}

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

当我编译这个程序时：

我收到以下错误：

    CPP [78]> /opt/aCC/bin/aCC -AA 000001.cpp
Error (future) 229: "/opt/aCC/include_std/string.cc", line 164 # "Ambiguous overloaded function call; a
    function match was not found that was strictly best for ALL arguments. Two functions that matched
    best for some arguments (but not all) were "const unsigned long &max<unsigned long>(const unsigned
    long &,const unsigned long &)" ["000001.hpp", line 2] and "const unsigned long &std::max<unsigned
    long>(const unsigned long &,const unsigned long &)" ["/opt/aCC/include_std/algorithm", line 1762]."
    Choosing "const unsigned long &max<unsigned long>(const unsigned long &,const unsigned long &)"
    ["000001.hpp", line 2] for resolving ambiguity.
            _C_data = _C_getRep (max (_RW::__rw_new_capacity (0, this),
                                 ^^^
Warning:        1 future errors were detected and ignored. Add a '+p' option to detect and fix them before they become fatal errors in a future release. Behavior of this ill-formed program is not guaranteed to match that of a well-formed program

有人可以告诉我错误到底是什么吗？

Answer 1

您可能在某处包含 而不是 。前者已经不存在一段时间了，但出于兼容性原因，编译器仍然接受包含并将其替换为

#include <iostream>
using namespace std;

这会导致 std::max 被引入全局命名空间，从而导致含糊不清。将 替换为 或重命名 max 函数，问题就会消失。

编辑：你显然已经修复了包含，但我敢打赌你仍然在某处using namespace std;。你需要摆脱它。事实上，您永远不应该在全局范围内使用using namespace。

编辑：您可能还在某处使用 std::max 。你也需要摆脱它。

Answer 2

您发布的代码编译得很好，“000001.hpp”内部肯定还有其他问题。您也可以发布该文件的内容吗？

编辑：如果您按照 avakar 的说明进行操作，但问题仍然存在，则一定是由于您的编译器存在问题。我能想到两种明显的解决方法：将您的 max 函数重命名为其他名称，或者将其放入命名空间中：

namespace Foo
{
    template <typename T>
    inline T const& max (T const& a, T const& b)
    {
        return  a < b ? b : a;
    }
}

int main()
{
    int i = 42;
    std::cout << "max(7,i):   " << Foo::max(7,i) << std::endl;

    double f1 = 3.4;
    double f2 = -6.7;
    std::cout << "max(f1,f2): " << Foo::max(f1,f2) << std::endl;

    std::string s1 = "mathematics";
    std::string s2 = "math";
    std::cout << "max(s1,s2): " << Foo::max(s1,s2) << std::endl;
}

Answer 3

我不知道您使用的是哪个编译器，但第二个错误告诉您以下两个函数发生冲突：

::max
std::max

这似乎很奇怪，您可能在某处有一个 using namespace std; 或更糟的是，那个如第一个错误中所述，您的包含使用 iostream.h 。您能否提供有关您的编译器/工具链以及 .hpp 文件内容的更多信息？

Answer 4

它说

max<unsigned long>

找到了两个定义。一个定义位于 000001.hpp 中，另一个定义位于 /opt/aCC/include_std/algorithm 中。编译器暂时选择了000001.hpp中的那个，所以现在不存在错误。但它说这两个定义将来可能会导致错误。

Answer 5

我不知道这是否会导致问题，但无论如何；您不应该将名称 max 用于全局（或局部）函数，因为它是 STL 的一部分。