Trait Object

Quando passiamo un'istanza di un oggetto a un parametro di tipo &dyn MyTrait, stiamo passando quello che viene chiamato un trait object.

Un trait object è ciò che ci permette di chiamare indirettamente i metodi corretti di un'istanza. Un trait object è una struct che contiene il puntatore alla nostra istanza insieme a una lista di puntatori a funzione verso i metodi della nostra istanza.

Dettagli sulla memoria:

• Questa lista di funzioni è conosciuta in C++ come vtable.