More Effective C++ 項目３３ 末端でないクラスを抽象クラスにする

新訂版 More Effective C++ (AddisonーWesley professional co)

項目３３　末端でないクラスを抽象クラスにする

以下のようなクラスがあったとき、

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

class B : public A {
public:
  B& operator=(const B& a);
  ...
};

B b1;
B b2;

A* pA1 = &b1;
A* pA2 = &b2;
...
*pA1 = *pA2; // 指し示しているのはBだが、
             // Aのoperator=が使われる

A部分だけがコピーされるような、部分代入が起きる。

operator=を仮想的にしたり、operator=内でdynamic_castを使ったり、変な対策はあるが、A部分を抽象クラスにするのが簡単らしい。

class AbstractA {
protected:
    AbstractA& operator=(const AbstractA& rhs);

public:
    virtual ~AbstractA() = 0;
    ...
};

class A : public AbstractA {
public:
    A& operator=(const A& rhs);
    ...
};

class B : public AbstractA {
public:
    B& operator=(const B& rhs);
    ...
};

これでoperator=も、項目３の配列のポリモーフィズムの問題の対策にもなる。

具象クラスが基底クラスとして利用されようとしているとき、言い換えるとクラスが新しい文脈で再利用されようとしているとき、抽象化は有効、とのこと。