15、Encapsulation（封装）

2025-9-2

Encapsulation（封装）

封装

既然我们已经对模块和可见性有了基本的了解，那么让我们回到封装上来。

封装是隐藏对象内部表示的做法。它最常用于强制实施对象状态的一些不变性（invariants）。

让我们回顾Ticket结构体

struct Ticket {
    title: String,
    description: String,
    status: String,
}

如果所有字段都是公有的，那么这里就没有封装。

我们必须假设这些字段可以随时修改，并设置为其类型允许的任何值。也不能排除title为空或status没有意义等情况（也就是说要保留字段合法性检查）

为了实现我们上面提到过的规则，或是实现更加严格、复杂的规则，我们必须将字段设置为private，避免外部直接修改字段，而绕过自定义的合法性检查代码。为了确保能够修改，正常使用这个实例，我们要提供与Ticket实例交互的public方法，这些方法负责维护我们的对象状态的不变性（invariants）。

如果至少有一个字段是私有的，那么就无法再使用结构体实例化语法直接创建Ticket示例：

// This won't work!
// 这将不会工作！
let ticket = Ticket {
    title: "Build a ticket system".into(),
    description: "A Kanban board".into(),
    status: "Open".into()
};

上一个关于可见性的章节的课后习题，就体现了这一点，最后我是把所有字段都设置为了public才可以操作。

那么，现在我们就必须提供一个或多个公共的构造函数——就是可以从模块外部使用的静态方法或函数，可以调用以创建结构体的新实例。

幸运的是，我们已经有了一个这样的构造函数，就是Ticket::new，在Validation这一节（其实就是String那一节，因为RustRover给的知识点很少，我专门去别的地方学习的字符串类型）实现了。