c - 为什么 lseek 允许我设置负文件位置？

Question

如果生成的文件偏移量对于常规文件为负，则man 条目说lseek应该返回。-1

为什么这样的代码有效？

int fd;
off_t offset;

fd = open("test.txt", O_RDWR);
offset = lseek(fd, -10, SEEK_SET);

printf("%d\n", offset);                // prints -10

if (offset == (off_t) -1)
    perror("seek");                    // error not triggered

我觉得我应该得到offset=-1并errno设置为EINVAL。

这也导致文件大小显得非常大（接近无符号整数的大小） - 似乎是一个溢出问题。这是为什么？

Answer 1

我设法重现了您的“错误”行为。您必须包括unistd.h以获得正确的原型。使用此包含，lseek行为如所述。

当您错过此包含时，编译器会传递一个int -10而不是off_t -10。这会导致您观察到的行为。

更新：

所需包含的完整列表是

• open(2)

    #include <sys/types.h>
    #include <sys/stat.h>
    #include <fcntl.h>
  

• lseek(2)

    #include <sys/types.h>
    #include <unistd.h>
  

• printf(3), perror(3)

    #include <stdio.h>
  

Answer 2

在某些实现中，负文件偏移量可能对某些设备有效。

POSIX.1-1990 标准没有specifically prohibit lseek() from returning a negative offset。因此，应用程序需要在调用之前清除 errno 并在返回时检查 errno 以确定返回值( off_t)-1是负偏移还是错误条件的指示。

标准开发人员不希望要求符合应用程序的此操作，并选择要求将 errno 设置为[EINVAL]当结果文件偏移量对于常规文件、块特殊文件或目录为负时。

见lseek