[name]没有实现d::io::读取

Question

当我制作一个复合特征（名称？）这是由另外两个特性组成的，编译器似乎没有检测到这两个特性是由该复合特性实现的。

代码如下:

use std::io::{Read, Seek};
use zip::read::ZipArchive;

trait ReadSeek: Read + Seek {}
impl<T: Read + Seek> ReadSeek for T {}

pub struct ArchiveZip<'a> {
    path: &'a str,
    archive: ZipArchive<&'a (dyn ReadSeek)>,
}

错误是这样的:

error[E0277]: the trait bound `&'a (dyn ReadSeek + 'a): std::io::Read` is not satisfied
  --> src/archive/zipfile.rs:12:14
   |
12 |     archive: ZipArchive<&'a (dyn ReadSeek)>,
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::io::Read` is not implemented for `&'a (dyn ReadSeek + 'a)`
   | 
  ::: /Users/nhooey/.cargo/registry/src/github.com-1ecc6299db9ec823/zip-0.5.11/src/read.rs:50:26
   |
50 | pub struct ZipArchive<R: Read + io::Seek> {
   |                          ---- required by this bound in `ZipArchive`
   |
   = note: `std::io::Read` is implemented for `&'a mut (dyn archive::ReadSeek + 'a)`, but not for `&'a (dyn archive::ReadSeek + 'a)`

为什么它没有检测到ReadSeek特性没有同时实现Read和Seek？

(我省略了另一个同样以同样方式抱怨< code>Seek的错误消息。)

Answer 1

从错误消息中您可以看到：结构 ZipArchive

您的代码有:< code>ZipArchive

因此，您可以为引用实现您的trait（根据我的经验，这通常不太好），或者您可以找到一种方法让R成为直接实现所需特征的类型。查看引用的留档，您可以看到Read和Seek是为可变引用实现的。因此，将您的引用更改为可变应该可以解决问题。