為什么我可以從讀取的可變自引用中移出？

Question

我不明白為什么這段代碼可以編譯：

use std::io::{Read, BufRead};

trait ReadString {
    fn read_null_terminated_string(&mut self, max_size: u64) -> std::io::Result<String>;
}

impl<R> ReadString for R
where
    R: BufRead,
{
    fn read_null_terminated_string(&mut self, max_size: u64) -> std::io::Result<String> {
        let mut buf = Vec::new();
        self.take(max_size).read_until(0, &mut buf)?;
        Ok(String::from_utf8_lossy(&buf).to_string())
    }
}

據我所知， BufRead不是Copy ，而BufRead::take()是：

    fn take(self, limit: u64) -> Take<Self>
    where
        Self: Sized,
    {
        Take { inner: self, limit }
    }

所以.take()肯定應該移動self ，這是不允許的，因為我只有&mut self ？ 我什至嘗試了我自己的BufRead類特征，但我確實收到了這個錯誤：

cannot move out of `*self` which is behind a mutable reference
move occurs because `*self` has type `R`, which does not implement the `Copy` trait

那么，為什么BufRead沒有出現該錯誤？

Answer 1

您不是在類型Self上調用take() ，而是在類型&mut Self （ self參數的類型）上調用它並且它確實使用了它。 這是有效的，因為Read有一個全面的實現impl<R: Read +?Sized> Read for &mut R 。