06｜复合类型（下）：枚举与模式匹配

老师，看到里面的一个例子，我产生了一些疑问。我先举个例子： ``` fn main() { let s = String::from("Hello"); let p = &s; let s2 = *p; } ``` 如果直接将 s 赋值给 s2，那么毫无疑问会发生移动，s 不再有效。但如果是对 s 的引用进行解引用，那么编译器会提示无法移动，这是啥原因呀。我自己有一个猜测，因为 Rust 默认不会深度拷贝数据，所以如果 let s2 = *p 这条语句成立，就意味着要夺走 s 的所有权。但我们之所以要获取引用，就是为了不夺走原有变量（s）的所有权，于是在这种情况下，Rust 干脆提示不允许我们移动，除非它实现了 Copy trait，数据全部在栈上，浅拷贝之后数据彼此独立。 这样理解是正确的吗？Rust 的一些概念比较相似，容易出现混乱，所以想问问老师。 基于上面这个例子，再来看看文中的一个例子。 ``` enum MyEnum { Add, Subtract, } impl MyEnum { fn run(&self, x: i32, y: i32) -> i32 { // 这里的 self 显然是枚举的某个变体的引用 // 因为 MyEnum 没有实现 Copy trait，所以它和字符串一样，不能通过解引用赋值 // let obj = *self; 这里是不合法的，由于不是可 Copy 的，因此无法移动 // 但问题来了，为啥下面的代码是合法的，原文是 match self，但改成 match *self 也可以 match *self { Self::Add => x + y, Self::Subtract => x - y, } } } ``` 因此这是我的第二个疑问，为啥 let obj = *self 不合法，但 match *self 就是合法的。 还有第三个疑问，可能是受到 C 的影响，因为变量和指针是无法比较的。所以在看到 match self 的一瞬间，就忍不住试了一下 match *self，因为参数是 &self，所以 self 是枚举变体的引用。而 Self::Add 和 Self::Subtract 是具体的枚举变体，它们之间比较总觉得有些别扭，还是 match *self 看着顺眼。所以想问一下老师，为啥这两者能够比较。 以上就是我的一些疑问，还麻烦唐老师指导一下，Rust 的一些概念有点让人头晕。

1. 默认情况下，struct不能进行比较，需要为Shape类型实现PartialEq trait特征。 2. 方式一：使用枚举，该枚举类型的枚举值表示一个类型。 方式二：使用特征，所有的类型都需要实现该特征

作为静态类型语言，match 返回的类型必须在编译期就被确定，也就意味着 match 必须返回相同的类型。在这个前提下，如果要返回的类型，那么切入点就只能是：“返回同一个类型，但是这个类型能表示（承载）不同的类型”，那就只能是本节课将的枚举 enum 了。 ```rust enum Number { Int(i32), Float(f64), None } fn get_number(condition: i32) -> Number { match condition { 1 => Number::Int(10), 2 => Number::Float(3.14), _ => Number::None } } fn main() { let value = get_number(1); match value { Number::Int(i) => println!("int {}", i), Number::Float(f) => println!("float {}", f), Number::None => println!("not number"), } let value = get_number(2); match value { Number::Int(i) => println!("int {}", i), Number::Float(f) => println!("float {}", f), Number::None => println!("not number"), } let value = get_number(3); match value { Number::Int(i) => println!("int {}", i), Number::Float(f) => println!("float {}", f), Number::None => println!("not number"), } } ```

思考题： pub enum Result<T1,T2>{ V1(T1), V2(T2) } fn get_diff_value(number:i32) -> Result<i32,i32>{ let r = match number { 1 => Result::V1(1), _ => Result::V2(2) }; r } fn main(){ let r = get_diff_value(0); match r { Result::V1(x) => println!("V1={x}"), Result::V2(x) => println!("V2={x}") } } 聚合的代价是不是需要解聚合。。。。

老师，我有个问题，那个 ref name 那里是不是等于 &name，如果是的话，那不是相当于把一个 &String 赋值给了 String 么，还是说 rust 会自动用 &String 再去创建一个 String 然后给 name

上面的 ref 章节中，User.name 是 String 类型，为什么可以通过ref给它赋值 a.name 的引用

这一节 就值回票价了. 文中: [Rustc 小助手如此贴心，这种保姆级服务是你在 Java、C++ 等其他语言中感受不到的。] 个人感觉, Rustc 也像 大师样的,在编写代码的时候, 在人身边不厌其烦的指出潜在的问题,直到 编译成功.

1. enum变体可以挂载的类型是否就是对应了结构体的三种形态：单元结构体、元组结构体和命名结构体。 2. match表达式不同的返回类型可以使用enum进行聚合。

思考题：match各个分支返回值类型不同时，可以将各个类型实现同一个trait ，然后用Box将返回值包裹，返回值类型定义Box<dyn trait>。不知道还有没有其他办法

#[derive(Debug)] enum Type<T> { A(T), B(T), } fn match_type<T>(t1: Type<T>) -> T { let temp = match t1 { Type::A(a) => { a } Type::B(b) => { b } }; return temp; } 思考题 我尝试理解下了下 ，是想考 泛型么？