主页 / coding / 问题 / 77294902
Accepted
Yuri Astrakhan
Asked: 2023-10-15 08:11:00 +0800 CST

当 T -> U 用 From 定义时，惯用的 Option<T> 到 Option<U>

  • 772

给定两个任意大小的类型T和U，其中U: From<T>，标准库是否有理由不提供From<Option<T>> for Option<U>a where U: From<T>？我尝试这样做，但遇到了冲突的实现错误，所以显然存在限制，只是不确定在哪里。是的，我知道我可以用 a 来做到这一点Option::map()，但似乎 std 应该开箱即用。

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;
rust

1 个回答

  1. Best Answer

    是的，这是有原因的，因为它与impl<T> From<T> for T您在 case 中注意到的相冲突T == U。就像你不能写这个 impl 一样，std 也不能（即使当前的专业化也不支持这一点，并且专业化不用于公共接口）。人们渴望这样的实现（以及其他类型的类似实现），只是不清楚如何做到这一点。

    • 10

相关问题