C のベクトルとポリモーフィズム : オブジェクトのスライス

次の C コードを考えてみましょう:

class Instruction {
public:
    virtual void execute() { }
};

class Add: public Instruction {
private:
    int a;
    int b;
    int c;
public:
    Add(int x, int y, int z) {a=x;b=y;c=z;}
    void execute() { a = b   c;  }
};

別のクラス内:

void some_method() {
    vector v;
    Instruction* i = new Add(1,2,3)
    v.push_back(*i);
}

そして別のクラス:

void some_other_method() {
    Instruction ins = v.back();
    ins.execute();
}

これらのクラスは命令ベクトルを共有します。ただし、execute 関数に関して懸念事項が発生します。 Add タイプは保持されますか?

残念ながら、保持されません。 Vector は参照ではなく値を保存します。これは、命令オブジェクトがある時点でコピーされ、「オブジェクト スライス」と呼ばれる現象が発生することを意味します。

この問題を解決するには、vector または、より効果的には、vector >.