Векторы и полиморфизм в 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();
}

Эти классы используют общий вектор инструкций. Однако мы сталкиваемся с проблемой, связанной с функцией выполнения. Сохранит ли он тип «Добавить»?

К сожалению, нет. Vector хранит значения, а не ссылки. Это означает, что в какой-то момент объект инструкции будет скопирован, что приведет к явлению, называемому «нарезкой объекта».

Чтобы решить эту проблему, рассмотрите возможность использования вектора или, что более эффективно, вектора >.