Làm thế nào để yêu cầu một đặc tính trong một đặc điểm khác một cách chính xác?

Question

Tôi cố gắng để viết hai đặc điểm mà người ta đòi hỏi khác được triển khai và đã nhận lỗi này:

error[E0277]: the trait bound `T: ValTrait` is not satisfied 
    --> src/main.rs:20:1 
    | 
20 |/fn get<T: ValRequireTrait + std::fmt::Debug>(_t: T) { 
21 | |  println!("{:?}", T::VAL); 
22 | | } 
    | |_^ the trait `ValTrait` is not implemented for `T` 
    | 
    = help: consider adding a `where T: ValTrait` bound 
    = note: required by `ValRequireTrait` 

The code:

trait ValTrait<T = Self> { 
    const VAL: T; 
} 

trait ValRequireTrait<T: ValTrait = Self> {} 

#[derive(Debug, Copy, Clone)] 
struct A { 
    field: u64, 
} 

impl ValTrait for A { 
    const VAL: A = A { 
     field: 0u64 
    }; 
} 
impl ValRequireTrait for A {} 


fn get<T: ValRequireTrait + std::fmt::Debug>(_t: T) { 
    println!("{:?}", T::VAL); 
} 

fn main() { 
    let a = A { field: 6u64 }; 
    get(a); 
} 

Làm thế nào để làm điều này một cách chính xác? Nếu tôi làm những gì trình biên dịch nói tôi sẽ không cần ValRequireTrait vì nó sẽ vô dụng. Tôi muốn ValRequireTrait là một dấu hiệu cho thấy cấu trúc thực hiện đủ các phương pháp như tôi cần.

Nói cách khác, tôi mong đợi một yêu cầu như vậy được bắc cầu nên khi trong get() chức năng tôi yêu cầu một đặc điểm (ValRequireTrait), những người khác (ValTrait) sẽ được yêu cầu tự động mà không cần bất kỳ đặc điểm kỹ thuật trong các mã như trình biên dịch muốn.

Answer 1

Có vẻ như bạn muốn ValTrait là supertrait của ValRequireTrait. Một giới thiệu tốt có thể được tìm thấy trong the Rust book (2nd edition):

Sometimes, we may want a trait to be able to rely on another trait also being implemented wherever our trait is implemented, so that our trait can use the other trait’s functionality. The required trait is a supertrait of the trait we’re implementing.

Nếu bạn thay đổi dòng này:

trait ValRequireTrait<T: ValTrait = Self> {} 

vào đó, nó biên dịch tốt:

trait ValRequireTrait<T: ValTrait = Self>: ValTrait<T> {}