判断两文件描述符是否指向同一文件：st_dev字段唯一性疑问

先纠正代码里的笔误 #

你贴的判断代码存在一处错误：第二次调用fstat时应该传入fd2而非fd1，正确代码如下：

bool
ref_same_file(int fd1, int fd2)
{
  struct stat stat1, stat2;
  if (!fstat(fd1, &stat1) && !fstat(fd2, &stat2))
    return (stat1.st_dev == stat2.st_dev)
      && (stat1.st_ino == stat2.st_ino);
  perror("fstat");
  exit(errno);
}

解答你的st_dev相关疑问 #

• 你说的没错，st_dev确实和块设备相关，但它不是指物理块设备本身，而是文件所在文件系统的唯一设备标识符。
• 单个物理块设备确实可以划分多个分区，每个分区对应独立的文件系统，内核会为每个文件系统分配唯一的st_dev值（通常由主设备号+次设备号组合而成）。也就是说，哪怕两个文件在同一块物理硬盘上，只要分属不同分区（不同文件系统），它们的st_dev就会不同。

POSIX用st_dev+st_ino标识唯一文件的原理 #

1. st_ino（inode号）的作用：在单个文件系统内部，每个文件的inode号是唯一的——它是文件系统索引文件元数据的核心标识，同一文件系统中不会有两个不同文件共用同一个inode号。
2. st_dev的作用：用来区分不同的文件系统。因为不同文件系统的inode号空间是独立的，可能出现A文件系统的inode 123和B文件系统的inode 123对应完全不同文件的情况。
3. 组合的唯一性：将st_dev（文件系统标识）和st_ino（文件系统内唯一inode号）结合，就能在整个系统范围内唯一标识一个底层文件——无论文件位于哪个分区、哪个文件系统，这个组合都不会重复。

补充说明 #

• 对于符号链接，fstat会返回链接指向目标文件的st_dev和st_ino；若要获取链接本身的信息，需使用lstat。
• 设备文件、管道等特殊文件的st_dev和st_ino也遵循此规则，确保系统内每个特殊文件都能被唯一识别。

内容的提问来源于stack exchange，提问作者user129393192