gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-03 07:37:57 24 4
gpt4 key购买 nike

? 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 ?

最佳答案

?可用于检查并返回任何实现 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

    关于error-handling - 为什么?运算符(operator)报告错误 "the trait bound NoneError: Error is not satisfied"?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59568278/

    24 4 0
    Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
    广告合作:1813099741@qq.com 6ren.com