仅当IMPL标记为“默认”时,关联类型和类型参数之间不匹配。

以下代码导致错误( Playground )

#![feature(specialization)]

trait Foo {
    type Assoc;
    fn foo(&self) -> &Self::Assoc;
}

default impl<T> Foo for T {
    type Assoc = T;
    fn foo(&self) -> &Self::Assoc {
        self
    }
}

错误:

error[E0308]: mismatched types
  --> src/main.rs:20:9
   |
20 |         self
   |         ^^^^ expected associated type, found type parameter
   |
   = note: expected type `&<T as Foo>::Assoc`
              found type `&T`

这很奇怪,因为 <T as Foo>::Assoc 是 T ,所以应该有效。甚至陌生人:当我移除 default 关键字从IMPL中起作用(当然,在我的真实代码中,我需要标记IMPL)。 违约 )

在特征定义中提供缺省值时会发生同样的错误( Playground )以下内容:

#![feature(specialization)]
#![feature(associated_type_defaults)]

trait Foo {
    type Assoc = Self;
    fn foo(&self) -> &Self::Assoc {
        self
    }
}

怎么回事?这是编译器错误吗?或者,这就是为什么我问这个问题——这个错误是有意义的,因为我还没有理解专业化的特殊之处吗?如果这是个错误, mem::transmute 一定很安全吗,瑞丽?