too-many-lists/ok-stack/type-optimizing

[giscus[bot]]

too-many-lists/ok-stack/type-optimizing

https://course.rs/too-many-lists/ok-stack/type-optimizing.html

[SevenThrees]

impl Drop for List 为什么需要引入两个T，如果只是需要知道内存大小或者函数处理类型一个T不就可以？

[SlowSlicing]

这里前边的 T 表示声明泛型类型，后边的 T 代表了具体的某一个类型。

[zhenzhenChange]

impl<T> Drop for List<T>中，第一个T表示泛型，第二个T是和List共同成为的一个整体，表示类型List<T>。

[Kev1n3zz]

为什么不直接写

type List = Option<Box<Node>>

#[derive(Clone)]
struct Node {...}

呢？
这样是否更好理解？

[linuxing3]

大概是因为链表一般有需要一个头部指针，用于访问其中的头节点

[montmorill]

这样写你不好 impl 了啊，总不能在 Node 上 impl 吧，要是这样的话 List 也没有意义，况且这样应该很难实现的吧

[minminm]

Option能用map本质是因为Option可以作为迭代器，具体可以看这个的介绍https://rust-unofficial.github.io/patterns/idioms/option-iter.html

[ADkun]

但是Option::map并不是Iterator trait的方法

[lst20082008]

我有点不明白，为啥要手动impl Drop？
当list被drop的时候，难道不会自动释放head吗？

[Im-not-shuo]

没仔细看13.2吧。链表如果很长的话，默认的drop会因为递归过深导致爆栈