Rust中元组的评估顺序是什么？

Question

元组元素可能有副作用,其中一些可能依赖于其他元素.考虑这个程序:

fn main() {
    let mut v = vec![1, 2];
    match (v.pop(), v.pop()) {
        (Some(z), Some(y)) => println!("y = {}, z = {}", y, z),
        _ => unreachable!(),
    }
}

是输出y = 1, z = 2还是y = 2, z = 1？Rust Playground上的一些回合表明前者稳定在1.32.0,但如果我运行它多次,重新编译编译器,更改编译器版本等,它可能会改变.

是否有书面承诺或至少有意维持元组的特定评估顺序(例如深度优先和从左到右)？

Answer 1

是的,元组的评估顺序保证是从左到右(这也意味着深度优先,因为值必须完全构造).

不幸的是,我从未在任何可以找到的地方明确说明,但可以从Rust强大的向后兼容性保证中推断出来.改变评估顺序可能会引入太多破损,以至于不必认真考虑.

我还希望优化器可以在安全的情况下进行更改.例如,如果元组中的表达式没有副作用,那么对用户来说重新排序它们是不可见的.

也可以看看:

• Rust元组:评估顺序:左 - >对吗？
• Rust参考:表达式