rust-quiz:012-binding-drop-behavior.rs

godme發表於2022-07-11
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 
struct D(u8);

impl Drop for D {
    fn drop(&mut self) {
        print!("{}", self.0);
    }
}

struct S {
    d: D,
    x: u8,
}

fn main() {
    let S { x, .. } = S {
        d: D(1),
        x: 2,
    };
    print!("{}", x);

    let S { ref x, .. } = S {
        d: D(3),
        x: 4,
    };
    print!("{}", x);
}

當物件生命週期結束之後，才會進行drop。
額外的地方需要注意兩點

  • 引用：如果存在引用，是不會進行drop的
  • 轉移：當發生move的時候，可以看做老變數的移除，需要drop

    最奇葩的move，不是值轉移，而是值唯一。
    當二次進行宣告的時候，為了保證一個值就只有一個引用。
    第二個值繫結會強制取消第一個值繫結，就會呼叫drop。

這裡主要問題是在於，匹配的物件的生命週期。
對於第一個

    let S { x, .. } = S {
        d: D(1),
        x: 2,
    };
    print!("{}", x);

因為作為值匹配，S中的值，在匹配完成以後就move了。
因此，這裡會對內部的變數進行drop，執行D(1)中的drop，列印12。

第二個

    let S { ref x, .. } = S {
        d: D(3),
        x: 4,
    };
    print!("{}", x);

這裡主要是使用的是ref x，實際上獲取的是一個引用，並沒有發生值的move。
因此，原始的值隨時都可能繼續使用，只有在程式結束才進行drop。
這裡會列印43。

1243

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

相關文章