泛型是一种基于类型的抽象。
基于类型的抽象的语法还有一种-trait。
泛型在C++之中称为模板编程。这里同样是代码复用的体现。
主要的应用场景在容器的撰写等方面。
trait 是对类型行为的归纳。
泛型是对某些通用类型的归纳。
最直接的应用:迭代器、错误处理、存在与否。
和rust语法结合的部分。复合数据类型。struct、enum。
rust之间的几个概念。变量、值、类型。trait、泛型。
使用泛型
在Struct上使用泛型
在Enum上使用泛型
在函数上使用泛型
trait和泛型的共用
泛型是类型的集合,trait是集合的条件限定。
使用泛型要注意的是没有限定的泛型没有意义。
trait则是对泛型的一种限定。
这里的限定很有意思。通过这种限定我们可以实现更高的抽象。