Python - piccola modifica a un file enorme

Question

Si tratta di una questione teorica, come non ho un problema reale, ma ho avuto modo di chiedersi ...

Se ho avuto un enorme file di , dire molti concerti a lungo e volevo cambiare un singolo byte e conoscevo l'offset di quel byte, come potevo farlo in modo efficiente? C'è un modo per farlo senza riscrivere l'intero file e solo scrivendo il singolo byte?

Non vedo nulla nel file Python che mi consente di scrivere su un offset specifico in un file.

Answer 1

Finché non c'è bisogno di inserto o eliminare byte, è possibile aprire il file in modalità "r+", usa il metodo di seek per posizionare l'oggetto file al byte da modificare e scrivere un byte.

Potrebbe essere più efficiente utilizzare le operazioni di livello inferiore os.open, os.lseek, os.read, and os.write, che non eseguono alcun buffering a livello di applicazione.

Se fai necessità di inserire o cancellare byte, mi dispiace, sei fuori di fortuna: non c'è modo di farlo senza dover riscrivere l'intero file (dal punto di primo inserimento o la cancellazione). Questa è una limitazione delle API di file di basso livello POSIX (e AFAIK anche Windows), non di Python in particolare.

Answer 2

È possibile cercare() in una posizione e scrivere un singolo byte. Sovrascriverà quello che c'è, invece di inserirlo.

Answer 3

Cercare in quella posizione nel file e scrivere un singolo byte. oggetti file in Python hanno un metodo che accetta un numero intero offset da qualche costante cercano:

seek(offset[, whence]) 

L'argomento donde è facoltativo e il valore predefinito è 0 (posizione assoluta nel file); altri valori sono 1 (ricerca relativa alla posizione corrente) e 2 (ricerca relativa all'estremità del file).

Answer 4

Ecco un buon tutorial per quello che potrebbe desiderare di fare: http://diveintopython3.ep.io/files.html#read

'cercare' è il metodo per trovare il byte che si desidera. I link di colloqui di cui sopra circa precauzioni è necessario prendere