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();
}

이 클래스는 명령어 벡터를 공유합니다. 그러나 실행 기능과 관련하여 우려 사항이 있습니다. Add 유형이 유지됩니까?

안타깝게도 유지되지 않습니다. vector은 참조가 아닌 값을 저장합니다. 이는 Instruction 객체가 특정 시점에 복사되어 "객체 슬라이싱"이라는 현상이 발생함을 의미합니다.

이 문제를 해결하려면 vector 또는 보다 효과적으로 vector >.