特征与泛型

特征（Traits）定义了类型可以实现共享行为，而泛型（Generics）通过类型参数实现代码复用。两者结合可以提供特征约束（如 `T: Display`），用来限制泛型类型，确保它们具备所需的功能。这使得安全、零成本的多态和代码抽象成为可能。