Gibt es eine Möglichkeit, den Typ eines Merkmals zu erhalten?

Question

Ich versuche std::intrinsics::type_name zu verwenden, um den Typnamen eines Merkmals zu bekommen, aber es nicht kompilieren können:

#![feature(core_intrinsics)] 

use std::intrinsics::type_name; 

trait TestTrait: Sized { 
    fn test(&self); 
} 

struct MyStruct {} 

struct GetType {} 

impl GetType { 
    fn test_type<T: ?Sized>() { 
     let test = unsafe { type_name::<T>() }; 
     println!("{:?}", test); 
    } 
} 

fn main() { 
    GetType::test_type::<i32>(); 
    GetType::test_type::<MyStruct>(); 
    GetType::test_type::<TestTrait>(); 
} 

Hier ist der Fehler, den ich aus dem Compiler

error[E0038]: the trait `TestTrait` cannot be made into an object 
    --> src/main.rs:23:30 
    | 
23 |   GetType::test_type::<TestTrait>(); 
    |        ^^^^^^^^^ the trait `TestTrait` cannot be made into an object 
    | 
    = note: the trait cannot require that `Self : Sized` 

Hier die erhalten ist Ausgang dieser Prüfung, wenn ich kommentieren Sie die Zeile GetType::test_type::<TestTrait>();

"i32" 
"MyStruct" 

gibt es eine Möglichkeit, dies zu lösen oder die Typenbezeichnung eines Merkmals zu bekommen?

---

Arbeitslösung dank

#![feature(core_intrinsics)] 

use std::intrinsics::type_name; 

trait TestTrait { // <--- remove `: Sized` constraint from here 
    fn test(&self); 
} 

struct MyStruct {} 

struct GetType {} 

impl GetType { 
    fn test_type<T: ?Sized>() { // <--- trick is in that bound 
     let test = unsafe { type_name::<T>() }; 
     println!("{:?}", test); 
    } 
} 

fn main() { 
    GetType::test_type::<i32>(); 
    GetType::test_type::<MyStruct>(); 
    GetType::test_type::<TestTrait>(); 
} 

Führende der folgenden Ausgabe

"i32" 
"MyStruct" 
"TestTrait" 

Answer 1

Dies ist eigentlich explained in the docs ziemlich gut @evotopid:

Im Allgemeinen wird Self : Sized verwendet um anzuzeigen, dass das Merkmal nicht als Merkmalsobjekt verwendet werden soll. Wenn das Merkmal von Ihrer eigenen Kiste stammt, sollten Sie diese Einschränkung entfernen.

Wenn Sie Merkmal Objekte verwenden möchten, die ich dir raten wollen, denn sonst wäre es nicht sinnvoll, den Namen eines Merkmals zu erhalten, müssen Sie die Sized Einschränkung von Ihrer Eigenschaft Definition entfernen.

Sind Sie sicher, dass Sie intrinsische Substanzen benötigen? Höchstwahrscheinlich gibt es einen besseren Weg, der es Ihnen auch ermöglichen würde, in Zukunft stabile Rust zu verwenden.