rust-quiz:025-unit-infallible-match.rs

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

use std::fmt::{self, Display};

struct S;

impl Display for S {
    fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
        formatter.write_str("1")
    }
}

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

fn f() -> S {
    S
}

fn main() {
    let S = f();
    print!("{}", S);
}

drop
當一個值失去全部引用的時候，生命就走到了終點，會呼叫drop。
經常出現的有三種情況
- 頂替：對一個變數重複賦值，老的值失去引用
- move：所有權進行轉移，新生
- 結束：脫離作用域

能夠想到的是，結果必然以為12進行結尾。
主要分析一下let S = f()。

fn  f()  -> S { S }

方法內部宣告瞭一個S，作為返回值，這裡發生了move。
因此會呼叫一次drop，因此會列印1。

212

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

rust-quiz:025-unit-infallible-match.rs

相關文章