泛型是一个编程语言不可或缺的机制。

C++ 语言中用"模板"来实现泛型，而 C 语言中没有泛型的机制，这也导致 C 语言难以构建类型复杂的工程。

泛型机制是编程语言用于表达类型抽象的机制，一般用于功能确定、数据类型待定的类，如链表、映射表等。

特性（trait）概念接近于 Java 中的接口（Interface），但两者不完全相同。

特性与接口相同的地方在于它们都是一种行为规范，可以用于标识哪些类有哪些方法。

可以有默认特性

特性可以做参数

特性可以做返回值