如果我为 B 实现 From<A>，是否也会为 Vec<B> 实现 From<Vec<A>>？

Question

好像不行，因为我有实现From<A> for <B>的代码，我可以用.into()将A转换成B，但同样的事情不适用于 Vec<A> .into() 和 Vec<B>.

要么我搞砸了阻止实现派生的事情，要么这不应该发生。

如果它不应该工作，为什么不呢？像这样的代码似乎可以工作：

impl<A: From<B>, B> From<Vec<A>> for Vec<B> {
    // ... map .into onto vec of As to vec of Bs ...
}

我猜它比这更复杂。

Answer 1

无需猜测 Vec 存在哪些 From 实现；他们是 all listed in the docs。 Rust 1.21.0 的列表：

impl<'a, T> From<&'a mut [T]> for Vec<T> { /**/ }

impl<T> From<BinaryHeap<T>> for Vec<T> { /**/ }

impl<T> From<VecDeque<T>> for Vec<T> { /**/ }

impl<'a, T> From<&'a [T]> for Vec<T>  { /**/ }

impl From<String> for Vec<u8> { /**/ }

impl<'a, T> From<Cow<'a, [T]>> for Vec<T> { /**/ } 

impl<'a> From<&'a str> for Vec<u8> { /**/ }

impl<T> From<Box<[T]>> for Vec<T> { /**/ }

相反，您需要执行以下操作：

let b: Vec<Wrapper> = a.into_iter().map(Into::into).collect();

如果你试图实现这个，你会失败：

error[E0119]: conflicting implementations of trait `core::convert::From<vec::Vec<_>>` for type `vec::Vec<_>`:
    --> /Users/shep/Projects/rust/src/liballoc/vec.rs:2190:1
     |
2190 | / impl<A, B> From<Vec<A>> for Vec<B>
2191 | |     where A: Into<B>
2192 | | {
2193 | |     fn from(s: Vec<A>) -> Vec<B> {
2194 | |         s.into_iter().map(Into::into).collect()
2195 | |     }
2196 | | }
     | |_^
     |
     = note: conflicting implementation in crate `core`

没有什么能阻止 A 和 B 成为 同一类型 。在那种情况下，您将与 From 的反身实现相冲突：impl<T> From<T> for T.

另请参阅：

如果我为 B 实现 From<A>，是否也会为 Vec<B> 实现 From<Vec<A>>？

If I implement From<A> for B, will From<Vec<A>> for Vec<B> also be implemented?

generics

traits

rust