Kann ich eine generische Typbindung haben, die erfordert, dass dieser Typ ein Merkmal ist?

Question

Ich möchte eine generische Funktion deklarieren, die Merkmalsobjekte akzeptiert und nur Merkmalsobjekte. Ich möchte das, weil ich diese löschen möchte und sie als TraitObject Objekte über eine ABI-Grenze übergeben.

Eine Funktion wie folgt geschrieben wird nicht kompilieren ...

fn f<T: ?Sized>(t: &T) -> std::raw::TraitObject { 
    unsafe { std::mem::transmute(t) } 
} 

... mit dem folgenden Fehler:

error[E0512]: transmute called with differently sized types: &T (pointer to T) to std::raw::TraitObject (128 bits) 

Ich verstehe, warum der Compiler in verschiedenen Größen klagt: &T können sei ein Zeiger auf einen konkreten Typ (wie &i32), der ein einzelner Zeiger (64 Bits) oder ein Merkmalsobjekt (wie &Display) ist, das zwei Zeiger mit demselben Layout wie std::raw::TraitObject (128 Bits) sein wird.

Diese Funktion sollte in Ordnung sein, solange &T ein Merkmalsobjekt ist, d. H. T ist ein Merkmal. Gibt es eine Möglichkeit, diese Anforderung auszudrücken?

Answer 1

Wenn Sie use transmute_copy instead haben, können Sie den Compiler die Größenabweichungen ignorieren lassen. Dies bedeutet jedoch, dass Sie solche Probleme selbst behandeln müssen, z. Überprüfen Sie die Größe selbst und vielleicht in Panik, wenn es ein Missverhältnis ist. Andernfalls kann dies zu einem nicht definierten Verhalten führen.

fn f<T: ?Sized>(t: &T) -> std::raw::TraitObject { 
    assert!(std::mem::size_of::<&T>() == std::mem::size_of::<std::raw::TraitObject>()); 
    unsafe { std::mem::transmute_copy(&r) } 
} 

Answer 2

Ithe answer is "no" glauben:

There is no way to refer to all trait objects generically

(Hervorhebung von mir)

Answer 3

Es ist unmöglich, eine negative zu beweisen ... aber soweit ich weiß, die Antwort ist nein, sorry.

Die Darstellung von TraitObject ist instabil, insbesondere weil Rust in der Zukunft möglicherweise mehrere virtuelle Zeiger auf einen einzelnen Datenzeiger (der zum Beispiel &(Display + Eq) darstellt) anheften kann.

In der Zwischenzeit verwende ich Low-Level-Speicher-Tricks, um den virtuellen Zeiger und Datenzeiger zu lesen und dann selbst TraitObject zu bauen; durch einen Anruf an mem::size_of geschützt, um sicherzustellen, dass &T hat die richtige Größe für 2 *mut(), weil ?Sized bedeutet Sized oder nicht (und nicht !Sized).