Rust中为实现某Trait的所有类型实现另一Trait的规范方法

你遇到的核心问题是Haskell高阶类型类与Rust trait系统的差异：Haskell的Wrapper是接受类型构造器（如Burrito :: * -> *）的类，而Rust的trait默认针对具体类型，直接转译会触发类型参数未约束或动态大小类型（DST）的错误。以下是两种规范的实现方式：

方式一：使用关联类型（符合Rust惯用写法） #

将Wrapper的泛型参数改为关联类型，让每个实现Wrapper的类型绑定唯一的内部类型，解决类型参数未约束问题：

use std::fmt;
use std::fmt::Display;

// 用关联类型替代泛型参数，明确每个Wrapper实现对应唯一的内部类型
trait Wrapper {
    type Inner;
    fn unwrap(&self) -> &Self::Inner; // 返回引用，避免Copy约束，提升通用性
}

struct Burrito<T> { filling: T }

impl<T> Wrapper for Burrito<T> {
    type Inner = T;
    fn unwrap(&self) -> &T { &self.filling }
}

// 为所有实现Wrapper且内部类型可Display的类型实现Display
impl<W: Wrapper> Display for W
where
    W::Inner: Display,
{
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "(wrapped {})", self.unwrap())
    }
}

fn main() {
    let burrito = Burrito { filling: 1 };
    println!("{}", burrito); // 输出：(wrapped 1)
}

关键说明 #

• 关联类型Inner将Wrapper的实现与内部类型强绑定，编译器能确定每个W对应的Inner类型，消除「未约束类型参数」错误。
• 返回引用的unwrap避免了对T的Copy约束，支持更多类型（如String）。

方式二：保留泛型Wrapper，使用trait对象（贴近Haskell原逻辑） #

如果要保留原有的泛型Wrapper<T>，需通过指针（引用/智能指针）使用trait对象，因为dyn Wrapper<T>是动态大小类型，不能直接作为值传递：

use std::fmt;
use std::fmt::Display;

trait Wrapper<T> {
    fn unwrap(&self) -> T;
}

struct Burrito<T> { filling: T }

impl<T: Copy> Wrapper<T> for Burrito<T> {
    fn unwrap(&self) -> T { self.filling }
}

// 为dyn Wrapper<T>实现Display，要求T可Display
impl<T: Display> Display for dyn Wrapper<T> {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "(wrapped {})", self.unwrap())
    }
}

fn main() {
    let burrito = Burrito { filling: 1 };
    // 用引用包装dyn Wrapper<i32>，避免DST错误
    println!("{}", &burrito as &dyn Wrapper<i32>); // 输出：(wrapped 1)
    
    // 也可以用Box智能指针：
    // let boxed_burrito: Box<dyn Wrapper<i32>> = Box::new(burrito);
    // println!("{}", boxed_burrito);
}

关键说明 #

• dyn Wrapper<T>是动态大小类型，必须用&（引用）或Box/Rc等智能指针包装后才能传递，解决「转换为未大小类型」的错误。
• 这种方式保留了Haskell中Wrapper作为高阶类型的逻辑，但需要手动指定trait对象的具体类型参数（如i32）。

错误原因回顾 #

1. 未约束类型参数错误：impl<T: Display, W: Wrapper<T>> Display for W中，T未与W绑定——一个类型W可能同时实现Wrapper<i32>和Wrapper<String>，编译器无法确定使用哪个T。
2. 动态大小类型错误：dyn Wrapper<T>没有固定大小，不能直接作为值传递，必须用指针包装。

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