struct - Rust 中是否保证了初始化结构字段的顺序？

Question

我在Constructors - The Rustonomicon中找不到对此的任何引用。是不是保证下面的代码……</p>

struct Mutates {
    n: usize,
}

impl Mutates {
    fn side_effects(&mut self) -> usize {
        self.n += 1;
        self.n
    }
}

#[derive(Debug)]
struct Struct {
    a: usize,
    b: usize,
}

fn main() {
    let mut m = Mutates { n: 0 };

    // note the order of the fields
    dbg!(Struct {
        a: m.side_effects(),
        b: m.side_effects(),
    });
    dbg!(Struct {
        b: m.side_effects(),
        a: m.side_effects(),
    });
}

…总是会打印以下内容？

[src/main.rs:22] Struct{a: m.side_effects(), b: m.side_effects(),} = Struct {
    a: 1,
    b: 2,
}
[src/main.rs:26] Struct{b: m.side_effects(), a: m.side_effects(),} = Struct {
    a: 4,
    b: 3,
}

还是编译器可以分配不同的值？

请注意，问题是关于字段的初始化顺序，而不是声明。

请注意，这个问题是专门询问结构而不是元组，这是由Rust 中元组的评估顺序是什么来回答的？.

标签： structrustinitialization

Answer 1

是的，这是有保证的。编译器团队贡献者Ralf Jung在Zulip 上证实了这一点：

结构字段的初始化顺序是否得到保证？

拉尔夫：

是的 - 它始终是您在初始化程序中写入字段的顺序

结构定义中字段的顺序无关紧要