c++ - 为什么我不能有一个纯虚拟赋值运算符？

Question

我有点迷失在 C++ 运算符中。我想为两个不同的类强制执行赋值运算符，即一个可以相互分配一个:

class A {
public:
    virtual A &operator =(const A &a) = 0;
};

class B : public A {
public:
    virtual A &operator =(const A &a) override {
        std::cout << "B" << std::endl;
        return *this;
    }
};

class C : public A {
public:
    virtual A &operator =(const A &a) override {
        std::cout << "C" << std::endl;
        return *this;
    }
};

int main(int argc, char *argv[])
{
    B b;
    C c;
    b = c;

    // leads to a linker error: undefined reference to `A::operator=(A const&)'
    //B b2;
    //b = b2;
}

第一个任务似乎完成了任务，调用了“B”。同样，对于“c = b”，调用“C”。但是，当我取消注释第二部分时，出现链接器错误。如果我像这样定义 A 的运算符:

virtual A &operator =(const A &a) {
        std::cout << "A" << std::endl;
        return *this;
} 

我得到“B”、“A”。嗯？有人可以解释为什么在分配了两个 B 时需要“A”，而在分配 B <- C 时却不需要吗？

Answer 1

编译器会生成一个隐式复制赋值运算符，当您执行 B = B 赋值时会选择该运算符。当您执行 B = C 分配时，不会选择它。

http://en.cppreference.com/w/cpp/language/copy_assignment

https://wandbox.org/permlink/CM5tQU656rnwtrKl

如果您查看错误消息:

/tmp/cctHhd0D.o: In function `B::operator=(B const&)':
prog.cc:(.text._ZN1BaSERKS_[_ZN1BaSERKS_]+0x1f): undefined reference to `A::operator=(A const&)'
collect2: error: ld returned 1 exit status

您可以看到链接器错误来自 B::operator=(B const&) 内部，由于您没有定义，这意味着它必须是自动生成的。