किसी अन्य विशेषता में सही तरीके से एक विशेषता की आवश्यकता कैसे है?

Question

मैं दो लक्षण जहां एक-दूसरे की आवश्यकता है लागू किया जाना लिखने का प्रयास किया और यह त्रुटि आई:

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); 
} 

कैसे सही ढंग से ऐसा करने के लिए? यदि मैं करता हूं कि संकलक कहता है कि मुझे ValRequireTrait की आवश्यकता नहीं होगी क्योंकि यह बेकार होगा। मैं एक निशान होने के लिए ValRequireTrait चाहता था कि संरचना की आवश्यकता के अनुसार पर्याप्त विधियों को लागू करता है।

दूसरे शब्दों में, मैं ऐसी आवश्यकता इसलिए सकर्मक जा जब get() समारोह में मैं एक विशेषता (ValRequireTrait) की आवश्यकता होती है उम्मीद, दूसरों (ValTrait) कोड संकलक चाहता है के रूप में किसी भी विनिर्देश के बिना स्वचालित रूप से आवश्यक हो जाएगा।

Answer 1

ऐसा लगता है कि आप ValTrait एक supertrait ValRequireTrait की होना चाहता हूँ। एक अच्छा परिचय 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.

आप इस लाइन को बदलते हैं:

trait ValRequireTrait<T: ValTrait = Self> {} 

यह करने के लिए, यह ठीक संकलित:

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