Rust的ref关键字是否可以避免？

Question

为什么Rust有ref关键字？可以

match value.try_thing() {
    &Some(ref e) => do_stuff(e),
    // ...
}

不能由

match value.try_thing() {
    &Some(e) => do_stuff(&e),
    // ...
}

Answer 1

不，您建议的语法无法避免。您的语法不允许引用，否则将允许移动。在此示例中，inner是的整数副本，对其进行val更改不会影响val：

fn main() {
    let mut val = Some(42);

    if let &mut Some(mut inner) = &mut val {
        inner += 1;
    }

    println!("{:?}", val); // Some(42)
}

ref需要使用关键字来强制引用：

fn main() {
    let mut val = Some(42);

    if let &mut Some(ref mut inner) = &mut val {
        *inner += 1;
    }

    println!("{:?}", val); // Some(43)
}

Match人机工程学允许以更简单的方式编写代码：

fn main() {
    let mut val = Some(42);

    if let Some(inner) = &mut val {
        *inner += 1;
    }

    println!("{:?}", val);
}

但是，如果仅从这种语法开始，那么我们可能会遇到相反的问题和关键字，一个是强制移动。也许吧Some(move inner)。在该替代宇宙中，会有一个问题询问move关键字是否可以避免。

也可以看看：

• 在采用＆self或＆mut self的函数中进行模式匹配时，如何避免使用ref关键字？
• Rust模式匹配如何确定绑定变量是引用还是值？
• 为什么在模式匹配中使用ref而不是星号？
• 与枚举引用匹配的语法是什么？
• 例如：Rust：ref模式