什么时候使用关联类型和泛型类型比较合适？

Question

null

在编写代码时，什么时候应该选择关联类型而不是泛型类型参数，什么时候应该做相反的操作？

Answer 1

这在Rust编程语言的第二版中有所涉及。不过，让我们再深入一点。

让我们从一个更简单的例子开始。

什么时候使用一种特质方法是合适的？

trait MyTrait {
    fn hello_word(&self) -> String;
}

struct MyTrait<T> {
    t: T,
    hello_world: fn(&T) -> String,
}

impl<T> MyTrait<T> {
    fn new(t: T, hello_world: fn(&T) -> String) -> MyTrait<T>;

    fn hello_world(&self) -> String {
        (self.hello_world)(self.t)
    }
}

trait MyTrait {
    type Return;
    fn hello_world(&self) -> Self::Return;
}

trait MyTrait<Return> {
    fn hello_world(&Self) -> Return;
}

null

哪种形式更合适取决于强制唯一性是否有意义。例如：

• deref使用关联的类型，因为如果没有唯一性，编译器将在推理过程中发疯
• add使用关联类型，因为它的作者认为给定两个参数，就会有一个逻辑返回类型

正如您所看到的，虽然deref是一个明显的用法（技术约束），但add的情况就不那么清晰了：根据上下文的不同，i32+i32产生i32或complex 可能是有意义的？尽管如此，作者还是行使了他们的判断，并决定没有必要重载用于添加的返回类型。