使用处理错误并生成 Result<...>

如何解决使用处理错误并生成 Result<...>

作为一项学习练习,我正在尝试编写一个函数,该函数在文件树上实现迭代器,使用函数式风格(使用 flat_map 之类的函数组合其他迭代器和东西),它产生类型 Result,并使用它来表示错误(而不是恐慌)。这在 Python 和 Kotlin 等其他语言中很容易,但我听说在 Rust 中更难,我想知道它有多难。我有一个简化的变体工作(它会因错误而恐慌),但我无法找出正确处理错误的方法来编写相同的函数。在下面的代码中,在我应该产生错误的 match 的分支中,我已经尝试了所有可以想象的(对我来说)并且我总是遇到关于 match 臂中不兼容类型的编译时错误。我在这里想念什么?

use std::path::{Path,PathBuf};
use std::fs;
use std::iter::empty;
use std::iter::once;
use std::error::Error;

type Result<T> = std::result::Result<T,Box<dyn Error>>;

// simpler version which works,but panics on errors
pub fn subdirectories_recursive_panicking(search_root_path: &Path) -> Box<dyn Iterator<Item=PathBuf>> {
    if !search_root_path.is_dir() {
        return Box::new(empty());
    }

    let entries = fs::read_dir(search_root_path).unwrap();
    Box::new(entries.flat_map(|entry| {
        let this_path = entry.unwrap().path();
        let nested_paths = subdirectories_recursive_panicking(&this_path);
        nested_paths.chain(once(this_path))
    }))
}

// below is the unlucky attempt to make it correctly handle errors
// (can't figure out why I get incompatible types in match arms)
// it works,however,if I put `unreachable!()` in place of error expressions,suggesting that the
// other code makes sense,but that would obviously panic on errors
pub fn subdirectories_recursive(search_root_path: &Path) -> Box<dyn Iterator<Item=Result<PathBuf>>> {
    if !search_root_path.is_dir() {
        return Box::new(empty());
    }

    let entries_result = fs::read_dir(search_root_path);
    match entries_result {
        Ok(entries) => {
            Box::new(entries.flat_map(|e| {
                match e {
                    Ok(entry) => {
                        let this_path = entry.path();
                        let nested_paths = subdirectories_recursive(&this_path);
                        Box::new(nested_paths.chain(once(Ok(this_path))))
                    }
                    Err(e) => {
                        unreachable!()
                        // the following doesn't compile:
                        // Box::new(once(Err(Box::new(e))))
                    }
                }
            }))
        }
        Err(e) => {
            unreachable!()
            // the following doesn't compile:
            // Box::new(once(Err(Box::new(e))))
        }
    }
}
error[E0308]: `match` arms have incompatible types
  --> src/lib.rs:44:25
   |
36 | /                 match e {
37 | |                     Ok(entry) => {
38 | |                         let this_path = entry.path();
39 | |                         let nested_paths = subdirectories_recursive(&this_path);
40 | |                         Box::new(nested_paths.chain(once(Ok(this_path))))
   | |                         ------------------------------------------------- this is found to be of type `Box<std::iter::Chain<Box<dyn Iterator<Item = std::result::Result<PathBuf,Box<(dyn std::error::Error + 'static)>>>>,std::iter::Once<std::result::Result<PathBuf,Box<(dyn std::error::Error + 'static)>>>>>`
...  |
44 | |                         Box::new(once(Err(Box::new(e))))
   | |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `std::iter::Chain`,found struct `std::iter::Once`
45 | |                     }
46 | |                 }
   | |_________________- `match` arms have incompatible types
   |
   = note: expected type `Box<std::iter::Chain<Box<dyn Iterator<Item = std::result::Result<PathBuf,Box<(dyn std::error::Error + 'static)>>>>>`
            found struct `Box<std::iter::Once<std::result::Result<_,Box<std::io::Error>>>>`

error[E0271]: type mismatch resolving `<std::iter::Once<std::result::Result<_,Box<std::io::Error>>> as Iterator>::Item == std::result::Result<PathBuf,Box<(dyn std::error::Error + 'static)>>`
  --> src/lib.rs:51:13
   |
51 |             Box::new(once(Err(Box::new(e))))
   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected trait object `dyn std::error::Error`,found struct `std::io::Error`
   |
   = note: expected enum `std::result::Result<PathBuf,Box<(dyn std::error::Error + 'static)>>`
              found type `std::result::Result<_,Box<std::io::Error>>`
   = note: required for the cast to the object type `dyn Iterator<Item = std::result::Result<PathBuf,Box<(dyn std::error::Error + 'static)>>>`

解决方法

在您的外部 match 中,编译器可以推断出由于返回类型的原因,两个分支都应该被强制转换为 Box<dyn Iterator>。但是该推断不会冒泡到嵌套的 match 中,因为 flat_map 在内部迭代器类型上是通用的。

