c++ - 名称查找 "in the class of the object expression"是否应该找到该类的成员？

Question

gcc 接受以下代码，而 clang 拒绝它。

struct S
{
    struct Type
    {
    };
    operator Type()
    {
        return Type();
    }
};
void f(S& s)
{
    s.operator Type(); // error: unknown type name 'Type'
}

标准说 Type 是“在对象表达式的类中查找”S。似乎 gcc 在搜索中包括 S 的成员，而 clang 仅考虑 S 而它的基类 没有。哪个是正确的？

C++ 工作草案 N3337 的相关引述:

3.4.5 Class member access [basic.lookup.classref]/7

If the id-expression is a conversion-function-id, its conversion-type-id is first looked up in the class of theobject expression and the name, if found, is used. Otherwise it is looked up in the context of the entirepostfix-expression.

Answer 1

在这种特殊情况下，gcc 是正确的。查找规则指示查找 Type 应该首先在对象类型的上下文中执行，然后在使用表达式的上下文中执行。该标准甚至提供了一个示例，尽管不完全与您的相似:

struct A { };
namespace N {
  struct A {
    void g() { }
    template <class T> operator T();
  };
}
int main() {
   N::A a;
   a.operator A(); // calls N::A::operator N::A
}

查找从 ::N::A 开始，它找到注入(inject)的名称 A 并将其解析为 ::N::A.