使用Rust From trait进行类型转换时触发栈溢出错误

栈溢出的根本原因 #

你最初的From<FooError> for Error实现里，e.into()触发了无限递归：

impl From<FooError> for Error {
    fn from(e: FooError) -> Self {
        e.into() // 这里的into()会调用当前这个From实现，无限循环
    }
}

当调用Error::from(foo_e)时，编译器解析e.into()的目标类型是Error（因为返回值是Self即Error），此时匹配到的From实现就是你正在定义的这个，于是函数会反复调用自身，直到栈空间耗尽触发溢出。

你原本期望的FooError → ErrorKind → Error转换链不会被自动选中——编译器会优先匹配直接的From<FooError> for Error实现，而非绕去ErrorKind的间接转换路径。

为什么编译器允许这种写法？ #

这不属于编译器bug，而是合法trait实现带来的逻辑错误：

• Rust静态类型检查仅确保代码符合语法规则和trait约束，不会对运行时的递归行为做全局分析（这类分析复杂度极高，无法覆盖所有场景）。
• 这个From实现本身完全符合trait要求：接收FooError、返回Error，语法上没有问题，编译器无法提前预判到运行时会出现无限递归。

正确的实现方式 #

你修改后的写法解决了问题，核心是明确指定转换路径：

impl From<FooError> for Error {
    fn from(e: FooError) -> Self {
        Self(e.into()) // 这里的into()目标类型是ErrorKind，因为要传给Error的构造函数
    }
}

此时e.into()的目标类型被编译器推导为ErrorKind（因为Error的构造函数需要ErrorKind参数），会调用From<FooError> for ErrorKind的实现生成ErrorKind::Foo(e)，再包裹成Error对象，彻底避免了递归。

你也可以写成更显式的形式，可读性更强：

impl From<FooError> for Error {
    fn from(e: FooError) -> Self {
        Error(ErrorKind::from(e))
    }
}

关于贡献修复方案 #

这种情况不属于编译器需要修复的bug，本质是用户代码的逻辑错误。不过如果你希望提升编译器的提示能力，可以关注Rust社区的相关issue，或提交RFC讨论是否能在特定场景（比如trait实现中直接调用自身转换）下给出警告。但这类检测需要平衡精度和编译性能，目前Rust编译器暂时没有做这类检查。

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