IT评测·应用市场-qidao123.com技术社区

标题: rust学习二十.9、RUST绕过孤儿规则实现特质和包装器缺点 [打印本页]
作者: 惊落一身雪    时间: 2025-4-3 16:59
标题: rust学习二十.9、RUST绕过孤儿规则实现特质和包装器缺点
回想下孤儿规则：
1.只有当一个trait或范例在当前的crate中界说时，才能为外部范例实现该trait。 没有限定是特质还是范例
反过来，如果特质和范例都是外部，那么不能在当前单位包实现
2.例外情况-std中特质是例外。大体验证了凡事都有例外
孤儿规则的目的：避免编译器无法确定应该用哪一个实现。
这个目的很容易理解。无论是否叫孤儿，绝大部分语言中都是类似的规则-不允许一个范例实现接口/特质的时候，有多处不一样代码。
 
书本上主要讨论怎样绕过孤儿规则，方案就是：对外部范例进行封装，构建一个新的本地范例，然后就可以实现本地范例的外部特质，从而间接实现外部范例的外部特质。
不外这本质上是一种绕干涉题的办理方案，在有些场合中也可以将就使用。在rust中有提到相对直接的办理方法，不外本文暂不叙述。
一、孤儿规则示例

如下图，这是一个包含了三个单位的工作空间：

其中wsmain是二进制单位，对于wsmain而言，student和teacher两个都是外部crate，看wsmain的Cargo.toml就明确了：
  1. [package]
  2. name = "wsmain"
  3. version.workspace=true
  4. edition.workspace=true
  6. [dependencies]
  7. student={path="../student"}
  8. teacher={path="../teacher"}
复制代码
本例中分别在teacher包中界说了特质Print，并在wsmain中实验为Teacherinfo(teacher中的struct）实现Print，为了节省篇幅，放在一起：
  1. //在teacher包
  2. pub trait Print{
  3.     fn print(&self);
  4. }
  5. pub struct Teacherinfo{
  6.     pub name: String,
  7.     pub age: u8,
  8.     pub gender: String,
  9.     pub position: String
  10. }
  11. //在wsmain二进制单元包中
  12. impl Print for Teacherinfo{
  13.     fn print(&self){
  14.         println!("{}",self.name);
  15.     }
  16. }
复制代码
如果你实验运行，那么回得到如下提示：

二、用包装类绕过孤儿规则

何谓包装类，此处不介绍，直接看示例代码：
  1. use student::*;
  2. use teacher::*;
  4. fn main() {
  5.     let lml = Studentinfo {
  6.         name: String::from("lml"),
  7.         age: 18,
  8.         gender: String::from("女"),
  9.         no: String::from("12101"),
  10.     };
  11.     print_student(&lml);
  12.     lml.learn();
  13.     lml.sleep();
  15.     let lu = Teacherinfo {
  16.         name: String::from("lu"),
  17.         age: 46,
  18.         gender: String::from("男"),
  19.         position: String::from("教研组长"),
  20.     };
  21.     lu.teach_student(&lml);
  22.     print_teacher(&lu);
  23.     let _me = Box::new(String::from("中国"));
  25.     let my_lu = MyTeacherinfo(lu);
  26.     my_lu.print();
  27. }
  29. struct MyTeacherinfo(Teacherinfo);
  30. impl Print for MyTeacherinfo {
  31.     fn print(&self) {
  32.         println!(
  33.             "教师基本信息-姓名:{},年龄:{},性别:{},职位:{}",
  34.             self.0.name, self.0.age, self.0.gender, self.0.position
  35.         );
  36.     }
  37. }
复制代码
在这个示例中，界说了一个新的结构，成员只包含一个Teacherinfo。用的是使用元组界说结构的方式。
看运行效果：

三、小结

这种利用包装模式绕过的方法有时候也能起到作用，只不外，我更乐意听到直面题目的方案。
利用包装模式是rust直常常提到的newtype模式的一种。所谓newtype，大概可以这样理解：基于特定构建一个新的范例，这样可以绕过一些题目，达成一些目的。
用包装器来绕过，还是有些小麻烦，倒也不是不能用!
 

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。



欢迎光临 IT评测·应用市场-qidao123.com技术社区 (https://dis.qidao123.com/) Powered by Discuz! X3.4