似乎有三种相同的方法可以独立地获得与平台相关的"文件分隔符"平台:
java.io.File.separator
java.nio.file.FileSystems.getDefault().getSeparator();
System.getProperty("file.separator")
我们如何决定何时使用哪个?
他们之间甚至有什么不同吗?
java platform-independent
java ×1
platform-independent ×1