basic/compound-type/enum

[giscus[bot]]

basic/compound-type/enum

https://course.rs/basic/compound-type/enum.html

[hom]

Option 确实是一个比较不错的设计，在 JavaScript 中比较混淆的就有 undefined 和 null，undefined 代表变量的值未定义，null 代表变量的值默认为空值。

[sunface]

是的，早年刚接触 js 的时候，也为这两个概念所困惑🤣

[appdev]

但是我举得 kotlin 的?机制比这个更好。主要是用起来方便，写起来更方便

[mingbai2006]

kotlin的？与rust的option有本质的不同，kotlin只是提示实用者值可能为null，而rust的这个option是永远不会为空，编译器也可以准确判断你有没有正确处理option的None值。rust的option设计其实非常像google库的Optional类，本质上就是对普通值的一种封装，让空值永远都不会出现

[walikaka2020]

枚举值关联类型的语法好混乱:
比如
enum Message {
Quit,
Move { x: i32, y: i32 },
Write(String),
ChangeColor(i32, i32, i32),
}
枚举值后的类型为匿名结构体Move {x: i32, y: i32},难道不应该为Move (struct{x: i32, y: i32})才更合理?
还有这个ChangeColor(i32, i32, i32),括号()本来就是元组类型的组成部分,难道不应该ChangeColor((i32, i32, i32))这样更合理吗?

[Ninephoenix9]

确实就是个语法糖，记住就好了，按你的写法虽然严谨但比较影响开发效率，写出的代码也比较难看。

[fadedzipper]

？
脑补在各个变体前面加上一个struct不就可以了？
前面各种元组结构体，单元结构体，不都是这么写的？
统一帮你省略了一个struct，不觉得非常的整齐吗？

[lorenzoyang]

？ 脑补在各个变体前面加上一个struct不就可以了？ 前面各种元组结构体，单元结构体，不都是这么写的？ 统一帮你省略了一个struct，不觉得非常的整齐吗？

确实，这么想感觉好统一

[xukp20]

我认为这里的枚举变体的形式是与Struct的三种形式相对应，即普通的含有字段的结构体、单元结构体和元组结构体，就和上面fad说的意思一样

[zhenzhenChange]

可以理解为枚举就是一个结构体集合。不同的结构体，它们的类型是不同的，而将它们内聚在一起，相当于赋予了一个namespace，取个新名字叫枚举。

[fatetoper]

枚举的例子只有声明，没有使用，能否加上

[trytew]

能说说一下枚举变量的所有权？感觉枚举类型的所有权不会被转移

[Lixuhuilll]

能说说一下枚举变量的所有权？感觉枚举类型的所有权不会被转移

和其他复合类型的所有权机制是一样的

[trytew]

和其他复合类型的所有权机制是一样的

后面试验了一下确实是这样的，这让我很好奇枚举到底是怎么一个内存结构？当它同时存在整型和元组/结构体成员的时候它为什么既能实现copy或者是所有权转移？在类型判断的时候显示它是一个枚举类型，一个复杂类型却可以按照不同类型的成员实现对应的行为

[Lixuhuilll]

和其他复合类型的所有权机制是一样的

后面试验了一下确实是这样的，这让我很好奇枚举到底是怎么一个内存结构？当它同时存在整型和元组/结构体成员的时候它为什么既能实现copy或者是所有权转移？在类型判断的时候显示它是一个枚举类型，一个复杂类型却可以按照不同类型的成员实现对应的行为

可以理解成c语言的union加了一个隐藏的typeID，这个typeID特定情况下会优化掉

[trytew]

可以理解成c语言的union加了一个隐藏的typeID，这个typeID特定情况下会优化掉

大概明白了，谢谢

[caoxiemeihao]

null 如果有值，一切正常；null 如果没值，直接崩溃。
Option 如果有值，一切正常；Option 如果没值，通过 match -> None 抛给用户处理。

简而言之，Rust：“你必须把可能的情况处理掉，这锅我不背”

[sunface]

是的，在 erlang 中我学到过一个道理：所有可能的错误都应该抛出来而不是藏起来，你们的说法有异曲同工之妙

[Rustln]

哈哈，道理是没错，然而大量的实际项目，我们都是使用 unwrap() 或者 expect() ~~，还是避免不了 panic ~~😁

[sunface]

panic也是抛出错误的一种方式嘛

[gldsly]

全处理的情况下，跟 go 的 if err != nil 就一样了，2333

[lonexw]

所以需要模式匹配和枚举大贤，代码还是很简洁的

[tabris233]

任何一张扑克，它的花色肯定会落在四种花色中，而且也只会落在其中一个花色上，

