rust-quiz:014-trait-autoref.rs

trait Trait: Sized {
    fn is_reference(self) -> bool;
}

impl<'a, T> Trait for &'a T {
    fn is_reference(self) -> bool {
        true
    }
}

fn main() {
    match 0.is_reference() {
        true => print!("1"),
        false => print!("0"),
    }

    match '?'.is_reference() {
        true => print!("1"),
        false => {
            impl Trait for char {
                fn is_reference(self) -> bool {
                    false
                }
            }
            print!("0")
        }
    }
}

• 方法查詢
  對於T，首先查詢T下面的方法，如果找不到，會查詢&T的方法。

• impl
  對於impl，不存在所謂的域的作用，只有條件編譯。
  不論放在哪裡，它都會經過編譯。

針對第一個match，&0被查出了方法，所以匹配上了true。
這次列印1。

對於第二段match，主要是impl的生效時機。
因為載入並不在於程式碼所在的域，因此對於char，該方法會返回false。
所以，列印0。

10

本作品採用《CC 協議》，轉載必須註明作者和本文連結