Tại sao trường st_size trong cấu trúc stat được ký?

Question

st_size là defined là off_t.

off_t là defined là loại số nguyên đã ký.

Tại sao st_size được định nghĩa là loại đã ký? Nó có thể là tiêu cực? Nó có ý nghĩa gì nếu nó là tiêu cực?

Answer 1

Lý do tốt nhất tôi có thể nghĩ là tránh giới thiệu phiên bản chưa ký off_t làm loại bổ sung; POSIX đã có một sự phong phú vô lý của các loại số nguyên với cách sử dụng tương tự.

Bên cạnh đó, có thể lưu trữ -1 trong st_size khi kích thước không phải là một khái niệm có ý nghĩa có thể hữu ích; Tôi không chắc liệu có triển khai nào thực hiện việc này hay không và tôi không thể tìm thấy nơi POSIX đặt bất kỳ yêu cầu nào về nội dung của st_size ngoại trừ các tệp thông thường và các liên kết ...

Answer 2

off_t xác định khoảng bù trong tệp, có thể bằng kích thước của tệp, nhưng cũng có thể âm, ví dụ: nếu tìm ngược lại.

Từ mối quan hệ này giữa bù đắp và kích thước, kích thước của tệp có cùng loại với tệp bù. Nhưng dù sao, kích thước tệp không được âm.

Answer 3

off_t được sử dụng để xử lý bù đắp tệp trong nhiều chức năng. Một số hàm sử dụng giá trị đặc biệt -1 (ví dụ: lseek thực hiện điều đó để cho bạn biết một lỗi đã xảy ra). Nhiều loại dữ liệu khác được ký bằng UNIX để chứa các giá trị -1 (ví dụ: time_t).

Answer 4

Tôi nghĩ rằng một số chức năng fseek trong POSIX cần phải chấp nhận phủ định là offset.

Answer 5

Theo quy tắc quảng bá của C, biểu thức kết hợp các kích thước khác nhau của các loại đã ký sẽ hoạt động theo cùng một thời điểm chính xác bất kể kích thước có liên quan với nhau. Tuy nhiên, việc thêm các kiểu unsigned sẽ làm cho hành vi của mã phụ thuộc nhiều hơn vào kích thước nguyên.

Given:

int test_size(off_t x, long y, long long z) 
{ 
    return x-y > z; 
} 

Nếu off_t là unsigned, sau đó tùy thuộc vào kích thước của nó có thể gây ra y để có được thăng unsigned long, với tính toán thực hiện trên kiểu đó, mà sau đó sẽ được thăng tiến để signed long long và so sánh với z sử dụng so sánh đã ký hoặc có thể gây ra z để được thăng cấp lên unsigned long long, trong trường hợp đó, việc so sánh tổng thể sẽ được thực hiện theo cách không ký. Nó cũng sẽ có thể (mặc dù không nhất thiết có khả năng) rằng off_t có thể đủ nhỏ (và/hoặc long đủ lớn) mà y được trừ bằng cách sử dụng số học đã ký.

Số lượng có thể đủ lớn để yêu cầu thứ gì đó lớn nhất là int, ngay cả khi chúng không bao giờ bị âm, thường chỉ được thể hiện bằng các loại chưa ký nếu có lý do để tin rằng chúng không phù hợp với chữ ký cụ thể loại nhưng chắc chắn sẽ phù hợp với đối tác chưa ký của nó. Các tình huống như vậy không quá phổ biến, nhưng tồn tại với size_t trên các hệ thống 16 bit (nó không thể về mặt kiến ​​trúc cho một đối tượng vượt quá 64K, nhưng các đối tượng trên 32K là phổ biến).Một kịch bản như vậy có vẻ kém hấp dẫn hơn trong giao diện hệ thống tập tin (nếu 32-bit đã ký là không đủ, 32-bit unsigned có thể sẽ không đủ cho một trong hai thời gian dài).