使用特定类型参数实现泛型结构体时的类型不匹配错误

错误原因 #

你在给泛型结构体A1Implementation<B>实现Default trait时，硬编码了具体类型Ex1_A1作为结构体的内部值。但这里的泛型参数B是任意满足B: A1的类型，编译器无法保证调用Default::default()时，B恰好等于Ex1_A1——比如调用方可能传入另一个实现了A1的类型Ex2_A1，这时候你的代码就会试图把Ex1_A1塞进A1Implementation<Ex2_A1>里，类型自然不匹配，所以编译器报错。

解决方法 #

根据你的需求，有两种可行的处理方式：

方式1：仅给A1Implementation<Ex1_A1>实现Default #

如果你只需要针对Ex1_A1这个具体类型提供Default实现，直接为该具体实例化的结构体写impl即可：

// 针对具体类型Ex1_A1实现Default
impl Default for A1Implementation<Ex1_A1> {
    fn default() -> Self {
        Self(Ex1_A1)
    }
}

之后就可以通过A1Implementation::<Ex1_A1>::default()或者类型推导（比如let _: A1Implementation<Ex1_A1> = Default::default();）来创建实例。

方式2：为所有实现A1的类型提供Default实现 #

如果希望任何实现A1的类型B都能自动获得Default支持，需要先让A1 trait继承Default，确保每个实现A1的类型都有自己的Default实现：

// 修改A1 trait，要求实现者同时实现Default
trait A1: Default {}

// 为所有B: A1的情况实现Default
impl <B: A1> Default for A1Implementation<B> {
    fn default() -> Self {
        Self(B::default())
    }
}

这样只要Ex1_A1实现了A1（以及继承来的Default），就可以通过A1Implementation::<Ex1_A1>::default()创建实例。

手动创建实例 #

除了用Default，你也可以直接手动构造实例，不需要依赖Default trait：

let instance = A1Implementation(Ex1_A1);
// 如果Ex1_A1需要初始化参数，也可以直接传入：
// let instance = A1Implementation(Ex1_A1::new(/* 参数 */));

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