c++ - CRTP 和默认赋值运算符

Question

在以下内容中:

template<typename Derived>
class Base:
{
    inline Derived& operator=(const Base<Derived>& x);
}

此声明是否删除了默认的复制赋值运算符，还是我有两个运算符:

inline Derived& operator=(const Base<Derived>& x); 
// (declared by me)

和

inline Base<Derived>& operator=(const Base<Derived>& x); 
// (declared by the compiler)

在这种情况下，当我调用该函数时，编译器将如何获得正确的运算符？

Answer 1

如果您声明任何可以传递给赋值运算符的方法:

XXX Foo::operator=(Foo&);
XXX Foo::operator=(Foo const&);
XXX Foo::operator=(Foo volatile&);
XXX Foo::operator=(Foo const volatile&);

那么编译器将不会生成默认版本Foo& operator=(Foo const&);。

注意返回类型是完全自由的，至于其他方法。您可以使用 void、bool 等等。为了允许赋值链接，返回对 self 的引用只是惯用(但不是必需的):a = b = c = 0; 这本身源于重载运算符应遵循其内置运算符的语义的准则。