Rust 为什么特质类型为'Box<；动态错误>；`错误与“；“未实施大小调整”；但是'async fn（）->；结果<；（），盒子<；动态误差>>；`作品

我有以下简化的代码

use async_trait::async_trait; // 0.1.36
use std::error::Error;

#[async_trait]
trait Metric: Send {
    type Output;
    type Error: Error;

    async fn refresh_metric(&mut self) -> Result<Self::Output, Self::Error>;
}

#[derive(Default)]
struct StaticMetric;

#[async_trait]
impl Metric for StaticMetric {
    type Output = ();
    type Error = Box<dyn Error>;

    async fn refresh_metric(&mut self) -> Result<Self::Output, Self::Error> {
        Ok(())
    }
}

struct LocalSystemData<T> {
    inner: T,
}

impl<T> LocalSystemData<T>
where
    T: Metric,
    <T as Metric>::Error: 'static,
{
    fn new(inner: T) -> LocalSystemData<T> {
        LocalSystemData { inner }
    }

    async fn refresh_all(&mut self) -> Result<(), Box<dyn Error>> {
        self.inner.refresh_metric().await?;
        Ok(())
    }
}

#[tokio::main]
async fn main() -> Result<(), Box<dyn Error>> {
    let mut sys_data = LocalSystemData::new(StaticMetric::default());
    sys_data.refresh_all().await?;

    Ok(())
}

---

为什么我的第二个版本编译而第一个版本不编译？作为一个人，代码对我来说也完全一样。我觉得我欺骗了编译器：-）。

错误消息有点误导，因为它代表了类型约束解析过程中出现的中间问题。同样的问题可以在没有异步的情况下重现

use std::error::Error;

trait Metric {
    type Error: Error;
}

struct StaticMetric;

impl Metric for StaticMetric {
    type Error = Box<dyn Error>;
}

因此，

Box

不应分配给关联的类型

Metric:：Error

除了完全摆脱关联类型之外，还可以通过引入您自己的新错误类型（可以流入主函数）来解决这一问题

#[derive(Debug, Default)]
struct MyErr;

impl std::fmt::Display for MyErr {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        f.write_str("I AM ERROR")
    }
}
impl Error for MyErr {}

#[async_trait]
impl Metric for StaticMetric {
    type Output = ();
    type Error = MyErr;

    async fn refresh_metric(&mut self) -> Result<Self::Output, Self::Error> {
        Ok(())
    }
}

#[派生（调试，默认）]
结构MyErr；
impl std:：fmt:：MyErr的显示{
fn fmt（&self，f:&mut std:：fmt:：Formatter）->std:：fmt:：Result{
f、 写下“我错了”
}
}
MyErr{}的impl错误
#[异步特性]
静态度量的impl度量{
类型输出=（）；
类型错误=MyErr；
异步fn刷新度量（&mut self）->结果{
好（（））
}
}

另见：

---

这是非常清楚的。但这为什么会起作用呢？如果要使用

？

语法，Rust需要在错误类型中包含

impl Error

。因此，如果没有为

框

实现特征（这肯定不是）。为什么错误传播在我的示例中有效，而在我的问题代码中无效。@createproblem

？

语法实际上不需要类型来实现

错误。它需要从给定的错误变量类型转换为函数签名通过
from
定义的错误。这是一个不使用任何错误类型的函数。我完全同意你的观点，看看这个，编译器告诉我，
error
trait没有实现，这是正确的，但是为什么要实现呢？如您所见，
？
在
main
函数中工作，但不在
结构中工作。谢谢你的帮助。我已经更新了问题的一些细节。在另一种情况下，这是因为
From
的实现中存在一个怪癖，它不允许您将
框
转换为另一个
框
。有人试图解决这个问题，但这将对语言产生严重影响。
impl<'a, E: Error + 'a> From<E> for Box<dyn Error + 'a>

#[derive(Debug, Default)]
struct MyErr;

impl std::fmt::Display for MyErr {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        f.write_str("I AM ERROR")
    }
}
impl Error for MyErr {}

#[async_trait]
impl Metric for StaticMetric {
    type Output = ();
    type Error = MyErr;

    async fn refresh_metric(&mut self) -> Result<Self::Output, Self::Error> {
        Ok(())
    }
}