为何持有&mut self引用时能调用BufRead的take方法(会转移自身)?
为什么这段Rust代码能够编译?
你提到的代码如下:
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的take方法定义为接收self(所有权转移),但函数中只有&mut self引用,按道理无法移动*self,但这段代码却能编译,而自定义类似 trait 时会报错。
核心原因:标准库为&mut R实现了BufRead
标准库中,除了为所有实现BufRead的类型R提供 trait 实现外,还额外为**可变引用类型&mut R(当R: BufRead + ?Sized时)**实现了BufRead。这个隐式的实现让&mut R本身也成为了BufRead的实现者。
当你在read_null_terminated_string中调用self.take(max_size)时:
- 这里的
self是&mut R类型(函数参数是&mut self,对应R的可变引用) - 由于
&mut R实现了BufRead,此时调用的take方法是针对&mut R的版本,它接收的self是&mut R(即这个可变引用本身),而不是原始的R类型 - 移动一个可变引用是合法的:虽然可变引用不实现
Copy,但我们只是把函数参数中的&mut R转移给Take结构体,而Take会在函数执行完毕后被销毁,不会影响原始R的生命周期或所有权
自定义 trait 报错的原因
你自己定义类似 trait 时,只给原始类型R实现了 trait,没有为&mut R添加对应的实现。此时调用take方法时,编译器只能尝试调用针对R的版本,这就需要移动*self(即原始的R实例),但*self位于可变引用之后,无法被移动,因此触发编译错误。
如果要让自定义 trait 也支持这种用法,你需要添加类似标准库的实现:
impl<R: BufRead + ?Sized> ReadString for &mut R { fn read_null_terminated_string(&mut self, max_size: u64) -> std::io::Result<String> { (**self).read_null_terminated_string(max_size) } }
内容的提问来源于stack exchange,提问作者Timmmm
相关产品推荐
相关产品推荐

