调用fseeko定位/dev/zero最大偏移后读取的行为是否有定义？

在使用dd工具用零覆盖硬盘时，我想到了/dev/zero的读取限制问题——当尝试将读取位置设为最大值时会发生什么？具体疑问包括：

• 调用fseeko()将文件指针设置到/dev/zero的最大可能偏移量后继续读取字节，这是否属于定义行为？
• 该行为是否依赖于操作系统和编译器？

测试现象 #

我在OnlineGDB上做了测试，发现用64位长整型的最大值调用fseeko()时，函数不会返回错误，但ftell()显示能通过fseeko()到达的最高文件偏移量为4095，超过这个值会无错误地回绕到0。不过当从start_offset=4095的位置读取字节后，ftell()会返回更大的数值。想知道这种行为对于/dev/zero这类特殊文件是否正常？

测试代码 #

#include <stdio.h>

// 定义当前平台off_t能表示的最大值，64位系统通常为9223372036854775807
#define OFF_MAX ((((off_t)1 << (sizeof(off_t)*8 - 2)) - 1) * 2 + 1)

int main()
{
    FILE* fp;
    const int num_bytes = 1; // 可以尝试改为0测试
    char buffer[num_bytes];

    fp = fopen("/dev/zero", "rb");
    if (fp == NULL) {
        perror("Error opening /dev/zero");
        return 1;
    }

    off_t start_offset = OFF_MAX; // 也可以尝试4095、4096等值
    if (fseeko(fp, start_offset, SEEK_SET) != 0) {
        perror("Error on fseeko()");
        fclose(fp);
        return 1;
    }

    size_t bytes_read = fread(buffer, 1, num_bytes, fp);
    if (bytes_read < num_bytes) {
        if (feof(fp)) {
            printf("End of file reached.\n");
        }
        if (ferror(fp)) {
            perror("Error reading from /dev/zero");
        }
        fclose(fp);
        return 1;
    }

    printf("start_offset = %ld\n", start_offset);
    printf("num_bytes (bytes_read): %d (%ld)\n", num_bytes, bytes_read);
    printf("ftell: %ld\n", ftell(fp));

    fclose(fp);

    return 0;
}

疑问解析 #

1. 是否为标准定义行为？ #

/dev/zero是类Unix系统中的特殊字符设备文件，而非常规磁盘文件。C标准和POSIX标准仅对常规文件的偏移操作有明确规定，对于字符设备这类特殊文件，fseeko()和ftell()的行为并没有统一的强制定义——这类操作的行为完全由设备对应的内核驱动实现决定。因此，将指针设置到最大偏移后读取的行为不属于标准定义的行为。

2. 是否依赖操作系统和编译器？ #

行为主要依赖操作系统的内核驱动实现，编译器的影响极小（仅涉及off_t的宽度等基础类型定义）。不同类Unix系统对/dev/zero的偏移处理可能不同，甚至同一系统的不同版本也可能有差异。

3. 测试现象是否正常？ #

你观察到的现象是完全正常的。以Linux为例，/dev/zero的驱动本质上不关心读取的偏移位置——无论你设置多大的偏移，读取操作都会返回全0字节。而用户空间的FILE结构体（由C标准库维护）会尝试跟踪偏移量，但内核驱动可能对传入的偏移做了截断或模运算处理（比如按页大小4096取模），导致fseeko()设置大偏移后，ftell()返回的是模4096后的结果；而读取操作完成后，标准库会在自己维护的偏移值基础上加上读取的字节数，因此会出现从4095位置读取后ftell()返回更大值的情况。这种行为符合特殊设备的设计逻辑，因为/dev/zero本身没有实际的“文件内容”或“长度”可言，偏移量对其读取结果没有影响。

内容的提问来源于Stack Exchange，提问作者Stefan Rickli