如何使用 std::convert::Into 转换可能失败的内容？

Question

我想要一个函数，它接受可以转换为我的特定类型的各种类型。在类似的情况下，我会使用std::convert::Into（或std::convert::From）：

pub struct MyThing;

impl<'a> Into<MyThing> for &'a str {
    fn into(self) -> MyThing { 
        MyThing
    }
}

fn main() {}

作为一个额外的问题，在我的具体情况下，转换可能会失败。通常，我会使用Result 来表示可能失败的操作。将两个概念结合在一起：

pub struct MyThing;
pub struct Error;

impl<'a> Into<Result<MyThing, Error>> for &'a str {
    fn into(self) -> Result<MyThing, Error> { 
        if self.len() % 2 == 0 {
            Ok(MyThing)
        } else {
            Err(Error)
        }
    }
}

fn main() {}

不幸的是，这似乎违反了连贯性规则：

error: the impl does not reference any types defined in this crate;
only traits defined in the current crate can be implemented for
arbitrary types [E0117]

我发现我可以创建自己的特定特征：

struct MyThing;
struct Error;

trait IntoMyThing {
    fn into(self) -> Result<MyThing, Error>;
}

impl<'a> IntoMyThing for &'a str {
    fn into(self) -> Result<MyThing, Error> { 
        if self.len() % 2 == 0 {
            Ok(MyThing)
        } else {
            Err(Error)
        }
    }
}

fn main() {}

甚至是更通用的特征：

struct MyThing;
struct Error;

trait MaybeInto<T, E> {
    fn into(self) -> Result<T, E>;
}

impl<'a> MaybeInto<MyThing, Error> for &'a str {
    fn into(self) -> Result<MyThing, Error> { 
        if self.len() % 2 == 0 {
            Ok(MyThing)
        } else {
            Err(Error)
        }
    }
}

fn main() {}

但是有没有办法重用标准库中的组件来实现我的目标？

Answer 1

由于连贯性规则，这是不可能的，这使得这样的事情非常不方便，因为除非您为其中一种类型（Result 或 @）创建新类型，否则您无法做到这一点987654323@。请参阅RFC #1023 了解更多信息。

简而言之，根据该 RFC 规定的新规则，您不能为非本地的类型实现非本地的特征。

1. 修改孤儿规则，以便远程 trait 的 impls 需要本地类型，即当前 crate LT = LocalTypeConstructor<...> 中定义的 struct/enum/trait 或对本地类型 LT = ... | &LT | &mut LT 的引用。

因此，由于您没有在 crate 中创建 Into 特征，也没有创建 Result 类型，因此您会收到此错误。创建一个新类型可以解决这个问题，因为它基本上将非本地类型包装在本地类型中。