为什么Rust中?运算符可将&str转换为Box<dyn Error>？

核心原因 #

foo能正常编译的核心是 ?运算符会自动完成错误类型的转换，而直接返回Err值不会触发任何隐式类型转换。

具体原理 #

• Rust中?作用于Result类型时，如果命中Err(e)分支，会自动执行两步操作：
  1. 调用std::convert::From::from(e)，将当前错误的类型转换为函数返回值声明的错误类型
  2. 直接以Err(转换后的错误值)的形式提前退出当前函数
• 标准库已经预定义了转换实现：Box<dyn Error>实现了From<&str> trait，该实现会把字符串切片包装为满足Error trait要求的对象，再装入Box容器，完全匹配函数返回的错误类型约束。

代码逻辑验证 #

foo中的x是Err("error")时，?自动调用From::from("error")得到Box<dyn Error>类型的错误值，返回的Err(Box<dyn Error>)完全符合函数返回类型要求，因此编译通过。

而bar直接构造Err("error")，Rust没有隐式类型转换的语法规则，不会自动插入转换逻辑，&str和Box<dyn Error>类型不匹配，因此编译失败。你可以手动调用转换让bar编译通过：

fn bar() -> Result<i32, Box<dyn Error>> {
    // into() 等价于 ? 自动执行的 From::from 转换
    Err("error".into())
}

内容的提问来源于stack exchange，提问作者Michael Jung