我是否应该放弃使用 `and_then` 并始终使用 `?` 运算符？

Question

我想写这样的东西，但由于类型不匹配而无法编译：

fn main() -> std::result::Result<(), Box<dyn std::error::Error>> {
    let val = std::env::args()
        .nth(1)
        .ok_or("1 arg is expected")
        .and_then(std::fs::File::open)
        .and_then(serde_yaml::from_reader)?;
}

因为在每个闭包中添加 map_err 看起来很慢并且“锅炉板”，所以我将其替换为：

fn main() -> std::result::Result<(), Box<dyn std::error::Error>> {
    let val = serde_yaml::from_reader(std::fs::File::open(
        std::env::args().nth(1).ok_or("1 arg is expected")?,
    )?)?;
}

第一个感觉更自然，读起来像英语，而第二个感觉有点倒退。

我应该放弃and_then 并始终使用? 运算符吗？

如果没有，有没有办法让结果组合器像 ? 运算符一样平滑？

Answer 1

我应该放弃 and_then 并始终使用 吗？运营商？

这是个人判断，只有你能回答。

有没有办法让结果组合器像 ?运营商？

坦率地说，没有。 ? 执行“隐式”转换（不是真正隐式，因为它是其工作的重要组成部分，但不必单独调用转换，也许“简洁”？），and_then才不是。这意味着当使用and_then 时，您必须自己执行这些转换。这似乎合乎逻辑。

您也许可以为此构建一个便利宏。或者可能添加一个扩展方法或包装器类型，可以在后台执行这些转换。

Answer 2

您的第一个表达式不起作用的原因是错误类型不匹配。更具体地说，

let val = std::env::args()
        .nth(1)
        .ok_or("1 arg is expected")
        .and_then(std::fs::File::open)
        .and_then(serde_yaml::from_reader)?;

std::env::args().nth(1) 返回一个Option<T>。如果您查看ok_or 签名，即pub fn ok_or<E>(self, err: E) -> Result<T, E>。这意味着对于您的情况，ok_or("1 arg is expected") 您的返回类型是 Result<T, &str>。所以这里的错误类型是&str，因为在 ok_or 中，您将字符串切片作为错误类型传递。

如果你看一下and_then方法，签名是pub fn and_then<U, F>(self, op: F) -> Result<U, E> where F: FnOnce(T) -> Result<U, E>，基本上这意味着你传入的Function and_then应该和原始Result有相同的错误类型，即&str。这与.and_then(serde_yaml::from_reader) 行相同，所有“链接”和_then 函数的错误类型需要一致。

如果你真的想要，你可以通过以下方式来编译你的代码。或者您可以创建一个统一的错误，这样就不会出现不匹配的错误类型。然后你可以使用ok_or(...).and_then(...).and_then(...)这种写法。你只需要匹配错误类型。

工作示例

fn custom_fs_open(path: String) -> Result<String, &'static str>{
    // actual logics to open fs
    Ok(String::from("abc"))
}


fn custom_serde_yaml(buf: String) -> Result<String, &'static str>{
    // actual logics to do serde convertion
    Ok(String::from("cde"))
}


fn main() -> std::result::Result<(), Box<dyn std::error::Error>> {
    let val = std::env::args()
            .nth(1)
            .ok_or("1 arg is expected")
            .and_then(custom_fs_open)
            .and_then(custom_serde_yaml)?;
            
    Ok(())
}