rust-quiz:015-inference-of-number-type.rs

godme發表於2022-07-12
RustUI
系列文章：
rust-quiz:001-macro-count-statements.rs rust-quiz:002-bitand-or-reference.rs rust-quiz:003-mutate-const.rs rust-quiz:004-dotdot-in-tuple.rs rust-quiz:005-trait-resolution-hrtb.rs rust-quiz:006-value-of-assignment.rs rust-quiz:007-surprise-wildcard-match.rs rust-quiz:008-tokenize-punctuation.rs rust-quiz:009-opaque-metavariable.rs rust-quiz:010-shadowed-trait-object-method.rs rust-quiz:011-function-pointer-comparison.rs rust-quiz:012-binding-drop-behavior.rs rust-quiz:013-mutable-zst.rs rust-quiz:014-trait-autoref.rs rust-quiz:015-inference-of-number-type.rs rust-quiz:016-prefix-decrement.rs rust-quiz:017-unary-decrement.rs rust-quiz:018-method-or-function-pointer.rs rust-quiz:019-dropped-by-underscore.rs rust-quiz:020-break-return-in-condition.rs rust-quiz:021-closure-or-logical-or.rs rust-quiz:022-macro-tokenize-number.rs rust-quiz:023-inherent-vs-trait-method.md rust-quiz:024-local-and-const-hygiene.rs rust-quiz:025-unit-infallible-match.rs rust-quiz:026-iterator-lazy-map.rs rust-quiz:027-subtrait-dispatch.rs rust-quiz:028-underscore-prefix.rs rust-quiz:029-tuple-trailing-commas.rs rust-quiz:030-clone-pointers.rs rust-quiz:031-method-lookup.rs rust-quiz:032-or-pattern-guard.rs rust-quiz:033-range-full-method.rs 
trait Trait {
    fn f(&self);
}

impl Trait for u32 {
    fn f(&self) {
        print!("1");
    }
}

impl<'a> Trait for &'a i32 {
    fn f(&self) {
        print!("2");
    }
}

fn main() {
    let x = &0;
    x.f();
}

  • 0
    如果沒有明確宣告的情況下，x的型別其實是&{integer}。

  • 查詢
    方法查詢首先從T開始，如果找不到，然後查詢&T下的方法。

現在回過頭看一下，如果

let x = &0i32

列印的結果就一定會是2。
但其中出現兩個問題

  • x的型別是&integer，還沒有足夠明確
  • 方法查詢優先T，然後再進行引用的查詢

因此，對於u32和&'a i32，除了u32和i32的區別。
更重要的是T和&T的區別。

因為&integer型別的可變性，首先會進行T的查詢。
當發現變換&integer就可以進行匹配的時候，那integer的具體型別就到此為止。
所以，這裡具體匹配的是u32，列印1。

1

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

相關文章