rust-quiz:031-method-lookup.rs

godme發表於2022-07-15
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 Or {
    fn f(self);
}

struct T;

impl Or for &T {
    fn f(self) {
        print!("1");
    }
}

impl Or for &&&&T {
    fn f(self) {
        print!("2");
    }
}

fn main() {
    let t = T;
    let wt = &T;
    let wwt = &&T;
    let wwwt = &&&T;
    let wwwwt = &&&&T;
    let wwwwwt = &&&&&T;
    t.f();
    wt.f();
    wwt.f();
    wwwt.f();
    wwwwt.f();
    wwwwwt.f();
}
  • 方法查詢
    T -> &T -> &mut T
    而且不只一層，可以層層遞進。
    其中主要原因在於，&T和&mut T實現的方法會新增到T的列表中。
    但是，對於&T型別，一直找不到的情況下，會面臨*&T，查詢本體的方法。

這裡&T列印1，&&&&T列印2

  • t
    T -> &T，列印1

  • wt
    &T，列印1

  • wwt
    &&T -> &&&T -> &mut &&T -> &T，列印1

  • wwwt
    &&&T -> &&&&T，列印2

  • wwwwt
    &&&&T，列印2

  • wwwwwt
    &&&&&T -> &&&&&&T -> &mut &&&&&T -> &&&&T，列印2。

111222

這裡可以看出來，整體的特殊解析其實可以
T -> &T -> &mut T - - - > *(*T)
但是針對T而言，&操作只會深入一層，但是解引用defer會一直解析，知道查詢到對應的方法。

去掉對應的&&&&T方法實現，全部都將列印1。

impl Or for &&&&T {
    fn f(self) {
        print!("2");
    }
}
本作品採用《CC 協議》，轉載必須註明作者和本文連結

相關文章