实现互依赖 trait bound 的 Rust 惯用方法

要解决这个循环依赖问题，核心是打破PricingModel trait和泛型参数之间的循环约束，同时保留"结构体必须实现PricingModel才有用"的设计意图。可以通过关联类型重构trait定义，避免循环的泛型边界：

// 定义PricingModel trait，用关联类型指定对应的Options类型
trait PricingModel {
    // 关联类型：该定价模型对应的Options结构体类型
    type Opts;
    fn get_price(&self, opt: &Self::Opts) -> f64;
}

// Model结构体不再需要多余的泛型参数
struct Model;

// 为Model实现PricingModel，关联对应的Options<Model>类型
impl PricingModel for Model {
    type Opts = Options<Model>;
    
    fn get_price(&self, opt: &Self::Opts) -> f64 {
        opt.price + 1.0
    }
}

// Options结构体持有实现了PricingModel的类型M，同时要求M的关联类型Opts就是当前的Options<M>
struct Options<M: PricingModel<Opts = Self>> {
    price: f64,
    model: M,
}

impl<M: PricingModel<Opts = Self>> Options<M> {
    fn new(price: f64, model: M) -> Self {
        Options { price, model }
    }
    
    // 便捷方法：直接调用模型的定价逻辑
    fn calculate_price(&self) -> f64 {
        self.model.get_price(self)
    }
}

fn main() {
    let model = Model;
    let opts = Options::new(1.0, model);
    println!("{}", opts.calculate_price()); // 输出2.0
}

关键改动说明： #

1. 关联类型替代循环泛型约束：
   把PricingModel的泛型参数改成关联类型Opts，明确指定该模型对应的Options类型，避免了M: PricingModel<M>这种循环依赖的边界约束。

2. Options的类型约束：
   通过M: PricingModel<Opts = Self>确保持有模型M的Options<M>，正好是M的PricingModel实现中关联的Options类型，保证了类型一致性。

3. 消除冗余泛型参数：
   原来的Model<M: PricingModel<M>>中的泛型M是冗余的，直接简化为struct Model;，符合实际需求。

4. 便捷方法优化调用：
   在Options中添加calculate_price方法，避免手动传递&opts给get_price，让调用更简洁。

这种写法既满足了"Model必须实现PricingModel才有用"的要求（如果不实现，Options无法持有它），又解决了循环依赖的编译器错误，同时保持了代码的优雅性。

内容的提问来源于stack exchange，提问作者adaptive-alexander