在java中用文件分隔符代替路径中的前斜杠

我的java类中有以下属性代码

certificateDerFile = System.getProperty("catalina.base")
                + "//logs//Cert_patch.der";

现在我的问题是，在路径“//logs//Cert\u patch.der”中，应该对其进行重构，例如//斜杠不应该存在，应该有一些在windows和Linux中都可以使用的文件分隔符，请建议如何实现同样的效果

File.separator is either / or \ that is used to split up the path to a spec
ific file. For example on Windows it is \ or C:\Documents\Test

例如：

String path = File.separator + "var"+ File.separator + "temp"

Linux：

/var/temp

窗口：

---

\var\temp

请求您转换与我相同的posted@yrturgjririohrjkrh为什么您需要从您的问题中选择特定的路径？我认为这个答案相当清楚。你能解释一下为什么你的路径不同吗？我认为你不必逃避普通的斜杠，只需要反斜杠。你不需要逃避

/

，你只需要在Java中逃避

\

。在Windows上，您可以使用

/

和

\

作为路径分隔符。