Bonjour,
 
je me demandais par quel mécanisme le compilateur sait-il quel est le type dynamique d'une variable ?
 
Par exemple lors de l'appel d'une fonction 'virtual' d'une variable, il va le faire en fonction du type dynamique de la variable, mais par quel mécanisme connait-il ce fameux type ?
Y'a une colonne 'type statique' et une autre 'type dynamique' dans la table des symboles ???
 
 
merci

Non, dans les cas ou la notion de type dynamique est utile, il n'est pas determinable statiquement.  
 
Des qu'il y a une fonction virtuelle, il y a un champs cache dans les objets qui permet de trouver le type dynamique (ce champs est generalement un pointeur vers une "table des fonctions virtuelles" qui contient des pointeurs vers les fonctions virtuelles et d'autres choses).

Oki merci,
 
Pour ceux que ça intéresse le lien wikipedia explique pas trop mal: http://en.wikipedia.org/wiki/Virtual_method_table