如何在Rust trait中定义不可重写的关联类型？

我希望在Trait中定义一个关联类型（示例中的B::X），作为另一个可命名类型（<B::Y as A>::X）的简短别名。用默认关联类型能实现这一点，但默认实现可被重写，导致我无法依赖它作为可靠的别名。有没有办法让该默认实现不可被重写？

示例代码（问题场景）：

#![feature(associated_type_defaults)]
trait A {
    type X;
}
trait B {
    type Y: A;
    type X = <Self::Y as A>::X;
}

impl A for usize {
    type X = usize;
}

impl B for usize {
    type Y = usize;
    type X = isize; // 此处不应被允许！
}

// 合法、正确但冗长
type Baz = <<usize as B>::Y as A>::X;

// 正确、简洁但不合法，"关联类型不明确"
type Bar = <usize as B>::Y::X;

// 合法，但因B::X可被重写，结果不符合预期！
type Foo = <usize as B>::X;

解决方案：拆分Trait并自动实现 #

Rust目前没有直接标记“不可重写默认关联类型”的语法，但可以通过拆分Trait+自动实现的方式达到目的：

trait A {
    type X;
}

// 定义基础Trait，仅包含需要用户实现的关联类型Y
trait BBase {
    type Y: A;
}

// 定义包含别名X的Trait，继承自BBase
trait B: BBase {
    type X = <Self::Y as A>::X;
}

// 为所有实现BBase的类型自动实现B
impl<T: BBase> B for T {}

impl A for usize {
    type X = usize;
}

// 用户只需实现BBase，无需手动实现B
impl BBase for usize {
    type Y = usize;
}

// 尝试重写X会触发编译错误：存在冲突的B实现
// impl B for usize {
//     type X = isize;
// }

// 现在可以安全使用简洁的别名，结果始终符合预期
type Foo = <usize as B>::X; // 类型为usize

原理说明 #

1. 将原Trait B拆分为BBase（负责用户自定义的Y）和B（负责提供不可变的X别名）。
2. 通过impl<T: BBase> B for T {}为所有BBase实现者自动实现B，用户无法手动实现B（会触发“冲突实现”的编译错误）。
3. 最终B::X的定义被固定为<Self::Y as A>::X，无法被重写，保证了别名的可靠性。

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