函数重载失败：为什么这些运算符会发生冲突？

Question

我有一个很大的代码库，其中包括两个主要名称空间：引擎和应用程序。

引擎将一个 Vector3 类定义为另一个 Vector3 类的 typedef，其相等运算符位于引擎命名空间中，而不是位于 Vector3 类中。 我向应用程序添加了一个类，该类在应用程序命名空间中也具有相等运算符。

当我尝试编译时，不相关但邻近的 vector3 比较失败，因为它找不到合适的相等运算符。 我怀疑我引起了冲突，因此将相等运算符移到我添加的类中，并且编译成功。

// engine.h
namespace Engine
{
    class Vector3Impl { ... };
    typedef Vector3Impl Vector3;
    bool operator==(Vector3 const &lhs, Vector3 const &rhs) { ... }
}


// myfile.cpp
#include "engine.h"

namespace application
{
    class MyClass { ... };
    bool operator==(MyClass const &lhs, MyClass const &rhs) { ... }

    void myFunc(...)
    {
        if ( myClassA == myClassB ) { ... } // builds
    }

    void anotherFunc(...)
    {
        Engine::Vector3 a, b;
        ...
        if ( a == b ) { ... } // fails
    }
}

然而经过思考，我不明白为什么编译失败。 没有从 vector3 到我的类的隐式转换，反之亦然，并且依赖于参数的查找应该从引擎名称空间中提取相等运算符并进行匹配。

我已经尝试在示例 C++ 项目中重现此错误，但它拒绝破坏。 庞大的代码库中一定有某些东西导致了这个问题，但我不知道从哪里开始寻找。 类似于流氓“使用引擎”的反面？ 有人有什么想法吗？

Answer 1

C++ 标准，3.4.4.2 声明：

对于函数调用中的每个参数类型 T，有一组零个或多个关联的命名空间和一组零个
或更多要考虑的相关类别。 命名空间和类的集合完全由类型决定
函数参数（以及任何模板模板参数的命名空间）。 Typedef 名称和 using-声明
用于指定不参与此集合的类型。

ADL 不适用于 typedef。

Answer 2

我曾经遇到过同样的问题，编译器没有参数依赖查找（Koenig Lookup - 感谢@igor）（我认为是 VC6）。 这意味着当它看到一个运算符时，它只是在封闭的命名空间中查找。

那么你能告诉我们你使用什么编译器吗？

转移到另一个编译器解决了它。

确实非常不方便。

Answer 3

bool operator==(Vector3 const &lhs, Vector3 const &rhs) { ... }

在类上定义的相等运算符的规范定义应该只有一个参数，即 rhs。 lhs是这样的
不知道这是否能解决您的问题。

这就是我要写的：

class Vector3 {
bool 运算符 ==( const Vector3 & rhs) const { ... }
};