好奇的请教下，大小王算哪个花色？

[HLRJ]

666

[malyjacob]

🥜，你发现了盲点。

[Q3B0]

德扑没有大小王

[LennyNiu]

哈哈哈，就知道会有人问这个问题。其实在欧美大多数牌类游戏（德扑、桥牌等）都只用52张牌，大小王都只做替换牌、甚至只会印个广告之类的，不会参与正式的游戏，所以老外不考虑这个。只有亚洲某些地区在游戏中会使用大小王，所以如果你要开发斗地主，得自己再加一个枚举值，哈哈。

[fredlifeup]

又学到了，谢谢

[tabris233]

感觉 Rust 的这个枚举就是一个结构体的集合，里面可以包含普通结构体、元祖结构体、单元结构体。

[tabris233]

看习题里面，枚举值也是可以像其他语言内样跟整形互换。

[madaoCN]

Option 就类似 Swift 中的可选值，但是还是觉得 Swift 中的拆包好使些

var opValue: String?
if let opV = opValue { // 拆包
   ...
}

// 强制拆包, 为 none 则抛错
let opV = opValue!

[kikohz]

同意，Swift的Option 很好用

[CutieDeng]

快学 rust 的拆包语法！:)

[madaoCN]

快学 rust 的拆包语法！:)

哈哈哈😁，在路上在路上

[xujunjie-cover]

如果要使用 println!("{:?}",card); 打印枚举值，需要为枚举类型 PokerSuit 加上#[derive(Debug)]

[lemon5227]

提个建议，不要在练习里应到没学的语法，不如在教程里 枚举在数组前面，但是联系里 枚举在数组后面，导致联系里用了数组语法，但是我还没学

[zhwei820]

https://github.com/illicitonion/num_enum
Rust中enum和整数的互相转换
use num_enum::IntoPrimitive;

#[derive(IntoPrimitive)]
#[repr(u8)]
enum Number {
Zero,
One,
}

fn main() {
let zero: u8 = Number::Zero.into();
assert_eq!(zero, 0u8);
}

[shenyongqing]

哎，一个整数转enum都要第三方库

[ysy]

// 通过 `as` 可以将枚举值强转为整数类型
    assert_eq!(Number::One as i32, Number1::One as i32);
    assert_eq!(Number1::One as i32, Number2::One as i32);

[CelestialMelody]

枚举好抽象，，，写点已经理解的

• 查看变量类型

  use std::any::type_name;
  
  fn test_type<T>(_: T) {
    println!("{:?}", { type_name::<T>() });
  }

枚举

• 枚举成员没有具体说明类型时，整个枚举类型可以转化且只能转化为isize

  enum Number {
      Zero,
      One,
      Two,
  }
  
  test_type(Number::One);
  println!("{}", Number::One as i32); // 整个枚举类型可以被强转为isize
  
  enum Char {
      // c1 = 'a' as i8, // 只能是isize类型
      // c1 = 'a' as i64, //
      c1 = 'a' as isize,
      c2,
      c3,
  }
  let c1 = Char::c1;
  let c2 = Char::c2;
  let c3 = Char::c3;
  println!("{}", c1 as i8); // 这里可以转换为i8
  
  // println!("{}", c2); wrong
  
  // test_type(c1);// c1 不是基本类型 类型为 Char（枚举） 所有权转移
  
  test_type(c2);

• 同一个枚举类型下的不同成员还能持有不同的数据类型，任何类型的数据都可以放入枚举成员中

  enum Message {
      Quit,
      Move { x: i32, y: i32 },
      Write(String),
      ChangeColor(i32, i32, i32),
  }
  // 枚举成员本身是枚举类型---Message
  test_type(Message::ChangeColor);
  // 实例化后是一种类型 -- Message::ChangeColor::{{constructor}}
  test_type(Message::ChangeColor(1, 2, 3)); 

[CelestialMelody]

前面发现直接使用println!("{}"}无法打印初始化后的枚举值；

• 实际上与结构体类似，这种方式需要实现trait： std::fmt::Display；
• 如果没有实现且需要打印，需要使用使用 #[derive(Debug)] 对结构体或者枚举类型进行标记，再使用 println!("{:?}", s); ，才能对其进行打印输出

[confident-OH]

这里的枚举感觉更像是C的union

[malyjacob]

C的union不好用

[shenyongqing]

我也觉得enum就像一个命名的union

[MikeMMS]

看起来rust有好多函数式语言的特性hhh

[ixnij]

类比 Haskell，我感觉 struct 应该类似于使用了 newtype 且用上了 record syntax 的类型；而典型的枚举更像是 sum type，Option 感觉就是对应着（同构于）

