Comment est compil� le C++

Ce topic s'adresse a ceux qui ont des notion d'assembleur, ou tout du moins d'informatique bas niveau. L'idee est de savoir qu'est ce qui est gener� quand on utilise telle ou telle fonction du C++.

Par exemple, les templates sont gener�es via une duplication du code.
les instance de classe correspondent a des structures en C (un ensemble de variable). la notion de fonction virtuel revient a rajouter une donn�e a cette structure, donn�e qui sera un pointeur vers le code a executer (et qui donc pourra etre variable selon l'ovjet, tout en etant appel� de la meme facon).

Il y a quand meme deux trois trucs dont j'ai aucune idee.

Par exemple, comment est trait� l'heritage multiple ? (cad quel est le code bas niveau gener�).

Tr�s simple:

• Une classe C h�ritant de A et B poss�de les donn�es de B � la suite de celles de A.
• Un static_cast de C* en B* (ou l'inverse) provoque une addition ou soustraction du pointeur s'il n'est pas nul. C'est pourquoi il faut absolument utiliser static_cast et non un cast C-style, car si le type n'est pas bien d�fini, il y a risque que le compilo g�n�re un reinterpret_cast au lieu du static_cast, et l� ou court � la catastrophe.
• La classe poss�de deux vtables: une pour A, l'autre pour B
• Les fonctions ont du code cach� qui fait l'ajustement du pointeur si n�cessaire.

Donc en memoire, on a :

Donn�e des classe pare,te, puis donn�es de la classe qui en herite. Si on a plusieurs classe parentes, on les met les unes a la suite dans autres.

Lorsqu'on apelle des fonction sur les classe parentes, on leur passe un pointeur vers le premier element de la dite classe, et du coup la fonction le traite comme n'importe quel element du type en question.

Et les vtables ? tu pourrais expliciter ?

Pour les vtables, y'a pas grand-chose � expliquer de plus:
La classe C a une vtable pour les fonctions virtuelles de A, et une vtable pour les fonctions virtuelles de B. Les deux peuvent �tre contig�es, mais �a ne change rien au fait que les deux pointeurs de vtable contenus dans chaque objet de la classe C ne pointent pas au m�me endroit.

L� o� �a se complique vraiment, c'est pour l'h�ritage virtuel, et j'�viterais de m'avancer l�-dessus de peur de dire n'importe quoi.

Deux sources de r�ponses:
* http://www.amazon.com/Inside-Object-.../dp/0201834545
* http://cern.ch/laurent.deniau/html/cpp_object_model.tgz

On peut faire autrement que ce qui est expliqu� dans ces sources, mais l'effet final est globalement le m�me.