[解決済み] File.separator vs FileSystem.getSeparator() vs System.getProperty("file.separator")ですか？

質問

3つの 同じ プラットフォーム依存の "file separator" をプラットフォーム非依存で取得する方法が 3 つあるようです。

• java.io.File.separator

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

• System.getProperty("file.separator")

どのような場合に使用するかをどのように決定するのか？

両者に違いはあるのでしょうか？

どのように解決するのですか？

System.getProperties() を呼び出すことで上書きすることができます。 System.setProperty(String key, String value) を呼び出すか、コマンドラインパラメータで -Dfile.separator=/

File.separator デフォルトのファイルシステム用のセパレータを取得します。

FileSystems.getDefault() はデフォルトファイルシステムを取得します。

FileSystem.getSeparator() はファイルシステムのセパレータ文字を取得します。インスタンスメソッドとして、コードが1つのJVMで複数のファイルシステム上で動作する必要がある場合、デフォルト以外の異なるファイルシステムをコードに渡すために、これを使用できることに注意してください。