我正在尝试编译以下 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 支持。
我做错了什么？
【问题讨论】：
Clone 的 derive 有时会添加限制性的 where 约束。截至 2020 年 5 月，它仍然是一个开放的错误。请参阅：#[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 }
}
}
【讨论】：
impl Trait 时才会出现问题。没有它派生成功就好了。您是否知道任何不需要手动克隆的解决方法？
where Data: Clone，这本身是可以的（尽管在这种特定情况下它是 derive 问题）。现在理解这一点很重要，Foo<Data>: Clone 不成立，除非Data : Clone 也成立。到现在为止还挺好。现在是 trait 和 impl。因为我们有Trait : Clone，那么impl 需要Foo<Data>: Clone，因此需要Data: Clone。但是，impl 不限制为Data: Clone，因此失败。
Data 的Clone，因此它仍然有效。比如说，如果你有一个没有实现Clone 的struct Bar {}，你可以声明let x : Foo<Bar> = Foo { f: |_| {} };，它会编译。但是，如果您尝试添加 let y = x.clone();，它将无法构建，因为 Foo<Bar>: Clone 不成立。