rust-quiz:030-clone-pointers.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 
use std::rc::Rc;

struct A;

fn p<X>(x: X) {
    match std::mem::size_of::<X>() {
        0 => print!("0"),
        _ => print!("1"),
    }
}

fn main() {
    let a = &A;
    p(a);
    p(a.clone());

    let b = &();
    p(b);
    p(b.clone());

    let c = Rc::new(());
    p(Rc::clone(&c));
    p(c.clone());
}

  • zst
    對於zst型別，是不佔用實際記憶體的。

  • 方法查詢
    T -> &T -> &mut T

  • p
    不難看出來，對於zst列印0，其他型別列印1。

  • a
    首先，A是zst，但是&A屬於引用，不是zst型別，列印1。
    a.clone()，A本身沒有實現Clone，因此方法查詢時就會找到&A。
    此時的&A 作為&T

      #[stable(feature = "rust1", since = "1.0.0")]
  impl<T: ?Sized> Clone for &T {
      #[inline]
      #[rustc_diagnostic_item = "noop_method_clone"]
      fn clone(&self) -> Self {
          *self
      }
  }

    已經實現了clone，型別不變，還是&A，列印1

  • b
    同樣的，()是zst，但是&()有大小，列印1。
    因為()實現了Clone，返回的當然是()，因此().clone()列印0

  • c
    Rc作為物件，本身肯定不是zst，列印1。
    同時rc的clone只是增加了引用計數，還是rc，列印1

111011

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

相關文章