Pourquoi le polymorphisme ne fonctionne-t-il pas avec un vecteur d'objets d'instruction en C ?

Vecteurs et polymorphisme en C

Le polymorphisme permet à des objets de différentes classes de partager une interface commune. En C , cela est généralement réalisé grâce à l'héritage et aux fonctions virtuelles.

Considérez les extraits de code suivants :

<code class="cpp">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;  }
};</code>

Ici, la classe Instruction définit une méthode d'exécution virtuelle, qui est remplacée dans le Ajoutez une classe.

Maintenant, créons un vecteur contenant des objets Instruction :

<code class="cpp">vector<Instruction> v;
Instruction* i = new Add(1,2,3);
v.push_back(*i);</code>

Dans une autre méthode, nous récupérons le dernier élément du vecteur et appelons sa méthode d'exécution :

<code class="cpp">Instruction ins = v.back();
ins.execute();</code>

Est-ce que ça marchera ?

Non, ça ne marchera pas. Le vecteur stocke des valeurs, pas des références. Cela signifie que l'objet Ajouter sera copié dans le vecteur, ce qui entraînera un découpage de l'objet.

Comment y remédier

Pour maintenir le polymorphisme, nous devons utiliser un vecteur de pointeurs :

<code class="cpp">vector<Instruction*> v;
v.push_back(i);</code>

Alternativement, nous pouvons utiliser un vecteur de std::reference_wrapper:

<code class="cpp">vector<std::reference_wrapper<Instruction>> v;
v.push_back(i);</code>

Cela garantit que les objets ne sont pas découpés, ce qui nous permet de conserver leurs types dynamiques et appellent correctement les fonctions virtuelles.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!