23｜类型系统：如何在实战中使用泛型编程？

impl Iterator for Equation<Quadratic> 判断返回 None 的地方是不是应该写成 `if self.current >= u16::MAX as u32`，不然会有逻辑错误。

和老师的对应下... 1. 使用泛型参数延迟数据结构的绑定； 2. 使用泛型参数和 PhantomData，声明数据结构中不直接使用，但在实现过程中需要用到的类型 3. 使用泛型参数让同一个数据结构对同一个 trait 可以拥有不同的实现。 1. 面向interface编程; 只不过静态多态 2. 引入自由参数 -> 大部分impl共享; 剩下的, 根据自由参数类型的不同做template specialization -> 比如tag struct -> 本质还是代码共享 3. NewTypePattern; 一套代码给多个不同的type共用; 这个blog里面的例子比较生动: https://www.greyblake.com/blog/2021-10-11-phantom-types-in-rust/; golang里面也经常用kilometer, mile来做例子, 类似于`type mile i32`;

Cpp里面用tag和多generic param的例子也很多… 比如Cpp的iterator, 多个泛型做参数, 不需要PhantomData; template< class Category, // tag data, 类似于 AsyncProstReader D class T, class Distance = std::ptrdiff_t, class Pointer = T*, class Reference = T& > struct iterator; 所以, 感觉PhantomData的主要用途是compile time ownership check; 我的疑问也就主要集中在ownership... 问题1: from PhantomData doc: > Adding a PhantomData field to your type tells the compiler that your type acts as though it stores a value of type T, even though it doesn’t really. 不太明白, 为啥需要ownership. 比如AsyncProstReader的T是约束R的return type的, 按理说不用own T; 而且into和dest member全程没被调用过 /// A wrapper around an async reader that produces an asynchronous stream of prost-decoded values #[derive(Debug)] pub struct AsyncProstReader<R, T, D> { reader: R, pub(crate) buffer: BytesMut, into: PhantomData<T>, dest: PhantomData<D>, } 如果不需要对T, D的ownership, 为啥不来个`PhantomDataNotOwned`来满足这样的场景: 不需要ownership, 但是这个generic type T不是多余的呢? ---- 问题2: > This information is used when computing certain safety properties. 这句目前理解不了…假设对T有ownership, 没看出有啥特殊的safety需求

1. 参数 F 是一个闭包，接收 Self::Item,返回 Fut 类型； 2. 参数 Fut 是一个 Future<Output=()>; 所以 f 是一个闭包接收 Self::Item 闭包的返回值是 Future<Output=()> 使用参考源代码： ```rust .for_each_concurrent( /* limit */ 2, |rx| async move { rx.await.unwrap(); } ) ```

关于思考题： f 是一个闭包，以 `Self::Item` 类型作为输入，以一个实现了 `Future` trait 的类型 Fut 作为输出，其中`Future` 的关联类型 `Output` 是 unit 类型

老师现在implement trait 用在返回值的类型了,那么 trait obejct还有什么用处么?它的性能那么差. https://doc.rust-lang.org/rust-by-example/trait/impl_trait.html

关于第三点使用场景，似乎可以用于替代其他面向对象语言中有而rust不支持的类继承。

终于明白substrate的frame/executiv/src/lib.rs里面这段代码的用意：

phantom type 的例子，感觉像java中的继承。