Rust Trait-Objekte mit Mehreren Grenzen: Eine Überraschende Einschränkung

Dieser Artikel untersucht die Gründe für die Einschränkungen mehrerer Trait-Grenzen in Rust Trait-Objekten. Der Autor entdeckt einen Compilerfehler, wenn versucht wird, mehrere Trait-Einschränkungen (z. B. `Mammal + Clone`) gleichzeitig in einem Trait-Objekt zu verwenden. Der Artikel untersucht die zugrundeliegenden Mechanismen des dynamischen Dispatch in Rust und C++, vergleicht deren Vtable-Implementierungen und untersucht die Verwendung von Trait-Vererbung, um diese Einschränkung zu umgehen, sowie deren inhärente Einschränkungen. Schließlich schlägt der Autor vor, dass die Zulassung mehrerer Trait-Grenzen mehrere Vtable-Zeiger erfordert, obwohl dies zu etwas Redundanz führt, löst es Probleme bei der Typkonvertierung effizient.