生命周期妨碍状态机返回到最新状态

Question

示例代码：

struct S1 {}
struct S2 {}
struct S3 {}

enum State {
    Zero,
    One(S1),
    Two(S1, S2),
    Three(S1, S2, S3),
}

struct Client {
    state: Option<State>,
}

impl Client {
    fn try_advancing(&mut self) {
        /* other code */
        if let Some(inner) = std::mem::replace(&mut self.state, None) {
            match inner {
                State::Zero => {
                    if predicate0() {
                        self.state = Some(State::One(S1 {}));
                    }
                    else {
                        // code won't compile as we
                        // no longer own inner after partial move
                        self.state = Some(inner);
                    }
                },
                State::One(s1) => {
                    if predicate1() {
                        self.state = Some(State::Two(s1, S2 {}));
                    }
                    else {
                        self.state = Some(inner);
                    }
                },
                State::Two(s1, s2) => {
                    if predicate2() {
                        self.state = Some(State::Three(s1, s2, S3 {}));
                    }
                    else {
                        self.state = Some(inner);
                    }
                },
                State::Three(..) => {
                    if predicate3() {
                        // something else happens now
                    }
                }
            }
        }
    }
}

我需要看一下state来决定是否移动到下一个过渡，但是如果我借用它，那么我无法过渡，因为我不拥有价值。

作为可能的解决方案，我可以使用

1. 智能指针

2. 第二个匹配语句（第一个借用并确定我们是否需要转换，第二个移动并进行转换）

3. 按原样“重建”枚举，即self.state = Some(inner);变为self.state = State::Zero;

4. 只借用内部的内容，直到我知道我要转让所有权，然后执行 if let，例如

State::One(ref s1) => {
   if predicate1() {
      if let State::One(s1) = inner {
         self.state = Some(State::Two(s1, S2 {}));

5. 导出Copy和Clone为单元结构。

所有这些解决方案都会产生运行时成本以及我认为不雅的代码。如果这是另一种语言，我可以按照我认为应该的方式编写算法，但是对于 Rust，生命周期似乎阻止了我这样做。如果只有一种方法可以告诉 Rust 编译器“在 if 语句的这个分支中，我想取消我的部分移动并inner回到原来的位置。” 或者，“是的，我借用了数据，但现在我不再需要这些引用并想要移动数据。” 有这样的方法吗？还是我没有考虑过的更好的选择？

Answer 1

您可以将ifs移动到火柴臂中，这样您就可以获得不同的绑定：

match inner {
    State::Zero if predicate0() => {
        self.state = Some(State::One(S1 {}));
    },
    State::Zero => {
        self.state = Some(inner);
    },
    State::One(s1) if predicate1() => {
        self.state = Some(State::Two(s1, S2 {}));
    },
    State::One(_) => {
        self.state = Some(inner);
    },
    State::Two(s1, s2) if predicate2() => {
        self.state = Some(State::Three(s1, s2, S3 {}));
    },
    State::Two(_, _) => {
        self.state = Some(inner);
    },
    // ... snip ...
}