Java: comment obtenir un fichier à partir d'une URL échappée?

Question

Je reçois une URL qui localise un fichier local (le fait que je reçois une URL n'est pas sous mon contrôle). L'URL est échappée valablement comme défini dans RFC2396. Comment puis-je transformer ceci en un objet Java File? Bizarrement, la méthode URL getFile() renvoie une chaîne, pas un fichier.

J'ai créé un répertoire appelé "/ tmp/un répertoire" (avec un caractère d'espacement entre "un" et "dir"), qui est correctement localisé par l'URL suivante: "file: /// tmp/certains% 20dir "(citations ajoutées pour plus de clarté). Comment puis-je convertir cette URL en un fichier Java?

Pour donner plus de détails au sujet de ma question, les impressions suivantes faux:

URL url = new URL("file:///tmp/some%20dir"); 
File f = new File(url.getFile()); 
System.out.println("Does dir exist? " + f.exists()); 

Bien que les éléments suivants (en remplacement de la main "% 20" avec un espace) imprime vrai:

URL url = new URL("file:///tmp/some%20dir"); 
File f = new File(url.getFile().replaceAll("%20", " ")); 
System.out.println("Does dir exist? " + f.exists()); 

Notez que Je ne demande pas pourquoi le premier exemple imprime faux ni pourquoi le deuxième exemple en utilisant mon hacky remplacerTous imprime vrai, je demande ho w pour convertir une URL échappée en un objet Fichier Java.

EDIT: merci à tous, c'était presque une dupe mais pas exactement. Sincèrement, je cherchais une méthode d'aide dans la classe d'URL elle-même.

Les travaux suivants comme prévu pour obtenir un fichier Java à partir d'une URL Java:

URL url = new URL("file:///home/nonet/some%20dir"); 
File f = new File(URLDecoder.decode(url.getFile(), "UTF-8")); 

Answer 1

URLDecoder.decode(url);//deprecated 
URLDecoder.decode(url, "UTF-8"); //use this instead 

Voir question connexe How do you unescape URLs in Java?

Answer 2

La File constructor taking an URI en combinaison avec URL#toURI() devrait fonctionner:

URL url = getItSomehow(); 
File file = new File(url.toURI()); 

Answer 3

AFAIK comme cela Paths.get(url.toURI()).toFile() est le meilleur, en commençant par Java 7. Voir aussi Converting Java file:// URL to File(...) path, platform independent, including UNC paths.