rust学习二十.10、RUST高级范例之新范例模式和范例别名 ...

打印 上一主题 下一主题

主题 1933|帖子 1933|积分 5799

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?立即注册

x
这两个内容都比较容易明白。
一、新范例(newtype)模式

注意,这里说的是一种编程模式,不是说有一个叫newtype的范例。
这种编程模式的含义:为某个范例作个封装,构建一个新的范例,以便绕过某些束缚,从而达成特定目的。
目的如下:
a.用于抽象掉一些范例的实现细节
b.可以隐藏其内部的泛型范例
c.实现曲线救国
一个典型的例子,利用新范例绕过孤儿规则。
二、范例别名

语法
type  xxx=现有的范例
看起来有点像特质中的关联范例界说。
附:特质关联范例实现示例
  1. impl Fight for Person {
  2.     type Item = Animal;
  3.     fn attack(&self, other: &self::Item) {
  4.         println!(
  5.             "{}岁{}(性别:{}) 攻击了 {}岁{}",
  6.             self.age,
  7.             self.name,
  8.             self.sex,
  9.             other.age,
  10.             other.name
  11.         );
  12.     }
  13.     fn defend<T: Danger>(&self, danger: &T) {
  14.         println!("{},{}岁{}(性别:{}) 奋起并力图战胜它们",danger.happen(), self.age, self.name, self.sex);
  15.     }
  16. }
复制代码
要点
a.简化范例书写
b.使得代码更容易阅读
c.也更方便维护,例如如果许多方法都要求用同个范例,那么这样界说之后就不容易搞错,
  作用上和java中界说的枚举常量一个道理。
在rust的尺度库中,有不少的范例别名,例如Result等。
界说说明
a.可以为别名界说别名
b.没有明确的别名层级限定,意思就是你界说了别名a,然后基于a界说b,依次类推,可以界说type n=m..  .有多少层级限定不知道,不外界说个2次应该没有问题的。
 
rust的范例别名是一种类似Microsoft SqlServer自界说范例的东西。
在 SQL Server 中,可以通过 用户界说数据范例(User-Defined Data Types, UDT) 创建自界说范例,本质上是基于体系数据范例的别名,并附加约束或默认值。
例如:
  1. -- 创建类型:限制长度并校验格式
  2. CREATE TYPE dbo.Email
  3. FROM VARCHAR(255)
  4. NOT NULL
  5. WITH CHECK (CHARINDEX('@', value) > 0);
  6. -- 使用类型
  7. CREATE TABLE Users (
  8.     UserID INT PRIMARY KEY,
  9.     UserEmail dbo.Email
  10. );
  11. -- 测试插入
  12. INSERT INTO Users VALUES (1, 'test@example.com');  -- 成功
  13. INSERT INTO Users VALUES (2, 'invalid-email');     -- 失败,触发 CHECK 约束
复制代码
只要做过数据库设计,就知道这个东西多好用! 好记、容易保证相同的属性使用相同的范例、维护也非常容易。
如果修改了type,就会发现有的时候,这真是一个绝妙的注意。
这种好东西在postgresql和mysql(8以上)都有类似的实现。
 
以是,毫无疑问,在rust中这是一个绝妙主意,由于我们都知道rust的范例之复杂貌寝是出名的,有的时候让民气烦,又会耗费许多时间打字,而又了别名就会在某些情况下,大大改善这个征象。
 
三、新范例示例
  1. use student::*;
  2. use teacher::*;
  3. fn main() {
  4.     let lml = Studentinfo {
  5.         name: String::from("lml"),
  6.         age: 18,
  7.         gender: String::from("女"),
  8.         no: String::from("12101"),
  9.     };
  10.     print_student(&lml);
  11.     lml.learn();
  12.     lml.sleep();
  13.     let lu = Teacherinfo {
  14.         name: String::from("lu"),
  15.         age: 46,
  16.         gender: String::from("男"),
  17.         position: String::from("教研组长"),
  18.     };
  19.     lu.teach_student(&lml);
  20.     print_teacher(&lu);
  21.     let _me = Box::new(String::from("中国"));
  22.     let my_lu = MyTeacherinfo(lu);
  23.     my_lu.print();
  24. }
  25. struct MyTeacherinfo(Teacherinfo);
  26. impl Print for MyTeacherinfo {
  27.     fn print(&self) {
  28.         println!(
  29.             "教师基本信息-姓名:{},年龄:{},性别:{},职位:{}",
  30.             self.0.name, self.0.age, self.0.gender, self.0.position
  31.         );
  32.     }
  33. }
复制代码
本例中,Teacherinfo是外部包范例。
四、范例别名示例

[code]struct Person {    name: String,    age: u8,}type Teacher = Person;type Student = Person;type GoodPeople = Student;type Thunk = Box
回复

使用道具 举报

0 个回复

倒序浏览

快速回复

您需要登录后才可以回帖 登录 or 立即注册

本版积分规则

惊雷无声

论坛元老
这个人很懒什么都没写!
快速回复 返回顶部 返回列表