rust-quiz:028-underscore-prefix.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 
struct Guard;

impl Drop for Guard {
    fn drop(&mut self) {
        print!("1");
    }
}

fn main() {
    let _guard = Guard;
    print!("3");
    let _ = Guard;
    print!("2");
}
  • _
    之前有一個類似的案例，這裡的_並不回收宣告週期。
    但是，這裡需要重新明確的是
    • 以_作為首次宣告，標識馬上結束生命週期
    • 以_開頭的變數，宣告不結束宣告週期，後續_宣告結束宣告週期
    • _非首次宣告，不立即結束宣告週期

為了理解，我們舉出如下例子

  • 宣告即結束

    fn main() {
  let _ = Guard;
  print!("2");
}

    列印12

  • 宣告保留

    fn main() {
  let _a = Guard;
  print!("3");
  let a = Guard;
  print!("2");
}

    第二次宣告不是_，_a不作為_,不立即結束宣告週期。
    列印3211

  • 宣告傳遞

    fn main() {
  let _a = Guard;
  print!("3");
  let _ = Guard;
  print!("2");
}

    首次_a引用，第二次_宣告結束宣告週期，第二個_最後drop.
    列印3121

  • 就近影響

    fn main() {
  let _a = Guard;
  print!("3");
  let _b = Guard;
  print!("2");
  let _ = Guard;
  print!("4");
}

    列印321411。
    這裡只有_b在_宣告時進行了drop.

這裡看來，在_宣告的時候，_guard會進行drop。
根據上述原理，列印3121

3121

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

相關文章