Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/java/359.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/8/file/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
使用java.io.File访问Mac中的文件_Java_File_Osx Snow Leopard - Fatal编程技术网

使用java.io.File访问Mac中的文件

使用java.io.File访问Mac中的文件,java,file,osx-snow-leopard,Java,File,Osx Snow Leopard,我使用java.io.File在java中创建一个新文件。在Mac Os上,我使用的代码与在windows上正常工作的代码相同,但在Mac上不起作用 我正在使用 File file = new File(path); 创建一个新文件 在windows中: 我使用了stringpath=“C:\test\1.html” 它工作得很好 在Mac上: 我想在“/Users/pls/1.html” 但这是一个错误 java.io.FileNotFoundException : /Users/pls/1

我使用
java.io.File
在java中创建一个新文件。在Mac Os上,我使用的代码与在windows上正常工作的代码相同,但在Mac上不起作用

我正在使用

File file = new File(path);
创建一个新文件

在windows中: 我使用了
stringpath=“C:\test\1.html”
它工作得很好

在Mac上: 我想在
“/Users/pls/1.html”
但这是一个错误

java.io.FileNotFoundException : /Users/pls/1.html (No such file or directory)

请提供帮助

不要手动写入分隔符,请改用独立于系统的分隔符


您确定
/Users/pls
目录存在并且文件在该目录内吗?。。。您是否有阅读权限?是“/Users/pls/1.html”还是“/Users/pls/1.html”?(注:前一种情况下的U大写)。另外,new File()只创建一个文件对象,而不是一个文件。它不会抛出除NullPointerException之外的任何异常。非常感谢,主要问题是由于权限。实际上,我正在其中写入文件的目录具有权限,但父目录没有写入权限。谢谢你指出事实,但我认为这不会有帮助。
String path = File.separator+"Users"+File.separator+"pls"+File.separator+"1.html";
File file = new File(path);