types - 在 monad 管道中使用 into()

Question

我基本上是想像这样在管道内转换一个值:

#[derive(PartialEq)]
enum MyType { A, B }

impl Into<MyType> for i32 {
    fn into(self) -> MyType {
        match self {
            0 => MyType::A,
            _ => MyType::B
        }
    }
}

fn main() {
    let a: Result<i32, ()> = Ok(0);
    a.map(|int| int.into())
        .and_then(|enm| if enm == MyType::A { println!("A"); });
}

我遇到的问题是 map() 不知道应该输出哪种类型。

我尝试过但没有用的其他方法:

a.map(|int| if int.into() as MyType == MyType::A { println!("A"); });

a.map(|int| int.into::<MyType>())
        .and_then(|enm| if enm == MyType::A { println!("A"); });

这确实有效，但感觉不必要的复杂:

a.map(|int| {
    let enm: MyType = int.into();
    if enm == MyType::A { println!("A"); }
});

有更好的方法吗？

Answer 1

你不应该实现 Into ，你应该实现 From , 它会自动给你一个 Into暗示。然后你可以调用a.map(MyType::from)一切正常:

impl From<i32> for MyType {
    fn from(i: i32) -> MyType {
        match i {
            0 => MyType::A,
            _ => MyType::B
        }
    }
}

fn main() {
    let a: Result<i32, ()> = Ok(0);
    a.map(MyType::from)
        .and_then(|enm| if enm == MyType::A { Err(()) } else { Ok(enm) } );
}

或者您可以调用 a.map(Into::<MyType>::into) ，但这相当冗长。 From 是有原因的/Into对偶性，在 std::convert module docs 中有解释