Discussion :

[best94]

Bonjour,

Je voudrai pouvoir copier simplement un fichier d'un répertoire vers un autre, sans changer la date de création du fichier.

J'utilise la fonction suivante :

Mais je trouve ça très compliqué pour une simple copie

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
	static void copier_fichier( String fichier_ori, String fichier_dest ) {
		try {
			BufferedReader entree = new BufferedReader(new FileReader(fichier_ori));
			BufferedWriter sortie = new BufferedWriter(new FileWriter(fichier_dest));
			String str;
			while ((str=entree.readLine()) != null) {
				sortie.write(str + "\n");
			}
			entree.close();
			sortie.close();
		}
		catch(Exception exception) {
			exception.printStackTrace();
        }
	}

Merci pour l'aide

[Heimdal]

Difficile de faire plus simple cela dit, à part en utilisant une API genre CommonsIO et FileUtils.copyFile(File src, File dest)

Deux tites remarques cependant si tu choisis de garder ta méthode:
- Les close() dans le bloc try c'est pas tiptop. On préfère fermer les flux dans un finally.
- "\n" devrait être remplacé par System.getProperty("line.separator") afin que ça marche sur tous les OS

[adiGuba]

- Les close() dans le bloc try c'est pas tiptop. On préfère fermer les flux dans un finally.

- "\n" devrait être remplacé par System.getProperty("line.separator") afin que ça marche sur tous les OS

Heu...
Pourquoi présupposer que le fichier contient des caractères !?
En effet cela pose plusieurs problèmes
Je dirais plutôt qu'il serait préférable de ne pas supposer qu'on manipules du texte : un fichier ne contient pas forcément du texte et dans ce cas on va corrompre le fichier avec l'insertion d'un "\n" ou même d'un System.getProperty("line.separator")... sans compter les dégat que peuvent provoquer l'encodage/désencodage des caractères ...


Bref il est préférable de manipuler simplement des bytes, de préférence avec une lecture/écriture par bloc :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
	public static void copy(File source, File dest) throws IOException {
		FileInputStream in = new FileInputStream(source);
		try {
			FileOutputStream out = new FileOutputStream(dest);
			try {
				byte[] buf = new byte[8192];
				int len;
				while ( (len=in.read(buf)) >= 0 ) {
					out.write(buf, 0, len);
				}
			} finally {
				out.close();
			}
		} finally {
			in.close();
		}
	}

On peut également utiliser les FileChannel qui peuvent apporter de meilleurs résultats sur de gros fichiers :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
	public static void copy(File source, File dest) throws IOException {
		FileChannel in = new FileInputStream(source).getChannel();
		try {
			FileChannel out = new FileOutputStream(dest).getChannel();
			try {
				long pos = 0;
				do {
					long toWrite = in.size() - pos;
					pos += in.transferTo(pos, toWrite, out);
				} while ( pos<in.size() );
			} finally {
				out.close();
			}
		} finally {
			in.close();
		}
	}

a++

[Heimdal]

Pourquoi présupposer que le fichier contient des caractères !?

T'as tout à fait raison, j'ai été trop rapide et trop superficiel dans ma réponse.

En tout cas, merci pour ton exemple d'utilisation des FileChannel, je ne connaissais pas du tout.

[best94]

Merci pour vos réponses

Par contre le fait d'utiliser ces méthodes va changer la date du fichier ?

Si oui y a t il un moyen d'éviter ça


Merci

[adiGuba]

La date est généré automatiquement par le système d'exploitation.

Tu peux la modifier via setLastModified()...

a++