rust - 错误 : The requirement is only added

Question

我试图编译 fuse crate 。

失败并出现以下错误:

session.rs:110:1: 114:2 error: The requirement `FS : Filesystem` is added only by the Drop impl. [E0367]

对应line看起来像这样:

impl<FS: Filesystem> Drop for Session<FS>

即Drop 特性是为 Session 类型实现的，我觉得这很好。

这里到底有什么错误？

Answer 1

您不能对 Drop 使用条件或多重调度现在的特质。换句话说，Drop 的每个实现都必须应用于 Self 的所有“形式”。类型，因此不能限制不属于类型本身的包含类型参数。

在这个例子中，Session<FS>只会执行 Drop如果FS: Filesystem ，但是Session<u8>不会。这是不允许的。要修复此错误，您可以删除 Drop 上的边界实现或添加 where FS: Filesystem到 Session 的“固有”边界通过在类型声明中添加它来键入。