代码之家 › 专栏 › 技术社区 › Sushisource

如果我为B实现From<A>,那么为Vec<B>也会实现From<Vec<A>吗?

traits rust generics

Sushisource · 技术社区 · 8 年前

似乎没有,因为我有实现 From<A> for <B> ,我可以转换 A 到a B 具有 .into() ,但同样的事情对 Vec<A> .进入() 一 Vec<B> .

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

如果它不应该工作,为什么不呢?这样的代码似乎可以工作:

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

我猜它比这更复杂。

1 回复 | 直到 8 年前

Shepmaster Tim Diekmann 8 年前

无需猜测 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 从存在 相同类型 . 在这种情况下,您将与 从…起 impl<T> From<T> for T .