给出两个任意大小的类型T和U，其中U: From<T>，标准库为什么不为From<Option<T>> for Option<U>提供where U: From<T>？我试图这样做，但得到了一个冲突的实现错误，所以显然有一个限制，只是不确定在哪里.是的，我知道我可以用Option::map()来做到这一点，但似乎性病应该开箱即用.
enum Opt<T> {
Some(T),
None,
}
impl<T: From<U>, U> From<Opt<T>> for Opt<U> {
fn from(opt: Opt<T>) -> Self {
match opt {
Opt::Some(t) => Opt::Some(t.into()),
Opt::None => Opt::None,
}
}
}
struct A;
struct B;
impl From<A> for B {
fn from(_: A) -> Self {
B
}
}
fn main() {
let a = Opt::Some(A);
let _b: Opt<B> = a.into();
}
误差率
error[E0119]: conflicting implementations of trait `From<Opt<_>>` for type `Opt<_>`
--> src/bin/main.rs:6:1
|
6 | impl<T: From<U>, U> From<Opt<T>> for Opt<U> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: conflicting implementation in crate `core`:
- impl<T> From<T> for T;