rust - Rust提示通用参数不满足特征界限，即使它不是必需的

Question

This question already has answers here:

Deriving a trait results in unexpected compiler error, but the manual implementation works

(2个答案)


在10个月前关闭。




我正在尝试编译以下rust代码:

#[derive(Clone)]
struct Foo<Data> {
    f: fn(&Data),
}

trait Trait : Clone {
    type DataType;
}

// throws:
// error[E0277]: the trait bound `Data: std::clone::Clone` is not satisfied
impl<Data> Trait for Foo<Data> {
    type DataType = Data;
}

它提示 Data通用参数不满足 Clone约束，即使不应该这样做。

根据我的理解， Foo<Data>应该支持 Clone，而无需 Data来支持它。

我究竟做错了什么？

最佳答案

derive的Clone有时会添加限制性的where约束。截至2020年5月，它仍然是一个 Unresolved 错误。请参阅:#[derive] sometimes uses incorrect bounds · Issue #26925 · rust-lang/rust。

一种解决方法是为此结构手动实现Clone。例如:

impl<Data> Clone for Foo<Data> {
    fn clone(&self) -> Self {
        Self { f: self.f }
    }
}

关于rust - Rust提示通用参数不满足特征界限，即使它不是必需的，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61619394/

上一篇：rust - 不能将 `hsets` 借为可变，因为它也被借为不可变

下一篇：parsing - PEG语法解析不是关键字的标识符名称

Answer 1

derive的Clone有时会添加限制性的where约束。截至2020年5月，它仍然是一个 Unresolved 错误。请参阅:#[derive] sometimes uses incorrect bounds · Issue #26925 · rust-lang/rust。

一种解决方法是为此结构手动实现Clone。例如:

impl<Data> Clone for Foo<Data> {
    fn clone(&self) -> Self {
        Self { f: self.f }
    }
}