特征上的关联类型默认值

Question

当我们需要一个依赖于特征中其他类型的类型时，我们如何克服关联类型默认值的问题？

    trait Foo{
        type C;
        type K = Vec<Self::C>;
    }

error[E0658]: associated type defaults are unstable
  |
3 |     type K = Vec<Self::C>;
  |     ^^^^^^^^^^^^^^^^^^^^^^
  |
   = note: see issue #29661 <https://github.com/rust-lang/rust/issues/29661> for more information

Answer 1

它依赖于另一个关联类型的事实是无关紧要的。 为关联类型提供默认值根本不是一个受支持的功能。

trait Foo {
    type K = i32;
}

error[E0658]: associated type defaults are unstable
 --> src/lib.rs:2:5
  |
2 |     type K = i32;
  |     ^^^^^^^^^^^^^
  |
  = note: see issue #29661 <https://github.com/rust-lang/rust/issues/29661> for more information

如果您想使用当前的（不稳定的）实现，您可以使用 nightly 编译并启用associated_type_defaults功能，这适用于您的情况：

#![feature(associated_type_defaults)]

trait Foo {
    type C;
    type K = Vec<Self::C>;
}

我不确定我是否会推荐它，尽管只是基于跟踪问题表明的不完整，但这取决于你。

---

话虽如此，这不应该是一个“问题” 。 当然有可用的默认值可能很方便，但它不是必需的。 只需在实现特征时指定它：

trait Foo {
    type C;
    type K;
}

impl Foo for i32 {
    type C = i32;
    type K = Vec<Self::C>;
}