c++ - CRTP 中的复制赋值运算符 - gcc vs clang 和 msvc

Question

以下代码(参见 this question)在 gcc 8.2 编译时会导致错误，但会被 clang 7.0.0 和 msvc 15.9.0 预览版 3 接受:

template<typename T>
struct B
{
    void operator=(const T&) { }
    void foo() { }
};

struct D : public B<D>
{
    using B<D>::operator=;
    using B<D>::foo;       // hidden by D::foo
    void foo() { }
};

int main()
{
    D d1, d2;
    d1 = d2;
    d1.foo();
    return 0;
}

错误信息generated by gcc是:

<source>: In function 'int main()':
<source>:8:8: error: 'constexpr D& D::operator=(const D&)' cannot be overloaded with 'void B<T>::operator=(const T&) [with T = D]'
struct D : public B<D>
       ^
<source>:4:8: note: previous declaration 'void B<T>::operator=(const T&) [with T = D]'
  void operator=(const T&) { }
       ^~~~~~~~

我们在D中有两个赋值运算符，第一个是默认生成的，第二个是using引入的。它们具有相同的签名，因此重载失败。但是，为什么基类中的 operator= 没有像 foo() 成员函数那样被派生类隐藏？

这是怎么回事？为什么只有 gcc 提示？它应该提示吗？

Answer 1

GCC 在这里是错误的:这是 specially called out作为没有发生过载的情况。 (当然，正如您所说，其他成员函数也不会发生这种情况。)