basic/match-pattern/option

[giscus[bot]]

basic/match-pattern/option

https://course.rs/basic/match-pattern/option.html

[hom]

此处的 Option<T> 解构相当于使用其他语言中的三目运算符 condition ? value : value 来赋值

[lonexw]

不能这么理解，没有啥类比的地方

[xhp281]

类似于swift里面的可选类型

[CynicalHeart]

不要从执行效来靠其他语言，完全不是一种东西。Rust通过模式匹配方式，返回表达式，达到了三目赋值的效果。

[leookun]

我认为这和函数式编程中的Maybe没有任何区别，在运行中没必要取T值出来，只有在最后才需要取出来，所以估计它和map方法有不解之缘。但是似乎这里没有提到

[liang4work]

有点python语法里的解包(unpacking)内味

[9a-aaaaaaaa]

i am a looser

[Skyfacon]

谢谢你，给我枯燥的学习生涯带来一丝快乐

[Edmon-Leo]

这是啥梗吗

[p0lar1z8421]

looser 和 loser

[17998384]

乐子

[creeper12356]

haha

[allrightsreserved]

Some(5)与match 模式中分支 Some(i)匹配，i被解构成5.

[yif042]

从ADT(algebraic data type)角度理解，要比从null角度理解更好。

[popuper]

I am a looser

[ZLD1819858]

你哪里松？

[appdev]

是不是等同于
if ( x == null ) null else x

[ZLD1819858]

emm这个有点生硬，不能这么理解。

[anson0370]

Option<T> 这个东西在不少现代语言里都有，Java 也在 8 中引入了 Optional<T> ，但因为历史包袱不可能放弃 null 。虽然效果上和你说的这个类似，但不建议对等起来理解。
以 Java8 同时存在 null 和 Optional<T> 为例，任何类型都可能为 null 值，很难在编译期做检查，从而导致在运行期产生 NPE ，而 None 是一个有明确类型的 object ，可以在编译期检查，也永远不会 NPE ，你必须处理它。
Kotlin 通过 nullable type 来实现同样的目的，也可以参考一下。

[JoshuaGhost]

感觉不是很一样，楼主的if那句话对应python中的
None if x is None else x
这里None是一个特殊的值，它也有自己的类型<class 'NoneType'>

而Optional则涉及到元编程的内容了，对应在python中应该（勉强）对应于
typing.Optional

[lizheng2018CC]

学了大半节了还是没理解这个Option有何意义。但是肯定不是楼上这种理解，不然和null就没啥区别了。

[Lixuhuilll]

Option就是希望取代null，传统的null会导致NPE问题，而Option里的None在同样表示了“空”这个意义的同时，没有NPE的隐患

[worldstearly]

飘了，没看到习题

[marunrun]

Option<T> 可以理解为 kotlin 里的 T?

[junerver]

可以这么理解，或者理解成 Result 这种包装类型，只不过他的 error 是 None

[lfod1997]

I am tighter

[leookun]

Option其实是Maybe类型(函数式编程中的可有可无的类型)。
不能一直match出真实的T值来搞事情，否则使用它几乎没有实际意义。正确姿势是使用map
注意看下面的代码：

Some(3).map(|x|x+1).map(|x|x*2);

你可以安全的对一个可能是3的值进行运算，match是在最终发射的时候才使用的

[leookun]

 println!(
        "{}",
        Some(3)
            .map(|x| x + 1)
            .map(|x| x * 2)
            .expect("报错了，他是空的")
    )

[junerver]

haskell 既视感

[Nonthingwrong]

新手很难理解 几点：
1 枚举是数据结构类型，怎么应用，怎么应运而生的？
2 vec那个也是数据类型？
3 some是标准 库函数？怎么用？

[Misakait]

java里面的optional?

[rabbit666666]

1. 当一堆数据中，既有有值（T），也有空值（None），配合上math Option可以很方便的处理这两种分支。
2. 由于可以很方便的处理空值，所以Rust使用Option作为它对数据的标准处理。

[caizhx]

感觉不如kotlin的 T? 优雅

[Mu-Tsing]

1. “类似于……中XX”的评论都忽略了一个事情，你只是在寻求认同、并把你自己的私人语言公开化；因此，所有的类比我自己的观念中都要一棒子打死，这不是在表达新知，只是在寻求类似于一个 father/mother 的认同和传递新的偏见。

2. 关于解构（deconstructor）的一种类型论解释：
   如果诸位对类型论有一丝丝的了解，应该知道：新类型的定义往往需要一个构造器和一个解构器（consturctor, eliminator）。抛开该类型上的函数可能产生此类型之外，基础类型只能通过构造器实现，这保证了一个逻辑事实：forall a : A, 存在恰好一个 pattern 让他成立。

这个事实能够保证的前提是一个关键词或者某种实现手段让你的类型是 “要么 1， 要么2， ……”，也就是 rust 里的 enum，在类型论中是 Sum Type （OR 的韵味）。btw，struct 本身是 Product Type，同构于一个 fixed finite length tuple，因此可以使用 projection map （point.1） 或者命名式的 point.x 来调取一个属性。

回到话题，任何使用归纳类型定义的代数数据类型其 pattern matching 的实现和理解在我看来必须达到简单的类型论层次，或者你需要理解你在做的事情是一个 OR。其余类比三目运算符的都是偷懒耍滑。

甚者，如果你熟悉 FP 下的数据结构，纯粹使用构造器上的 pattern matching 和离散数学的归纳法证明会有很相似的地方，这也是达到 coding 和 math 同构的一个重要理解。