Rust中struct的声明与定义区别及字段销毁顺序疑问

一、声明与定义的区分 #

• 第一段代码struct Example { x: i32, y: i32 }：既是声明也是定义。它告诉编译器存在Example这个结构体类型（声明），同时明确了它的字段组成（定义）。Rust里结构体的声明和定义通常是合并的，不像C/C++那样分开写声明和实现。
• 第二段代码里的Example { y: 43, x: 42 }：这是结构体实例的初始化代码，既不是声明也不是定义，只是创建Example类型的具体对象，赋值顺序不影响结构体本身的类型定义。

二、结构体字段的销毁顺序 #

Rust参考文档提到的“声明顺序”，指的是结构体定义时的字段顺序（即第一段代码里x在前、y在后的顺序），和实例化时的赋值顺序完全无关。

Rust对结构体字段的销毁规则是逆着定义顺序销毁：最后声明的字段先被销毁，然后是前一个，以此类推。比如你的Example结构体，销毁时会先销毁y，再销毁x，不管你实例化时写的是y还是x先。

三、实现字段销毁时打印消息的正确方式 #

因为i32这类基本类型没有析构逻辑，要实现销毁时打印，需要把字段包装成自定义类型并实现Drop trait：

// 自定义一个会在销毁时打印的类型
struct LogOnDrop(String);

impl Drop for LogOnDrop {
    fn drop(&mut self) {
        println!("{} 已销毁", self.0);
    }
}

// 使用自定义类型定义结构体
struct Example {
    x: LogOnDrop,
    y: LogOnDrop,
}

fn main() {
    let _ex = Example {
        // 实例化时顺序不影响销毁顺序
        y: LogOnDrop("y字段".to_string()),
        x: LogOnDrop("x字段".to_string()),
    };
    // 函数结束时_ex离开作用域，自动触发销毁
}

运行后输出结果：

y字段 已销毁
x字段 已销毁

这符合“逆定义顺序销毁”的规则——y是定义里的第二个字段，所以先被销毁。

内容的提问来源于stack exchange，提问作者cyborg