Rust中能否为泛型类型实现Trait？解析Substrate代码疑问

1. 这段代码的作用 #

这段代码定义了一个聚合型 trait，将Send、Sync、Sized、Eq、PartialEq、Clone、Default、fmt::Debug、Codec、std::hash::Hash以及'static生命周期约束打包成一个名为Hash的单一trait。

它的核心价值是简化代码中的trait约束：原本需要写一长串trait列表的地方，现在只需要写Hash就能代表所有这些约束。

下面的空impl块是全局 blanket 实现，规则是：只要任意类型T满足自定义Hash trait的所有super trait约束，就自动为T实现这个自定义Hash trait。

2. 空impl为何能为Vec<u8>实现自定义Hash trait？ #

Vec<u8>本身已经实现了自定义Hash trait要求的所有super trait：

• 标准库自带的Send、Sync、Sized、Eq、PartialEq、Clone、Default、fmt::Debug、std::hash::Hash
• Substrate提供的Codec编解码trait
• 同时满足'static生命周期要求

因为自定义Hash trait本身没有定义任何方法，只是对多个trait的聚合，所以只要Vec<u8>满足所有前置约束，通过这个blanket impl就能自动获得该trait的实现，不需要额外写任何逻辑代码。

注释掉这个impl块后，编译器找不到Vec<u8>实现自定义Hash trait的关联代码，就会抛出“the trait Hash is not implemented for Vec”的错误。

3. Rust中是否可以为泛型类型实现trait？ #

完全可以，这是Rust的核心特性之一，常见实现方式有两种：

• Blanket 实现：就是这段代码采用的方式，为所有满足特定约束的泛型类型统一实现某个trait。比如标准库中impl<T: Display> ToString for T，让所有实现了Display的类型自动拥有ToString能力。
• 针对性泛型实现：针对具体泛型参数或带约束的泛型实现trait，比如impl<T> MyTrait for Vec<T>，或者impl<T: Clone> MyTrait for Vec<T>，只让满足条件的泛型实例获得trait实现。

内容的提问来源于stack exchange，提问作者Jason