要解决这个问题,您可以注释匹配的第一个分支,或者创建一个具有预期类型的​​临时变量:

match e {
    Ok(_) => Box::new(...) as Box<dyn Iterator<Item = Result<PathBuf>>>,Err(_) => Box::new(...),}
// or
let iter: Box<dyn Iterator<Item = Result<PathBuf>>> = match e {
    Ok(_) => Box::new(...),}

下一组错误源于这样一个事实,即强制仅真正发生在一层深度。 Box<io::Error> 可转换为 Box<dyn Error>,但 Result<_,Box<io::Error>> 不能转换为 Result<_,Box<dyn Error>>

要解决这个问题,您需要主动将其转换为正确的类型:

Box::new(once(Err(Box::new(e) as Box<dyn Error>)))

这是编译版本:

use std::path::{Path,PathBuf};
use std::fs;
use std::iter::empty;
use std::iter::once;
use std::error::Error;

type Result<T> = std::result::Result<T,Box<dyn Error>>;

// simpler version which works,but panics on errors
pub fn subdirectories_recursive_panicking(search_root_path: &Path) -> Box<dyn Iterator<Item=PathBuf>> {
    if !search_root_path.is_dir() {
        return Box::new(empty());
    }

    let entries = fs::read_dir(search_root_path).unwrap();
    Box::new(entries.flat_map(|entry| {
        let this_path = entry.unwrap().path();
        let nested_paths = subdirectories_recursive_panicking(&this_path);
        nested_paths.chain(once(this_path))
    }))
}

// below is the unlucky attempt to make it correctly handle errors
// (can't figure out why I get incompatible types in match arms)
// it works,however,if I put `unreachable!()` in place of error expressions,suggesting that the
// other code makes sense,but that would obviously panic on errors
pub fn subdirectories_recursive(search_root_path: &Path) -> Box<dyn Iterator<Item=Result<PathBuf>>> {
    if !search_root_path.is_dir() {
        return Box::new(empty());
    }

    let entries_result = fs::read_dir(search_root_path);
    match entries_result {
        Ok(entries) => {
            Box::new(entries.flat_map(|e| {
                let iter: Box<dyn Iterator<Item = Result<PathBuf>>> = match e {
                    Ok(entry) => {
                        let this_path = entry.path();
                        let nested_paths = subdirectories_recursive(&this_path);
                        Box::new(nested_paths.chain(once(Ok(this_path))))
                    }
                    Err(e) => {
                        // the following doesn't compile:
                        Box::new(once(Err(Box::new(e) as Box<dyn Error>)))
                    }
                };
                iter
            }))
        }
        Err(e) => {
            // the following doesn't compile:
            Box::new(once(Err(Box::new(e) as Box<dyn Error>)))
        }
    }
}

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


依赖报错 idea导入项目后依赖报错,解决方案:https://blog.csdn.net/weixin_42420249/article/details/81191861 依赖版本报错:更换其他版本 无法下载依赖可参考:https://blog.csdn.net/weixin_42628809/a
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下 2021-12-03 13:33:33.927 ERROR 7228 [ main] o.s.b.d.LoggingFailureAnalysisReporter : *************************** APPL
错误1:gradle项目控制台输出为乱码 # 解决方案:https://blog.csdn.net/weixin_43501566/article/details/112482302 # 在gradle-wrapper.properties 添加以下内容 org.gradle.jvmargs=-Df
错误还原:在查询的过程中,传入的workType为0时,该条件不起作用 &lt;select id=&quot;xxx&quot;&gt; SELECT di.id, di.name, di.work_type, di.updated... &lt;where&gt; &lt;if test=&qu
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct redisServer’没有名为‘server_cpulist’的成员 redisSetCpuAffinity(server.server_cpulist); ^ server.c: 在函数‘hasActiveC
解决方案1 1、改项目中.idea/workspace.xml配置文件,增加dynamic.classpath参数 2、搜索PropertiesComponent,添加如下 &lt;property name=&quot;dynamic.classpath&quot; value=&quot;tru
删除根组件app.vue中的默认代码后报错:Module Error (from ./node_modules/eslint-loader/index.js): 解决方案:关闭ESlint代码检测,在项目根目录创建vue.config.js,在文件中添加 module.exports = { lin
查看spark默认的python版本 [root@master day27]# pyspark /home/software/spark-2.3.4-bin-hadoop2.7/conf/spark-env.sh: line 2: /usr/local/hadoop/bin/hadoop: No s
使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams[&#39;font.sans-serif&#39;] = [&#39;SimHei&#39;] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -&gt; systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping(&quot;/hires&quot;) public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate&lt;String
使用vite构建项目报错 C:\Users\ychen\work&gt;npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-