File.separator против FileSystem.getSeparator() против System.getProperty("file.separator")?

Кажется, есть три идентичных способа получить независимый от платформы "разделитель файлов" независимо от платформы:

  • java.io.File.separator

  • java.nio.file.FileSystems.getDefault().getSeparator();

  • System.getProperty("file.separator")

Как мы решаем, когда использовать какой?

Есть ли разница между ними?

Источник

2 ответа

Решение

System.getProperties() может быть переопределено вызовами System.setProperty(String key, String value) или с параметрами командной строки -Dfile.separator=/

File.separator получает разделитель для файловой системы по умолчанию.

FileSystems.getDefault() получает файловую систему по умолчанию.

FileSystem.getSeparator() получает символ разделителя для файловой системы. Обратите внимание, что в качестве метода экземпляра вы можете использовать его для передачи в ваш код других файловых систем, отличных от заданных по умолчанию, в тех случаях, когда вам нужен код для работы с несколькими файловыми системами в одной JVM.

Источник

Если ваш код не пересекает границы файловой системы, т.е. вы просто работаете с одной файловой системой, используйте java.io.File.separator,

Это, как объяснено, даст вам разделитель по умолчанию для вашей FS. Как объяснил Bringer128, System.getProperty("file.separator") может быть переопределен с помощью параметров командной строки и не так безопасен, как java.io.File.separator,

Последний, java.nio.file.FileSystems.getDefault().getSeparator(); был введен в Java 7, так что вы можете пока игнорировать его, если хотите, чтобы ваш код переносился на более старые версии Java.

Итак, каждый из этих вариантов почти такой же, как другие, но не совсем. Выберите тот, который соответствует вашим потребностям.

Источник
Другие вопросы по тегам