列挙型内のパラメータへの参照

Question

以下のコードは、「借用したコンテンツから移動できません」というエラーを示しています。私は、これについて既に多くの質問があることを知っています。私は、Rustを使用しているすべての人が、ここで自分自身をある時点で見つけて、所有権で何が起こっているのかを正確に把握しようとしていると思います。私はここで何が起こっているのか、どのように修正するのかを知っていると思います。私はこの特定の場合に参照を使用する方法を知らないだけです。私がしようとしていることを達成するためにもっと慣れ親しんだ方法があるなら、コメントに私に教えてください。

私は所有権を取得しようとしている場所を見ることができますが、代わりに参照を使用する方法がわかりません。

のはやや最小限の例を見てみましょう：

/* I define two shape structs. The main point here is that they 
are not default copyable, unlike most primitive types */ 

struct Circle { 
    center_x: f64, 
    center_y: f64, 
    r: f64, 
} 

struct Square { 
    center_x: f64, 
    center_y: f64, 
    length: f64, 
} 

/* this enum will be a container for shapes because we don't know 
    which shape we might need. */ 

enum Shape { 
    // these are scoped differently, so it's okay. 
    Circle(Circle), 
    Square(Square), 
} 

/* I'm making cookies, each cookie has a shape */ 
struct Cookie { 
    shape: Shape, 
} 

/* All of the above was setup, here is where we find errors */ 

impl Cookie { 

    /* checks if two cookies have the same radius. squares -> false */ 

    fn has_same_radius(&self, other_cookie: &Cookie) -> bool { 
    // fn has_same_radius(self, other_cookie: Cookie) -> bool { 

    /* swapping the above two lines will remedy the error, 
     but I don't want this function to take ownership of either */ 

     match self.shape { 

      /* As soon as I declare c1, I'm taking ownership of self.shape 
       and therefore self as well. This is in spite of the fact 
       that I never plan to alter anything. 
       How can I simply use a reference to c1> */ 

      Shape::Circle(c1) => match other_cookie.shape { 

       /* same thing here with c2 */ 
       Shape::Circle(c2) => { 
        if c2.r == c1.r { 
         return true; 
        } 
       } 
       Shape::Square(_) => return false, 

      }, 
      Shape::Square(_) => return false, 
     } 
     return false; 

    } 

} 

私はShape列挙型に一致した場合、私は唯一のShapeにカプセル化されたパラメータを参照したいが、私は参照を使用しておりませんので、私がしようとしていますCookie構造体全体の所有権を取得します。

Answer 1

変更

.... 
Shape::Circle(c1) => ... 
.... 
Shape::Circle(c2) => ... 
.... 

.... 
Shape::Circle(ref c1) => ... 
.... 
Shape::Circle(ref c2) => ... 
.... 

Playground

let ref x = y;と基本的let x = &y;のパターンマッチングのバージョンです。

Answer 2

WiSaGanが指すように、含まれている値への参照を作成するには、refパターンを使用する必要があります。

impl Cookie { 
    fn has_same_radius(&self, other: &Cookie) -> bool { 
     match (&self.shape, &other.shape) { 
      (&Shape::Circle(ref c1), &Shape::Circle(ref c2)) => c1.r == c2.r, 
      _ => false, 
     } 
    } 
}