Bonjour,

j'aimerais savoir comment fonctionne (ou est traduit) du code haut niveau orienté objet (n'importe quel langage) en langage assembleur, ou autres langages plus bas niveau (comme du C par exemple).

J'imagine que le procédé doit être bien plus différent et complexe que pour de l'impératif par exemple, non ?

Auriez-vous une idée de comment cela fonctionne ?

Merci, et bonne soirée !

Lu'!

Geralt de Riv a écrit:

J'imagine que le procédé doit être bien plus différent et complexe que pour de l'impératif par exemple, non ?

Non, c'est exactement pareil. Il y a juste le polymorphisme à gérer, ce qui n'a rien de très compliqué : on ajoute une information de type pour les hiérarchies de classes et quand un appel de méthode apparaît, on ajoute un test qui regarde le type et appelle la méthode surchargée correspondante.

Merci Ksass`Peuk

Donc, si je comprends bien, le code généré n'est rien de plus qu'un... assemblage, une structure de données (initialisée ou non en fonction des champs) ?

C'est compilé exactement comme une combinaison structure + fonction, sauf qu'un appel de fonction peut nécessiter d'ajouter un test de typage.

Ok, merci.

Mais je ne vois pas trop ce que tu veux dire par "test de typage", et surtout le pourquoi ?

Pour expliciter le polymorphisme. Si j'ai un code comme :

class Base {
public:
  virtual void bar(){
    std::cout<<"Base::bar"<<std::endl;
  }
};

class Derived : public Base {
public:
  void bar() override {
    std::cout<<"Derived::bar"<<std::endl;
  }
};

void foo(Base& b){
  b.bar();
}

Au runtime, lors d'un appel à "foo", si b est de type :

• Base, ça affiche "Base::bar"
• Devired, ça affiche "Derived::bar"

Donc il faut mettre le code qui va permettre de prendre cette décision au runtime. Soit par un test de type, soit en C++ par exemple en ayant un pointeur vers la table de fonction virtuelle qui va contenir le bon pointeur de fonction.

Haa ! Je comprend mieux maintenant !

Merci beaucoup pour toutes tes explications, je passe le sujet en [résolu] !

Bonne fin de journée