rust - 为什么 Cow 的定义在 Owned(::Owned) 中使用 "as"？

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

它只是通过 fully qualified syntax 明确表示.它同样可以定义为

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

此语法是您如何访问 B 的 ToOwned 实现的关联类型。