Vektoren und Polymorphismus in C: Objekt-Slicing

Bedenken Sie den folgenden C-Code:

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

In einer separaten Klasse:

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

Und in einer anderen Klasse:

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

Diese Klassen teilen sich den Anweisungsvektor. Wir stoßen jedoch auf Bedenken hinsichtlich der Ausführungsfunktion. Wird der Add-Typ beibehalten?

Leider nicht. vector speichert Werte, keine Referenzen. Dies bedeutet, dass das Anweisungsobjekt irgendwann kopiert wird, was zu einem Phänomen namens „Objekt-Slicing“ führt.

Um dieses Problem zu beheben, sollten Sie die Verwendung von vector oder, effektiver, vector >.