Kullanılmayan bir tür parametresi etrafında çalışmak için herhangi bir yolu var mı?

Question

Kodu:

trait Trait<T> {} 

struct Struct<U>; 

impl<T, U: Trait<T>> Struct<U> {} 

Hata:

error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates 
--> src/main.rs:5:6 
    | 
5 | impl<T, U: Trait<T>> Struct<U> {} 
    | ^unconstrained type parameter 

O RFC 447 bu kalıbı yasaklamaktadır görünüyor; Bu konuda çalışmak için herhangi bir yolu var mı? İlişkili bir türe T değiştirerek çözülebileceğini düşünüyorum, ancak bu benim çoklu aktarım yapmamı engelliyordu.

Answer 1

yapı içinde kullanılmayan var A tipi parametresi PhantomData kullanabilirsiniz:

struct Struct<U> { 
    _marker: PhantomData<U>, 
} 

impl<U> Struct<U> { 
    fn example<T>(&self) 
    where 
     U: Trait<T>, 
    { 
     // use `T` and `U` 
    } 
}