如何在Rust中让同一数据结构适配返回不同类型的Visitor？

你的核心问题在于把Visitor的返回类型R绑定到了A结构体的泛型参数上，这导致一个A实例只能对应一种返回类型，自然没法同时适配返回String的Visitor1和返回i32的Visitor2。要让同一数据结构支持多种返回类型的Visitor，需要调整trait的设计，把返回类型的控制权交还给Visitor本身，而非数据结构。

调整后的代码实现 #

重新定义Visited和Visitor trait #

// 不再把返回类型作为Visited的泛型参数
trait Visited {
    fn accept<R>(&self, visitor: &dyn Visitor<R>) -> R;
}

// Visitor以返回类型R作为泛型参数
trait Visitor<R> {
    fn visit_a(&self, a: &A) -> R;
    fn visit_b(&self, b: &B) -> R;
}

修改数据结构实现 #

去掉A的泛型参数，内部的b改为Box<dyn Visited>，不再绑定具体返回类型：

struct A {
    value: String,
    b: Box<dyn Visited>,
}

impl Visited for A {
    fn accept<R>(&self, visitor: &dyn Visitor<R>) -> R {
        visitor.visit_a(self)
    }
}

struct B {
    value: i32,
}

impl Visited for B {
    fn accept<R>(&self, visitor: &dyn Visitor<R>) -> R {
        visitor.visit_b(self)
    }
}

实现两个不同返回类型的Visitor #

struct Visitor1;
impl Visitor<String> for Visitor1 {
    fn visit_a(&self, a: &A) -> String {
        let b_val = a.b.accept(self);
        format!("visitor1.visit_a(): {} {}", a.value, b_val)
    }
    fn visit_b(&self, b: &B) -> String {
        format!("visitor1.visit_b(): {}", b.value)
    }
}

struct Visitor2;
impl Visitor<i32> for Visitor2 {
    fn visit_a(&self, a: &A) -> i32 {
        123
    }
    fn visit_b(&self, b: &B) -> i32 {
        456
    }
}

测试代码 #

fn main() {
    let a = A {
        value: "HELLO".to_string(),
        b: Box::new(B { value: 32 }),
    };

    let v1 = Visitor1;
    let s: String = a.accept(&v1);
    println!("{}", s); // 输出: visitor1.visit_a(): HELLO visitor1.visit_b(): 32

    let v2 = Visitor2;
    let num: i32 = a.accept(&v2);
    println!("{}", num); // 输出: 123
}

方案说明 #

1. 解除数据结构与返回类型的绑定：A和B不再依赖返回类型的泛型参数，而是通过Visitedtrait的泛型方法accept适配任意Visitor的返回类型。
2. 动态分发Visitor：accept方法接受&dyn Visitor<R>，通过动态分发调用对应Visitor的visit_*方法，实现同一数据结构被不同算法（Visitor）处理的核心需求。
3. 保留Visitor模式的扩展性：后续新增其他返回类型的Visitor时，只需实现Visitor<R> trait即可，无需修改数据结构的代码。

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