C++：纯虚赋值运算符

Question

为什么如果我们在基类中有纯虚拟赋值运算符，然后我们在派生类上实现该运算符，它会在基类上给出链接器错误？

目前我只有以下解释 http://support.microsoft.com/kb/130486 ，它表示该行为是设计使然，因为正常的继承规则不适用。

我不清楚，为什么它会按设计生成链接器错误？有人能给我更清楚的解释吗？

编辑：添加了我的简化代码，其中发生了错误：

class __declspec(dllexport) BaseClass {
public:
    int memberA;
    virtual BaseClass& operator=(const BaseClass& rhs) = 0;
};

class __declspec(dllexport) DerivedClass : public BaseClass {
public:
    int memberB;
    DerivedClass():memberB(0) {}
    virtual BaseClass& operator=(const BaseClass& rhs) {
        this->memberA = rhs.memberA;
        this->memberB = 1;
        return *this;
    }
};

int main(void)
{
    DerivedClass d1;
    DerivedClass d2;

    BaseClass* bd1 = &d1;
    BaseClass* bd2 = &d2;

    *bd1 = *bd2;
}

代码将编译没有错误没有 __declspec(dllexport) 和/或 没有基类上的纯虚运算符=声明。

赋值 *bd1 = *bd2; 后，如果没有 __declspec(dllexport)，d1::memberB 为 1，但有 __declspec(dllexport) d1 ::memberB 与 __declspec(dllexport) 保持不变

，并且没有纯虚声明，在赋值 *bd1 = *bd2; 后，d1::memberB 保持不变

Answer 1

根据标准第 12.8 节：

13 类 X 的隐式定义的复制赋值运算符执行其子对象的成员赋值。
X 的直接基类首先按照它们在基说明符列表中声明的顺序分配，然后是直接基类
X 的非静态数据成员按照它们在类定义中声明的顺序进行分配。每个子对象
以适合其类型的方式分配：

——如果子对象是类类型，则使用该类的复制赋值运算符（就像通过显式限定一样；
也就是说，忽略更多派生类中任何可能的虚拟重写函数）；

子类使用隐式定义的复制赋值运算符，并且基类的复制赋值运算符没有定义，但已声明，因此您会收到链接错误而不是编译错误。

Answer 2

运算符= 不被继承。您的代码在 C++ 中毫无意义，因此编译器可以自由地发出他们想要的任何错误。

从您指向的知识库文章中：http://support.microsoft.com/kb/130486

由于operator=不是继承的，因此基类中operator=的任何声明都是未使用且不必要的。不要在基类中声明operator=。

这可能只是他们编译方式的副作用，他们只是让您知道他们不认为这是一个错误，所以不需要修复它。 “按设计”并不一定意味着他们专门决定这个链接器错误是针对这种情况给出的正确错误消息——代码是错误的，你会得到一个错误，所以从他们的角度来看——他们是完毕。

Answer 3

在示例代码中：

class A
{
public :
   // To workaround LNK2001, comment the following line.
   virtual const A& operator=( const A& f ) = 0;
};

class B : public A
{
public :
   const A& operator=( const A& g ) {return g;}
};

B aB1, aB2;

int /*void*/ main( void )
{
   aB2 = aB1;
}

行 aB2 = aB1 不会调用 const A& B::operator=(const A&)，而是调用自动提供的 B& operator=(const B&); 依次使用赋值运算符来分配类的基部分。但当谈到链接时，事实证明这从未实现过。