为什么我的赋值运算符没有被调用？

Question

我很困惑...为什么我的赋值运算符没有在这里被调用？

template<typename This>
struct mybase
{
    This& operator =(const This &other)
    {
        __debugbreak();  // The debugger should break here, but doesn't.
        return static_cast<This &>(*this):
    }
};

struct myderived : mybase<myderived>
{
    int x;
};

int main()
{
    myderived a = myderived();  // And yes, I know it's redundant...
    myderived b = myderived();
    a = b;

    return 0;
}

Answer 1

因为派生中的默认赋值运算符会隐藏基中的重载。

Answer 2

mybase::operator= 被自动生成的复制赋值运算符 mydriven::operator= 隐藏。

您可以使用 using 声明使基类运算符在派生类中可见。

编辑：根据请求添加了示例：

template<typename This>
struct mybase
{
    This& operator =(const This &other)
    {
        //__debugbreak();  // The debugger should break here, but doesn't.
        return static_cast<This &>(*this);
    }
};

struct myderived : mybase<myderived>
{
    using mybase<myderived>::operator=;
    int x;
};

int main()
{
    myderived a = myderived();  // And yes, I know it's redundant...
    myderived b = myderived();
    a = b;
}

这可以使用 Visual C++ 10.0 和 Comeau Online 进行良好的编译。后者实际上意味着它是良好的标准 C++。但是，该代码无法使用 MinGW g++ 4.4.1 进行编译（编译器错误）。

编辑2：实际上，现在检查，使用 Visual C++ 10.0 它可以编译，但不会调用基类运算符。所以也许 g++ 是正确的。 using 通常是引入基类赋值运算符（或其他）的方法，但在这种情况下，它与派生类的复制赋值运算符具有相同的签名，我还不知道是否Visual C++ 行为正确与否 – 这是该语言的一个极端情况。

编辑3：我检查了N3290（与C++11相同的标准草案），它说

§12.8/18：
如果类定义没有显式声明复制赋值运算符，则隐式声明一个。如果类定义声明了移动构造函数或移动赋值运算符，则隐式声明的复制赋值运算符被定义为已删除；否则，它被定义为默认（8.4）。

我个人将此解释为，通过使用 using 声明，类“声明”了一个复制赋值运算符，因此不应该隐式生成该运算符（Visual C++ 10.0 似乎是这样做的）。然而，这是该语言的一个极端情况。其他人可能会对此有不同的解释，并且如上所述，编译器有所不同！

干杯&呵呵，，

Answer 3

这行：

a = b;  

显然要求 my衍生 已经重载了复制赋值运算符。它可以由编译器隐式生成，也可以由 mydriven 类显式定义：

12.8 复制类对象 [class.copy]

9. 用户声明的复制赋值运算符 X::operator= 是
类 X 的非静态非模板成员函数，恰好为 1
X、X&、const X&、volatile X& 或 const 类型的参数
易失性 X&.

您尝试在 mybase 类中创建用户声明的复制赋值运算符，但根据 C++ 标准，它实际上并不是复制赋值运算符。想象一下，如果我们用 my衍生 对 This 进行类型替换：

// Hypothetical class generated by the compiler from
// the mybase template class with This = myderived
struct mybase_myderived 
{
    myderived& operator =(const myderived &other) 
    { 
        // ...
    } 
};

显然这不是复制赋值运算符，因为参数 other 的类型是 >const my衍生&，而不是const mybase&。如果 other 参数的类型为 const mybase&、mybase 或 mybase&，那么它将是有效的复制赋值运算符，可以由 my衍生 中的默认复制赋值运算符调用。但本例并非如此，因此编译器仍然为 mybase 生成默认的复制赋值运算符，当然在本例中它不执行任何操作。

my衍生 中编译器生成的默认复制赋值运算符调用 mybase 中编译器生成的默认复制赋值运算符。那么最终会发生什么，结果是，operator=(const mydriven &other) 重载永远不会被调用。

编译器不直接调用 mybase::operator= 的原因是因为它被编译器生成的 mydriven 中的复制赋值运算符隐藏了，如 Alf P.斯坦巴赫在这个答案。

Answer 4

因为编译器在my衍生中引入了默认的赋值运算符。重写它并自己调用您的基本赋值运算符。或者也许 using 指令会有帮助？尝试在 my衍生体中使用 mybase::operator= 。