Невозможно вызвать функцию со ссылкой на тип, реализующий признак

Question

У меня возникли проблемы с пониманием того, как работать с чертами и владельцами. Ниже приведен пример:

struct X([u8; 4]); 

impl X { 
    pub fn get(&self, n: usize) -> u8 { 
     self.0[n] 
    } 
} 

fn f1(x: &X) { 
    println!("{}", x.get(1)); 
    f2(&x); 
} 

fn f2(x: &X) { 
    println!("{}", x.get(2));  
} 

fn main() { 
    let z1 = X([1u8, 2u8, 3u8, 4u8]); 
    f1(&z1); 
} 

Но когда я пытаюсь создать черту (здесь XT) с get:

trait XT { 
    fn get(&self, n: usize) -> u8; 
} 

struct X([u8; 4]); 

impl XT for X { 
    fn get(&self, n: usize) -> u8 { 
     self.0[n] 
    } 
} 

fn f1<T: XT>(x: &T) { 
    println!("{}", x.get(1)); 
    f2(&x); 
} 

fn f2<T: XT>(x: &T) { 
    println!("{}", x.get(2));  
} 

fn main() { 
    let z1 = X([1u8, 2u8, 3u8, 4u8]); 
    f1(&z1); 
} 

Не удается скомпилировать со следующим сообщением об ошибке:

в признак XT не применяется для типа &T

Он работает, если я меняю f2(&x) на f2(x). Мое предположение заключалось в том, что замена типов по признакам, все будет работать.

Answer 1

Проблема в том, что вы пытаетесь пройти &&T до f2. Это означает, что он ожидает &T для реализации XT, и это не что вы сказали: вы сказали, что T реализует XT.

Вы можете изменить f1 правильно выразить это ограничение, используя пункт where T: XT, for<'a> &'a T: XT, но тогда вы не можете позвонить f1 из main потому &X не реализует XT. Итак, вы идете и добавляете реализацию для , а также и , тогда код работает ... но, честно говоря, проще просто удалить это & и вместо этого позвонить f2(x).

Говоря иначе: просто потому, что тип реализует признак не средних указателей к этому типу также реализации признака.