GCC 无法区分 operator++() 和 operator++(int)

Question

template <typename CRTP>
struct Pre {
    CRTP & operator++();
};

template <typename CRTP>
struct Post {
    CRTP operator++(int);
};

struct Derived
    : Pre<Derived>
    , Post<Derived>
{};

int main() {
    Derived d;
    d++;
    ++d;
}

我从 GCC 收到这些错误：

<source>: In function 'int main()':
<source>:18:10: error: request for member 'operator++' is ambiguous
        d++;
        ^~
<source>:8:14: note: candidates are: CRTP Post<CRTP>::operator++(int) [with CRTP = Derived]
        CRTP operator++(int);
            ^~~~~~~~
<source>:3:16: note:                 CRTP& Pre<CRTP>::operator++() [with CRTP = Derived]
        CRTP & operator++();
                ^~~~~~~~
<source>:19:11: error: request for member 'operator++' is ambiguous
        ++d;
        ^
<source>:8:14: note: candidates are: CRTP Post<CRTP>::operator++(int) [with CRTP = Derived]
        CRTP operator++(int);
            ^~~~~~~~
<source>:3:16: note:                 CRTP& Pre<CRTP>::operator++() [with CRTP = Derived]
        CRTP & operator++();
                ^~~~~~~~

前减和后减运算符会导致类似的错误。 Clang 没有这样的错误。有什么想法可能是错误的或如何解决这个问题？

Answer 1

必须首先进行名称查找。在这种情况下，名称为operator++。

[basic.lookup]（强调我的）

1 名称查找规则统一适用于所有名称（包括 typedef 名称（[dcl.typedef]），名称空间名称（[basic.namespace]）， 和类名 ([class.name]))，只要语法允许这样的名称 在特定规则讨论的上下文中。名称查找关联 使用带有该名称声明 ([basic.def]) 的名称。 名称 查找应找到名称的明确声明（参见 [class.member.lookup]）。名称查找可能关联多个 如果发现名称是函数名，则使用名称声明； 据说这些声明形成了一组重载函数 （[超载]）。 重载解析 ([over.match]) 发生在 名称查找成功。访问规则（子句 [class.access]） 只考虑一次名称查找和函数重载解析 （如果适用）已成功。只有在名称查找后，功能 重载解析（如果适用）和访问检查已成功 是进一步使用的名称声明引入的属性 在表达式处理中（子句 [expr]）。

并且只有在查找明确时，才会继续进行重载解析。在这种情况下，名称位于两个不同类的范围内，因此即使在重载决议之前也存在歧义。

[class.member.lookup]

8 如果明确找到重载函数的名称， 重载决议（[over.match]）也发生在访问之前 控制。歧义通常可以通过限定名称来解决 它的类名。 [ 例子：

struct A {
  int f();
};

struct B {
  int f();
};

struct C : A, B {
  int f() { return A::f() + B::f(); }
};

—结束示例]

这个例子几乎总结了[class.member.lookup]前面段落中相当长的查找规则。您的代码有歧义。 GCC 是正确的报告它。

---

至于解决这个问题，cmets 的人们已经提出了解决方法的想法。添加辅助 CRTP 类

template <class CRTP>
struct PrePost
    : Pre<CRTP>
    , Post<CRTP>
{
    using Pre<CRTP>::operator++;
    using Post<CRTP>::operator++;
};

struct Derived : PrePost<Derived> {};

现在可以在单个类的范围内找到该名称，并命名两个重载。查找成功，可以继续进行重载解析。