Почему определение «корова» использует «как» в Owned ( :: Owned)?

Question

Вот как определяется Cow:

pub enum Cow<'a, B>
where
    B: 'a + ToOwned + ?Sized,
{
    Borrowed(&'a B),
    Owned(<B as ToOwned>::Owned),
}

Почему там B as ToOwned?Чтобы снять 'a и ?Sized границы?

Answer 1

Это просто явно через полный синтаксис . Он также мог бы быть определен как

pub enum Cow<'a, B>
where
    B: 'a + ToOwned + ?Sized,
{
    Borrowed(&'a B),
    Owned(B::Owned),
}

Этот синтаксис позволяет получить доступ к связанному типу реализации B ToOwned.