能否定义具有已知关联关系的Rust关联类型？

可以实现需求，但需要明确关联类型OptionOfT与Option<Self::T>的类型关系——Rust类型系统不会默认将关联类型的默认值和实际类型划等号，因为实现trait时允许覆盖默认关联类型。

方法一：在Trait中添加约束 #

通过where子句强制OptionOfT可以从Option<Self::T>转换而来，确保类型兼容性：

#![feature(associated_type_defaults)]

trait Foo {
    type T;
    type OptionOfT = Option<Self::T>;

    // 约束OptionOfT必须能由Option<Self::T>转换得到
    where Self::OptionOfT: From<Option<Self::T>>;
}

fn wrap_in_option<X: Foo>(t: X::T) -> X::OptionOfT {
    X::OptionOfT::from(Some(t))
}

方法二：在函数中添加约束 #

仅在需要转换的函数上添加类型转换约束，保持Trait定义简洁：

#![feature(associated_type_defaults)]

trait Foo {
    type T;
    type OptionOfT = Option<Self::T>;
}

fn wrap_in_option<X: Foo>(t: X::T) -> X::OptionOfT
where
    Option<X::T>: Into<X::OptionOfT>,
{
    Some(t).into()
}

满足额外Trait约束的需求 #

如果要基于Option<T>的特性给T添加额外约束，直接在Trait的type T上声明即可：

#![feature(associated_type_defaults)]

trait Foo {
    // 给T添加Clone约束，适配Option<T>可能需要的操作
    type T: Clone;
    type OptionOfT = Option<Self::T>;

    where Self::OptionOfT: From<Option<Self::T>>;
}

fn wrap_in_option<X: Foo>(t: X::T) -> X::OptionOfT {
    // 可以安全使用t.clone()，因为T实现了Clone
    X::OptionOfT::from(Some(t.clone()))
}

原代码编译失败的原因 #

关联类型的默认值只是实现Trait时的 fallback 选项，编译器允许实现者覆盖OptionOfT为任意类型（比如自定义的类似Option的类型）。因此编译器无法默认推断X::OptionOfT和Option<X::T>是同一类型，必须显式添加约束来保证类型兼容性。

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