视频地址
头条地址：https://www.ixigua.com/i6775861706447913485
Ｂ站地址：https://www.bilibili.com/video/av81202308/
源码地址
github地址：https://github.com/anonymousGiga/learn_rust
讲解内容
1、关联类型在trait定义中指定占位符类型
关联类型是一个将类型占位符与trait相关论的方式。trait 的实现者会针对特定的实现在这个类型的位置指定相应的具体类型。如此可以定义一个使用多种类型的 trait。
（1）回忆使用关联类型的例子中，Iterator trait：
pub trait Iterator {
type Item;
fn next(&mut self) -> Option<Self::Item>;
}
（2）为什么不像如下，使用泛型？
pub trait Iterator<T> {
fn next(&mut self) -> Option<T>;
}
如果使用泛型，实现的例子如下：
trait Iterator1<T> {
fn next(&mut self) -> Option<T>;
}
struct A {
value: i32,
}
impl Iterator1<i32> for A {
fn next(&mut self) -> Option<i32> {
println!("in next function: i32");
if self.value > 3 {
self.value += 1;
Some(self.value)
} else {
None
}
}
}
impl Iterator1<String> for A {
fn next(&mut self) -> Option<String> {
println!("in next function: string");
if self.value > 3 {
let s = String::from("hello");
Some(s)
} else {
None
}
}
}
fn main() {
let mut a = A{value: 3};
//a.next(); //错误，因为编译器不知道调用哪个实现
<A as Iterator1<String>>::next(&mut a); //完全限定语法，带上了具体的类型
<A as Iterator1<i32>>::next(&mut a); //完全限定语法，带上了具体的类型
println!("Hello, world!");
}
说明：使用泛型的方式，则如例子中在实现trait的时候必须带上具体的类型，调用时也必须带上具体的类型。
