主页 / coding / 问题 / 77221233
Accepted
Pioneer_11
Asked: 2023-10-03 17:53:01 +0800 CST

映射如何通过不可变引用获取部分所有权

  • 772

我正在尝试编写一个函数来查找一手牌的价值。作为其中的一部分，我需要检查这手牌是否是同花。我这样做的代码是：

use itertools::Itertools;     // allows use of .all_equal()

fn find_hand_value(player_hand: Hand) {
    let is_flush: &bool = &player_hand.cards.map(|card| card.suit).iter().all_equal();
    // ... further checks
    println!("{:?}", player_hand)    // print takes ownership to represent further use of the hand
    // return hand value
}

但是，如果您尝试运行此代码，您将遇到一个错误，显示player_hand.cards由于方法调用而已部分移动map。考虑到地图是在不可变的借用上调用的，player_hands我不明白这是怎么可能的，因为它似乎与 Rust 的借用规则直接矛盾。

有人可以解释一下这里发生了什么以及如何/为什么可能吗？谢谢，

对于上下文：

#[derive(Debug)]
struct Hand {
    cards: [Card; 5],
}

#[derive(Debug)]
struct Card {
    suit: Suit,
    value: Value,
}

#[derive(Debug, PartialEq, Eq)]
enum Suit {
    Hearts,
    Diamonds,
    Spades,
    Clubs,
}

#[derive(Debug, Ord, PartialOrd, Eq, PartialEq)]
enum Value {
    Two,
    Three,
    Four,
    Five,
    Six,
    Seven,
    Eight,
    Nine,
    Ten,
    Jack,
    Queen,
    King,
    Ace,
}
dictionary

1 个回答

  1. Best Answer

    考虑到地图是通过不可变的player_hand借用来调用的

    那不是真的。拥有find_hand_value，player_hand并且数组上的map函数拥有该数组的所有权：

    impl<T, const N: usize> [T; N]

pub fn map<F, U>(self, f: F) -> [U; N]
where
    F: FnMut(T) -> U,

    这里有两件事可能会令人困惑。

    你不借

    首先，您可能会想到这一行：

    &player_hand.cards.map(|card| card.suit).iter().all_equal()

    借入player_hands.cards并赎回map。但这不是如何解析的，实际上是这样的：

    &(player_hand.cards.map(|card| card.suit).iter().all_equal())

    所以只是借用返回bool值（无用）。你可以明确地写：

    (&player_hand.cards).map(|card| card.suit).iter().all_equal())

    然后你会得到一个不同的错误，告诉你map 不能在借用时调用：

    error[E0508]: cannot move out of type `[Card; 5]`, a non-copy array
 --> src/main.rs:5:20
  |
5 |     let is_flush = (&player_hand.cards).map(|card| card.suit).iter().all_equal();
  |                    ^^^^^^^^^^^^^^^^^^^^^---------------------
  |                    |                    |
  |                    |                    value moved due to this method call
  |                    cannot move out of here
  |                    move occurs because value has type `[Card; 5]`, which does not implement the `Copy` trait
  |
note: `array::<impl [T; N]>::map` takes ownership of the receiver `self`, which moves value

    错误的map

    另一件事是，有一个map大多数人都熟悉的 可以在 an 上调用Iterator，它可以从借用的切片中获得iter。这里的解决方法是......移动调用并从以下位置开始iter：

    player_hand.cards.iter().map(|card| card.suit).all_equal()

    这仍然无法编译，因为Suit不是复制，所以地图尝试移动它，但这一个相当简单，就derive(Clone, Copy)在Suit.

    • 2

相关问题