Je veux copier les 10 derniers Mo d'un fichier éventuellement volumineux dans un autre fichier. Idéalement, j'utiliserais FileInputStream, skip() et ensuite read(). Cependant, je ne sais pas si les performances de skip() seront mauvaises. Est-ce que skip() est typiquement implémenté en utilisant un fichier de recherche en dessous ou est-ce qu'il lit et rejette des données?Est-ce que FileInputStream.skip() fait une recherche?
Je connais RandomAccessFile mais je suis intéressé de savoir si je pourrais utiliser FileInputStream à la place de cela (RandomAccessFile est embêtant car l'API n'est pas standard).
J'ai oublié si je l'ai testé sur cette machine virtuelle Java Oracle ou Android, mais les contrôles FileInputStream.skip() pour les valeurs négatives. –