【unitrix】1.1 密封模式(srcsealed.rs)
一、原码
这段代码展示了一个在 Rust 中实现"密封模式"(Sealed Pattern)的典型方式。
//! 密封模式（Sealed Pattern）实现模块
//!
//! 此模块提供了使用密封模式限制 trait 实现的工具，
//! 确保只有当前 crate 内定义的类型能够实现特定 trait，
//! 从而保证 API 的稳定性。/// 密封 trait，用于限制 trait 的实现范围
///
/// 这个 trait 是私有的，外部 crate 无法实现它。
/// 通过将它作为其他 trait 的 supertrait，
/// 可以确保只有当前 crate 内的类型能够实现那些 trait。
///
/// # 设计模式参考
/// 这是 Rust 中常用的"密封模式"(Sealed Pattern)的实现，
/// 用于控制 trait 实现的可见性范围。
pub trait Sealed {}
二、工作原理和用途
密封模式的目的
-
限制 trait 实现范围：确保只有当前 crate 内定义的类型能够实现特定 trait
-
保证 API 稳定性：防止外部代码实现你的 trait，这样你可以在不破坏下游代码的情况下修改 trait
代码解析
pub trait Sealed {}
-
定义了一个名为 Sealed 的公开 trait
-
关键点：虽然 trait 本身是 pub 的，但它没有方法（只是一个标记 trait）
工作原理
- 作为 supertrait：当你想限制某个 trait 的实现时，可以这样定义：
pub trait MyRestrictedTrait: Sealed {// 方法定义
}
- 实现控制：
-
因为 Sealed 是 MyRestrictedTrait 的 supertrait
-
只有能实现 Sealed 的类型才能实现 MyRestrictedTrait
-
而 Sealed trait 虽然公开，但它的实现只能在当前 crate 内（因为没有文档化，且通常不会提供实现方法）
- 效果：
-
外部 crate 看到 MyRestrictedTrait 需要 Sealed，但无法实现 Sealed
-
只有当前 crate 内的类型可以实现 Sealed，从而可以实现 MyRestrictedTrait
为什么有效
Rust 的可见性规则：
-
即使 trait 是 pub 的，如果它的所有实现都必须使用私有类型或满足私有条件，那么外部仍然无法实现它
-
因为 Sealed 没有提供任何实现方式给外部 crate（没有方法且文档不公开如何实现）
使用场景举例
// 在当前 crate 中
struct MyType;impl Sealed for MyType {} // 只有当前 crate 能这样做impl MyRestrictedTrait for MyType {// 实现方法
}
外部 crate 尝试实现时会失败：
struct ExternalType;impl Sealed for ExternalType {} // 错误：无法为外部类型实现 crate 内部的 Sealed traitimpl MyRestrictedTrait for ExternalType {} // 错误：缺少 Sealed 实现
这是一种在 Rust 中优雅地限制 trait 实现的模式，被标准库和许多知名库广泛使用。