Lorsque nous transmettons l'instance d'un objet à un paramètre de
type &dyn MyTrait
, nous transmettons ce que l'on appelle un
objet trait (en anglais trait object).
Un objet trait est ce qui nous permet d'appeler indirectement les bonnes méthodes d'une instance via un dispach dynamique. Un objet trait est une structure qui contient le pointeur de l'instance ainsi qu'une liste de pointeurs vers les méthodes de cette instance.
Détails de la mémoire: