URL直接转化成String类型有关问题

URL直接转化成String类型问题
有一个URL URL url= file:/D:/work/bois/resources
   
  File file =new File(url+"/data.properties");

  找不到文件是怎么回事啊，用
  File file= new File(url.getFile(), "resources" + File.separator + "data.properties");
  就能找到文件，这是什么原因。。。难道URL不能直接换成String?

[解决办法]
File file =new File("D:/work/bois/resources/data.properties");

试试呢。。。
可能new File（）参数里不识别 file：/关键字。。。
[解决办法]

Java code

    public static void main(String[] args) {        URL url = ArrayDemo.class.getClassLoader().getResource("snmpAgreement.properties");        System.out.println(url);        File file = new File(url.getFile());        System.out.println(url.getFile());        System.out.println(file.exists());    }
[解决办法]
API没说File类支持url吧
[解决办法]
toString行不行主要是看toString转换出来的String是否满足你的new File("")的string的要求，感觉这个跟系统没什么关系吧，就像Object的toString方法一样，这样主要看内部的实现，