Voglio copiare gli ultimi 10 MB di un file possibilmente grande in un altro file. Idealmente userei FileInputStream, skip() e poi read(). Tuttavia non sono sicuro che le prestazioni di skip() saranno negative. Skip() è in genere implementato utilizzando un file di ricerca o in realtà legge e scartare i dati?FileInputStream.skip() esegue una ricerca?
Conosco RandomAccessFile ma sono interessato a utilizzare FileInputStream al posto di quello (RandomAccessFile è fastidioso in quanto l'API non è standard).
ho solo dimenticato se ho provato questo su JVM Oracle o Android, ma FileInputStream.skip() controlla per i valori negativi. –