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

Question

好像没有，因为我有实现From<A> for <B>的代码, 我可以转换 A到 B与 .into() , 但同样的事情不适用于 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

无需猜测 From 的实现存在 Vec ;他们是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 .

另见:

• How is there a conflicting implementation of `From` when using a generic type?