data Maybe a = Just a | Nothing

[yif042]

赞同，Rust的enum就是sum type

[yif042]

Option的名称和Scala一样了
Option[T], Some[T], None -- Scala
Option<T>, Some<T>, None -- Rust

[yanghaku]

关于枚举类型的内存占用可以了解一下.

枚举类型可以分为两种, C语言内存布局一致的枚举类型 repr(C) 和 Rust中的枚举类型 repr(Rust), 这里只讨论后者.

rust中的枚举类型, 可以说是Tagged union, 可以分成tag和union两部分:

• tag 表明这是哪一类枚举成员
• union 保存枚举值的实例, 根据tag的不同而解释不同

大小占用 (最终的实际大小并不是 tag + union, 还会有数据对齐等编译优化):

• tag的占用大小根据枚举成员的种类数来确定, 1个bit可以表示两类, 1个byte可以表示256类.
• union的占用大小取每一种枚举成员实例大小的最大值.

tag和union占用大小都可以是0:

• 当每一种枚举成员都没有枚举值实例的时候, union部分占用大小为0.
• tag部分占用为0的不多见, 我当前只知道Option中的类型有些可以优化成0. 如Option<Box>, tag部分占用大小就是0, 具体的栗子可以看: stackoverflow: What is the overhead of Rust's Option type?

更细节的部分如repr(packed),repr(transparent)会在13.1.4 内存布局 里面讲到.

[jackyliu16]

想问下这里牵涉到的这个，是不是也算是语法糖的某一种，将u8的结构关联到枚举成员上，而非类似于别的语言比如java（似乎）使用的那种给枚举值赋值的操作？

enum Node{
a(u8),
b(u8)
};

[wsj6109118105]

done

[shi747826]

第三题这个if该要怎么理解，a和b是什么时候定义的？如果把if中的let拆出来该要怎么写

enum Message {
Quit,
Move { x: i32, y: i32 },
Write(String),
ChangeColor(i32, i32, i32),
}

fn main() {
let msg = Message::Move{x: 1, y: 1};

if let Message::Move{x: a, y: b} = msg {
    assert_eq!(a, b);
} else {
    panic!("NEVER LET THIS RUN！");
}

}

[LennyNiu]

这个里面a和b就是解构的时候花括号里{x: a, y: b}临时定义的，如果if成立，a和b就可以在分支里面直接用。
按照rust语法enum的实例结构时必须要处理enum的其它分支，即当msg不是Move类型的情况。所以硬拆出来也没什么区别：
let Message::Move{x: a, y: b} = msg else {todo!()};
println!("{}", a + b); //a和b可以直接用了
可以看到即使没有if也必须带else，不然编译器会报错

[quhw]

这个为啥叫枚举啊，这不就是ADT么，Haskell里面的Data。

[MTDickens]

你说的对，但是（我猜测）Rust 毕竟是一个给广大码农使用的语言，因此借用了 C++/Java 中的 enum 概念。

[lizheng2018CC]

这章节的课后练习可能不太友好，已经超纲这本书前面所讲的知识点了。建议不会的直接看答案，最后一题可以选择暂时不做。

[doooooit]

练习题第一题，这个教程里没说枚举值不能是浮点数啊

[saiumr]

习题的目录和文章目录不太一样，可能会出现超纲的现象

[tickscn]

花色加携带数字信息的枚举是不是就是结构体方式的语法糖。看定义枚举应该就是一种特殊的整数类型的，现在又能有其他类型的值

[raotaohub]

Option枚举仅有2种情况，Some 和 None , 在使用时通过匹配，显式编写2种情况的处理逻辑。在编译阶段就排除掉错误。
安全,安全，还是__的安全

[leookun]

some是一个monad？

[superggn]

有一说一， 我记得在前面说过实现链表是个大坑， 为撒我在课后练习里的第6题看到了链表...

[Skyfacon]

这个option跟scala中的optional 有点像哦

[Lixuhuilll]

C/C++的枚举里是数字，Java的枚举里是实例，Rust的枚举里像是子类型。

[l20]

这个Option真像js/ts里的可选链啊,防止出现空值程序崩溃。

let res = await get(http://**)
setRes(res?.data?.list)

[yu244]

习题超纲
习题 1，课程没说为什么直接通过 Zero = 0.0 的方式定义枚举必须是 isize 整数类型，浮点数不行。另外难道不应该定义的时候显示指定类型吗，不显示指定类型默认为 isize 通过 as 强制转换的方式是推荐用法吗。
习题 3，到目前为止还没讲到模式匹配的语法。
习题 6，实现链表.......