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

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

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