Dlaczego możliwe jest zaimplementowanie Read na niezmiennym odnośniku do pliku?

Question

Jeśli sprawdzeniu docs for Read, większość metod zaakceptować &mut self. Ma to sens, ponieważ odczyt z czegoś zwykle aktualizuje wewnętrzne przesunięcie, aby następny odczyt zwracał inne dane. Jednak to kompiluje:

use std::io::Read; 
use std::fs::File; 

fn main() { 
    let file = File::open("/etc/hosts").unwrap(); 
    let vec = &mut Vec::new(); 
    (&file).read_to_end(vec).unwrap(); 
    println!("{:?}", vec); 
} 

Plik nie jest zmienny, ale dane są odczytywane z pewnością w ten wydaje mi się błędna.. It was pointed out that there is an impl<'a> Read for &'a File, ale fakt, że niezmienna instancja jest pozornie zmutowana, wciąż wydaje się dziwny.

Answer 1

Jak wskazano @kennytm, a.read_to_end(vec) jest odpowiednikiem Read::read_to_end(&mut a, vec), więc (&file).read_to_end(vec) rozszerza się do Read::read_to_end(&mut &file, vec). W tym ostatnim wyrażeniu &file jest nową wartością tymczasową typu &File. Nie ma problemu z przyjmowaniem zmiennych odniesień do wyrażenia (na przykład &mut 42). Dokładnie to się dzieje tutaj. Fakt, że wyrażenie jest odniesieniem do niezmiennej wartości, nie ma znaczenia, ponieważ nie możemy faktycznie zmutować wartości przez &mut &T.

Jeśli chodzi o pytanie, dlaczego nie potrzebujemy, aby zmienna File była zmienna: File to po prostu nowy deskryptor pliku, tzn. Indeks do tabeli otwartego pliku zarządzanej przez system operacyjny. read i przyjaciele nie będą w ogóle zmienić ten deskryptor, który jest dlaczego File nie musi być zmutowany. Istnieje oczywiście mutacja, ale dzieje się tak przez system operacyjny we własnych strukturach danych, a nie w kodzie rdzy użytkownika.