Why is it possible to implement Read on an immutable reference to File?

前端 未结 1 460
轻奢々
轻奢々 2020-11-27 23:02

If you check out the docs for Read, most of the methods accept a &mut self. This makes sense, as reading from something usually updates an internal offset s

相关标签:
1条回答
  • 2020-11-27 23:34

    As @kennytm pointed out, a.read_to_end(vec) is equivalent to Read::read_to_end(&mut a, vec), so (&file).read_to_end(vec) expands to Read::read_to_end(&mut &file, vec). In the latter expression, &file is a new temporary value of type &File. There is no problem with taking mutable references to an expression (e.g. &mut 42). This is exactly what happens here. The fact that the expression is a reference to an immutable value doesn't matter because we cannot actually mutate the value through a &mut &T.

    Regarding the question why we don't need the File to be mutable: File is basically just a newtyped file descriptor, i.e. an index into an open-file table that is managed by the OS. read and friends will not change this descriptor at all, which is why the File does not need to be mutated. There is of course mutation going on, but that is done by the operating system on its own data structures and not in your user-land rust code.

    0 讨论(0)
提交回复
热议问题