Differenza tra File.separator e barra nei percorsi

Qual è la differenza tra use File.separatore a normal/ in una stringa di percorso Java?

Contrariamente alla doppia \\piattaforma backslash , l'indipendenza non sembra essere la ragione, poiché entrambe le versioni funzionano con Windows e Unix.

public class SlashTest {
    @Test
    public void slash() throws Exception {
        File file = new File("src/trials/SlashTest.java");
        assertThat(file.exists(), is(true));
    }

    @Test
    public void separator() throws Exception {
        File file = new File("src" + File.separator + "trials" + File.separator + "SlashTest.java");
        assertThat(file.exists(), is(true));
    }
}

Per riformulare la domanda, se /funziona su Unix e Windows, perché si dovrebbe mai voler usare File.separator?

Con le librerie Java per la gestione dei file, puoi tranquillamente utilizzare /(barra, non barra rovesciata) su tutte le piattaforme. Il codice della libreria gestisce la traduzione interna di percorsi specifici della piattaforma.

Potresti voler usare File.separatornell'interfaccia utente, tuttavia, perché è meglio mostrare alle persone cosa avrà senso nel loro sistema operativo, piuttosto che ciò che ha senso per Java.

Aggiornare : non sono stato in grado, in cinque minuti di ricerca, di documentare il comportamento "puoi sempre usare una barra". Ora, sono sicuro di averlo visto documentato, ma nell'assenza di trovare un riferimento ufficiale (perché la mia memoria non è perfetta), continuerei a usarlo File.separatorperché sai che funzionerà.

Lo usi File.separatorperché un giorno il tuo programma potrebbe essere eseguito su una piattaforma sviluppata in una terra lontana, una terra di cose strane e persone sconosciute, dove i cavalli piangono e le mucche gestiscono tutti gli ascensori. In questa terra, le persone hanno tradizionalmente usato il carattere ":" come separatore di file, e così rispettosamente la JVM obbedisce ai loro desideri.

Sebbene l'utilizzo di File.separator come riferimento per un nome di file sia eccessivo (per coloro che immaginano terre lontane, immagino che la loro implementazione JVM sostituirà a /con un :proprio come Windows jvm lo sostituisce con a \).

Tuttavia, a volte si ottiene il riferimento al file, non lo si crea, ed è necessario analizzarlo e per poterlo fare, è necessario conoscere il separatore sulla piattaforma. File.separator ti aiuta a farlo.

OK ispezioniamo un po 'di codice.
File.javalinee da 428 a 435 in File.<init>:

String p = uri.getPath();
if (p.equals(""))
    throw new IllegalArgumentException("URI path component is empty");

// Okay, now initialize
p = fs.fromURIPath(p);
if (File.separatorChar != '/')
p = p.replace('/', File.separatorChar);

E leggiamo i fs/*(FileSystem)*/.fromURIPath()documenti:

java.io.FileSystem
estratto pubblico String fromURIPath (percorso stringa) Postelaborare la stringa del percorso
URI fornita, se necessario. Questo è usato su win32, ad es. Per trasformare "/ c: / foo" in "c: / foo". La stringa del percorso ha ancora dei separatori di barra; il codice nella classe File li tradurrà dopo la restituzione di questo metodo.

Questo significa FileSystem.fromURIPath()che la post elaborazione sul percorso URI è solo in Windows e perché nella riga successiva:

p = p.replace('/', File.separatorChar);

Sostituisce ogni '/' con il sistema dipendente seperatorChar, si può sempre essere sicuri che '/' sia sicuro in ogni sistema operativo.

Bene, ci sono più sistemi operativi di Unix e Windows (dispositivi portatili, ecc.) E Java è noto per la sua portabilità. La migliore pratica è usarlo, quindi la JVM potrebbe determinare qual è la migliore per quel sistema operativo.

Anche se non fa molta differenza durante il viaggio, lo fa al ritorno.

Sicuramente puoi usare '/' o '\' nel nuovo File (percorso String), ma File.getPath () ti darà solo uno di essi.

In ritardo alla festa. Sono su Windows 10 con JDK 1.8 ed Eclipse MARS 1.
Lo trovo

getClass().getClassLoader().getResourceAsStream("path/to/resource");

funziona e

getClass().getClassLoader().getResourceAsStream("path"+File.separator+"to"+File.separator+"resource");

non funziona e

getClass().getClassLoader().getResourceAsStream("path\to\resource");

non funziona. Gli ultimi due sono equivalenti. Quindi ... ho buone ragioni per NON usare File.separator.

portabilità semplice e chiara.

"Java SE8 per programmatori" afferma che Java affronterà entrambi. (pagg. 480, ultimo paragrafo). L'esempio afferma che:

c:\Program Files\Java\jdk1.6.0_11\demo/jfc

analizzerà bene. Prendi nota dell'ultimo separatore (stile Unix).

È pacchiano e probabilmente soggetto a errori, ma è ciò che sostengono (Deitel e Deitel).

Penso che la confusione per le persone, piuttosto che Java, sia una ragione sufficiente per non usare questa funzionalità (mis?).

Come i signori hanno descritto la differenza con i dettagli della variante.

Vorrei raccomandare l'uso di Apache Commons io api, classe FilenameUtilsquando si tratta di file in un programma con la possibilità di distribuire su più sistemi operativi.

Il percorso per un file o una directory viene specificato utilizzando le convenzioni di denominazione del sistema host. Tuttavia, la classe File definisce costanti dipendenti dalla piattaforma che possono essere utilizzate per gestire i nomi di file e directory in modo indipendente dalla piattaforma.

Files.seperator definisce il carattere o la stringa che separa la directory e i componenti del file in un percorso. Questo separatore è '/', '\' o ':' rispettivamente per Unix, Windows e Macintosh.

Se stai usando Java 7, controlla Path.resolve () e Paths.get () .

L'utilizzo di File.separator ha fatto sì che Ubuntu generasse file con "\" sul suo nome anziché su directory. Forse sono pigro con come sto creando file (e directory) e avrei potuto evitarlo, indipendentemente, usare "/" ogni volta per evitare file con "\" sul suo nome

Se si sta tentando di creare un file da un percorso pronto (salvato nel database, ad esempio) utilizzando il separatore Linux, cosa devo fare?

Forse basta usare il percorso per creare il file:

new File("/shared/folder/file.jpg");

Ma Windows usa un separatore diverso ( \). Quindi, l'alternativa è convertire il separatore di barra in piattaforma indipendente? Piace:

new File(convertPathToPlatformIndependent("/shared/folder"));

Questo metodo convertPathToPlatformIndependentprobabilmente avrà una sorta di divisione per "/" e si unirà a File.separator.

Bene, per me, non è carino per un linguaggio indipendente dalla piattaforma (giusto?) E Java già supporta l'uso di /su Windows o Linux. Ma se stai lavorando con percorsi e devi ricordare questa conversione ogni volta che questo sarà un incubo e non avrai alcun reale guadagno per l'applicazione sul futuro (forse nell'universo che @Pointy ha descritto).