Rust从入门到实战系列二百三十:newtype 模式用以在外部类型上实现外部 trait

在第十章的 ” 为类型实现 trait” 部分,我们提到了孤儿规则(orphan rule),它说明只要 trait 或类型
对于当前 crate 是本地的话就可以在此类型上实现该 trait。一个绕开这个限制的方法是使用 newtype
模式(newtype pattern),它涉及到在一个元组结构体(第五章 ” 用没有命名字段的元组结构体来创建
不同的类型” 部分介绍了元组结构体)中创建一个新类型。这个元组结构体带有一个字段作为希望实现
trait 的类型的简单封装。接着这个封装类型对于 crate 是本地的,这样就可以在这个封装上实现 trait。
Newtype 是一个源自(U.C.0079,逃)Haskell 编程语言的概念。使用这个模式没有运行时性能惩罚,这
个封装类型在编译时就被省略了。
例如,如果想要在 Vec 上实现 Display,而孤儿规则阻止我们直接这么做,因为 Display trait 和
Vec 都定义于我们的 crate 之外。可以创建一个包含 Vec 实例的 Wrapper 结构体,接着可以如
列表 19-23 那样在 Wrapper 上实现 Display 并使用 Vec 的值:
文件名: src∕main.rs
use std::fmt;
struct Wrapper(Vec);
impl fmt::Display for Wrapper {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, “[{}]”, self.0.join(", "))
}
}
19.2. 高级 TRAIT 503
fn main() {
let w = Wrapper(vec![String::from(“hello”), String::from(“world”)]);
println!(“w = {}”, w);
}
示例 19-23: 创建 Wrapper 类型封装 Vec 以便能够实现 Display
Display 的实现使用 self.0 来访问其内部的 Vec,因为 Wrapper 是元组结构体而 Vec 是结构体
总位于索引 0 的项。接着就可以使用 Wrapper 中 Display 的功能了。
此方法的缺点是,因为 Wrapper 是一个新类型,它没有定义于其值之上的方法;必须直接在 Wrapper
上实现 Vec 的所有方法,这样就可以代理到self.0 上 —— 这就允许我们完全像 Vec 那样对待
Wrapper。如果希望新类型拥有其内部类型的每一个方法,为封装类型实现 Deref trait(第十五章 ” 通过
Deref trait 将智能指针当作常规引用处理” 部分讨论过)并返回其内部类型是一种解决方案。如果不希望封
装类型拥有所有内部类型的方法 —— 比如为了限制封装类型的行为 —— 则必须只自行实现所需的方法。
上面便是 newtype 模式如何与 trait 结合使用的;还有一个不涉及 trait 的实用模式。现在让我们将话题
的焦点转移到一些与 Rust 类型系统交互的高级方法上来吧。

  • 10
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值