新文件("")与新文件("."):功能还是错误？

Question

new File("")并new File(".")产生相同的规范路径,但前一个对象是不可保存的.考虑下面的代码,以及两个对象如何返回相同的规范路径.文档说明规范路径"既绝对又独特".但只有用"."创建的文件.参数实际上是可用的.

不应该在某个时候抛出异常吗？在空字符串构造函数调用中(因为创建的对象似乎没有效果),或者至少在getCanonicalPath中(至少声明IOException)？

import java.io.File;
import java.io.IOException;

public abstract class Test {

    public static void main(String[] args) throws Exception {
        testFile("");
        testFile(".");
    }

    private static void testFile(String arg) throws IOException {
        System.out.format("File constructor argument: \"%s\"\n", arg);
        File g = new File(arg);
      System.out.format("toString()            = \"%s\"\n", g.toString());
        System.out.format("getAbsolutePath()     = \"%s\"\n", g.getAbsolutePath());
        System.out.format("getAbsoluteFile()     = \"%s\"\n", g.getAbsoluteFile());
        System.out.format("getgetCanonicalPath() = \"%s\"\n", g.getCanonicalPath());
        System.out.format("getgetCanonicalFile() = \"%s\"\n", g.getCanonicalFile());
        System.out.format("exists()              = %s\n", g.exists());
        System.out.format("isDirectory()         = %s\n", g.isDirectory());
        System.out.println();
  }
}

它产生的输出:

File constructor argument: ""
toString()            = ""
getAbsolutePath()     = "C:\usr\workspace\Test"
getAbsoluteFile()     = "C:\usr\workspace\Test"
getgetCanonicalPath() = "C:\usr\workspace\Test"
getgetCanonicalFile() = "C:\usr\workspace\Test"
exists()              = false
isDirectory()         = false

File constructor argument: "."
toString()            = "."
getAbsolutePath()     = "C:\usr\workspace\Test\."
getAbsoluteFile()     = "C:\usr\workspace\Test\."
getgetCanonicalPath() = "C:\usr\workspace\Test"
getgetCanonicalFile() = "C:\usr\workspace\Test"
exists()              = true
isDirectory()         = true

Answer 1

在使用带有空String的构造函数时,您将创建一个具有两个属性的File实例:

• 它实际上并不存在.
• 它的绝对路径名是"空的抽象路径名"

使用文件(".")时,您创建一个不同的文件:

• 它存在于文件系统中
• 它的绝对路径名包含"." 字符

第二个文件存在,而不是第一个.因此,第二个文件是唯一一个应该尊重getCanonicalPath中解释的规则的文件:

表示现有文件或目录的每个路径名都具有唯一的规范形式.

由于第一个文件不是真实的,因此它们的规范路径相等的事实是没有意义的.

因此,你指出的行为不是一个错误.这是我们对JVM的期望.

你会在javadoc中找到所有的信息

Answer 2

通过将空字符串传递给构造函数,您将创建一个空的"抽象路径名".来自java.io.File Javadoc:

如果给定的字符串是空字符串,则结果是空的抽象路径名.

在这种情况下,'空抽象路径名'实际上不存在,因此exists()评估为false.您获取空字符串的目录的原因在Javadoc中描述getAbsolutePath:

如果此抽象路径名是空的抽象路径名,则返回当前用户目录的路径名字符串,该字符串由系统属性user.dir命名.

Answer 3

根据javaDocs:

表示现有文件或目录的每个路径名都具有唯一的规范形式.

在第一个示例中,您指的是"没有名称的文件".

由于那个不存在,我不认为新文件("")和新文件(".")产生相同的规范路径是一个错误.