Java、Linux：如何检测两个java.ZF98ED07A4D5F50F7DEFZF4文件是否相同。

Question

我正在寻找一种有效的方法来检测两个java.io.File是否指的是同一个物理文件。 根据文档， File.equals()应该完成这项工作：

测试这个抽象路径名是否与给定的 object 相等。 当且仅当参数不是 null 并且是表示与此抽象路径名相同的文件或目录的抽象路径名时才返回 true。

然而，给定一个挂载在 /media/truecrypt1 的 FAT32 分区（实际上是一个 TrueCrypt 容器）：

new File("/media/truecrypt1/File").equals(new File("/media/truecrypt1/file")) == false

你会说这符合规范吗？ 在这种情况下，如何解决这个问题？

更新：感谢评论者，对于 Java 7 我发现java.io.Files.isSameFile()对我有用。

Answer 1

@Joachim 评论中的答案通常是正确的。 判断两个File object 是否引用同一个 OS 文件的方法是使用 getCanonicalFile() 或 getCanonicalPath()。 javadoc是这样说的：

“规范路径名是绝对且唯一的。[...] 表示现有文件或目录的每个路径名都有唯一的规范形式。”

所以以下应该工作：

File f1 = new File("/media/truecrypt1/File");  // different capitalization ...
File f2 = new File("/media/truecrypt1/file");  // ... but same OS file (on Windows)
if (f1.getCanonicalPath().equals(f2.getCanonicalPath())) {
    System.out.println("Files are equal ... no kittens need to die.");
}

---

但是，您似乎正在查看安装在 UNIX / Linux 上的 FAT32 文件系统。 AFAIK，Java 不知道这种情况正在发生，并且只是应用通用 UNIX / Linux 文件名在此场景规则中给出了错误的答案...

如果这是真的发生的事情，我认为纯 Java 6 中没有可靠的解决方案。但是，

• 你可以做一些毛茸茸的 JNI 东西； 例如，获取文件描述符编号，然后在本机代码中，使用fstat(2)系统调用来获取两个文件的设备和 inode 编号并进行比较。

• Java 7 java.nio.file.Path.equals(Object)看起来如果您首先在路径上调用resolve()来解析符号链接，它可能会给出正确的答案。 （从 javadoc 中不清楚 Linux 上的每个已安装文件系统是否将对应于不同的文件系统FileSystem 。）

• Java 7 教程有本节介绍查看两个Path对象是否用于同一个文件...建议使用java.nio.file.Files.isSameFile(Path, Path)

---

你会说这符合规范吗？

不，是的。

• 没有，因为getCanonicalPath()方法没有为每个现有的 OS 文件返回相同的值……这是您阅读 javadoc 所期望的。

• 是的，从技术意义上讲，Java 代码库（不是 javadoc）是最终规范......无论是在理论上还是在实践中。

Answer 2

您可以尝试获取文件的独占写锁，看看是否失败：

boolean isSame;
try {
   FileOutputStream file1 = new FileOutputStream (file1);
   FileOutputStream file2 = new FileOutputStream (file2);
   FileChannel channel1 = file1.getChannel();
   FileChannel channel2 = file2.getChannel();
   FileLock fileLock1 = channel1.tryLock();
   FileLock fileLock2 = channel2.tryLock();
   isSame = fileLock2 != null;
} catch(/*appropriate exceptions*/) {
   isSame = false;
} finally {
   fileLock1.unlock();
   fileLock2.unlock();
   file1.close();
   file2.close();
   ///cleanup etc...
}
System.out.println(file1 + " and " + file2 + " are " + (isSame?"":"not") + " the same");

这并不总是保证是正确的 - 因为另一个进程可能已经获得了锁，因此对你来说失败了。 但这至少不需要您将 shell 输出到外部进程。

Answer 3

同一个文件有可能有两个路径（例如，通过网络\\localhost\file和\\127.0.0.1\file将引用具有不同路径的同一个文件）。 我会 go 比较两个文件的摘要以确定它们是否相同。 像这样的东西

public static void main(String args[]) {
    try {
        File f1 = new File("\\\\79.129.94.116\\share\\bots\\triplon_bots.jar");
        File f2 = new File("\\\\triplon\\share\\bots\\triplon_bots.jar");
        System.out.println(f1.getCanonicalPath().equals(f2.getCanonicalPath()));
        System.out.println(computeDigestOfFile(f1).equals(computeDigestOfFile(f2)));
    }
    catch(Exception e) {
        e.printStackTrace();
    }
}

private static String computeDigestOfFile(File f) throws Exception {
    MessageDigest md = MessageDigest.getInstance("MD5");
    InputStream is = new FileInputStream(f);
    try {
        is = new DigestInputStream(is, md);
        byte[] buffer = new byte[1024];
        while(is.read(buffer) != -1) {
            md.update(buffer);
        }
    }
    finally {
        is.close();
    }
    return new BigInteger(1,md.digest()).toString(16);
}

它输出

false
true

这种方法当然比任何类型的路径比较都要慢得多，它还取决于文件的大小。 另一个可能的副作用是两个文件将被视为相等，与它们的位置无关。

Answer 4

Files.isSameFile 方法正是为这种用法而添加的——也就是说，您要检查两个不相等的路径是否定位到同一个文件。

Answer 5

在 *nix 系统上，大小写确实很重要。 file与File或fiLe 。

Answer 6

equals()的 API 文档说（在您的报价之后）：

在 UNIX 系统上，字母大小写在比较路径名时很重要； 在 Microsoft Windows 系统上它不是。

Answer 7

你可以试试 Runtime.exec() 的

ls -i /fullpath/File # extract the inode number.
df /fullpath/File # extract the "Mounted on" field.

如果挂载点和“inode”编号相同，则无论您有符号链接还是不区分大小写的文件系统，它们都是同一个文件。

甚至

bash test "file1" -ef "file2"

FILE1 和 FILE2 具有相同的设备和 inode 号

Answer 8

测试两个文件名是否引用相同的底层文件系统 object 的传统 Unix 方法是stat它们并测试它们是否具有相同的[dev,ino]对。

但是，这确实假设没有多余的安装。 如果这些是允许的，你必须以不同的方式对它进行 go 。