error-handling - 为什么？运算符(operator)报告错误 "the trait bound NoneError: Error is not satisfied"?

Question

? operator在第 9 行工作正常，但如果我在第 19 行对相同类型使用相同的逻辑，它就会爆炸。

use std::error::Error;
use walkdir::WalkDir;

fn main() -> Result<(), Box<dyn Error>> {
    let valid_entries = WalkDir::new("/tmp")
        .into_iter()
        .flat_map(|e| e)
        .flat_map(|e| {
            let name = e.file_name().to_str()?; // <-- this works
            if name.contains(".txt") {
                Some(e)
            } else {
                None
            }
        });

    for entry in valid_entries {
        println!("This file matches: {:?}", entry);
        let name_to_str = entry.file_name().to_str()?; // <-- this blows up
        // ...
    }
    Ok(())
}

这些错误对我来说有点神秘:

error[E0277]: the trait bound `std::option::NoneError: std::error::Error` is not satisfied
  --> src/main.rs:19:53
   |
26 |         let name_to_str = entry.file_name().to_str()?;
   |                                                     ^ the trait `std::error::Error` is not implemented for `std::option::NoneError`
   |
   = note: required because of the requirements on the impl of `std::convert::From<std::option::NoneError>` for `std::boxed::Box<dyn std::error::Error>`
   = note: required by `std::convert::From::from`

为什么是?迭代时运算符爆炸 valid_entries ?

Answer 1

?可用于检查并返回任何实现 Try 的类型特质(仍然不稳定)。 std 中唯一的实现其中是 Option<T>和 Result<T, E> (加上一些与此讨论无关的 Future 相关的实现)。这意味着您可以使用 ?返回 Result<T, E> 的任何函数中的运算符或 Option<T> .

但是你不能混合n-match那些。也就是说，如果您的函数返回 Result<T, E>您不能使用 ?在 Option<T> 类型的值中.反之亦然。

你第一次的原因?有效是因为你在 flat_map() 里面返回 Option<String>一切顺利。然而，第二个是在一个返回 Result<(), Box<dyn Error>> 的函数中。所以你不能使用 ?与 Option<String> .

解决办法很简单，就是处理None在您的 Option<String>以另一种方式:

做一个 match/if let Some(x)分别处理错误。

转换为 Result<String, Error>并使用 ? ，例如 .ok_or(std::io::ErrorKind::InvalidData)?; .

与 2 类似，但要利用 impl From<&str> for Box<dyn Error>并做 .ok_or("invalid file name") .

给出一个默认值，用 Option::unwrap_or()或类似。

做 unwrap()如果 None panic .

好的，但是这个错误是什么意思？这个想法是实际上你可以使用 ?与 Option<T>返回 Result<T, E> ，只要您的E工具From<std::option::NoneError> .不幸的是， NoneError 仍然不稳定，所以你不能实现 From<NoneError>在使用稳定编译器的代码中。尽管如此，E在您的代码中是 Box<dyn Error> ，只要 NoneError，编译器就会很乐意进行装箱。工具Error ，但是……

error[E0277]: the trait bound `std::option::NoneError: std::error::Error` is not satisfied