Question

我正在为玩具编译器（C ++的子集）编写AST，我遇到了这个特殊的错误：

type.hpp：

namespace evc
{
  namespace ast
  {
    enum class type_t;
    struct type : public ast
    {
      using ast::ast;
      type_t m_type;
      type* m_subtype; // for const, array, references, pointers, etc.

      // Checks if two types are the the same or not
      friend bool operator==(const evc::ast::type& lhs, const evc::ast::type& rhs);
    };
  }
}

type.cpp：

#include <ast/type.hpp>
bool operator==(const evc::ast::type& lhs, const evc::ast::type& rhs)
{
  if (lhs.m_type == rhs.m_type)
  {
    if (lhs.m_subtype != nullptr && rhs.m_subtype != nullptr)
    {
      return (*lhs.m_subtype == *rhs.m_subtype);
    }
    else
    {
      return (lhs.m_subtype == nullptr && rhs.m_subtype == nullptr);
    }
  }
  else
  {
    return false;
  }
}

错误：

g++ -Wall -Wextra -Wc++11-compat -pedantic -Werror -std=c++14 -I inc

src/ast/type.cpp: In function 'bool operator==(const evc::ast::type&, const evc::ast::type&)':
src/ast/type.cpp:52:36: error: ambiguous overload for 'operator==' (operand types are 'evc::ast::type' and 'evc::ast::type')
             return (*lhs.m_subtype == *rhs.m_subtype);
                                    ^
src/ast/type.cpp:52:36: note: candidates are:
src/ast/type.cpp:46:6: note: bool operator==(const evc::ast::type&, const evc::ast::type&)
 bool operator==(const evc::ast::type& lhs, const evc::ast::type& rhs)
      ^
In file included from src/ast/type.cpp:1:0:
inc/ast/type.hpp:37:25: note: bool evc::ast::operator==(const evc::ast::type&, const evc::ast::type&)
             friend bool operator==(const evc::ast::type& lhs, const evc::ast::type& rhs);

我明白什么是歧义（编写编译器时，你希望我会这样做！），但我不明白为什么它是模棱两可的。在我看来，编译器正在删除const引用部分，然后说它无效。这真是令人费解，从昨天早上起我就一直在敲打它。只是想知道我是否可以抓住一只手？

我也知道可以改进这个节点的设计。已经有一个更好的课程计划，但这个问题仍然是一个问题。宝贝步骤。

干杯：）

Answer 1

你有两个operator==，一个在命名空间evc::ast中，而且其他在全局名称空间。你的定义是在全球范围内命名空间，因此在全局命名空间中找到一个，但是ADL 也找到evc::ast中的那个，所以表达式是暧昧。（这正是错误消息所说的。它们列出了正在考虑的功能。）

Answer 2

在标头中，friend函数在命名空间内声明，而源中的定义在全局命名空间中。解决方案是将友元函数移出标题中的名称空间：

// Predeclaration
namespace evc { namespace ast { struct type; } }

// Declare the friend function in the global namespace
bool operator==(const evc::ast::type& lhs, const evc::ast::type& rhs);

namespace evc
{
    namespace ast
    {
        enum class type_t;
        struct type : public ast
        {
            using ast::ast;
            type_t m_type;
            type* m_subtype; // for const, array, references, pointers, etc.

            // Explicitly state the operator is declared in the global namespace
            friend bool ::operator==(const evc::ast::type& lhs, const evc::ast::type& rhs);
        };
    }
}

或（正如James建议的那样）通过将定义定义为：

来移动命名空间内的定义

bool evc::ast::operator==(const evc::ast::type& lhs, const evc::ast::type& rhs)
{
    ...
}

任何一种解决方案都可以消除歧义。

操作员的模糊过载＆＃34; ==＆＃34;类型并没有什么不同

2 个答案: