là size_t luôn không được ký?

Question

Vì tiêu đề: là size_t luôn không được ký, tức là cho size_t x, là x luôn luôn >= 0?

Answer 1

Có. Đó là thường định nghĩa là một cái gì đó như sau (trên 32-bit hệ thống):

typedef unsigned int size_t; 

tham khảo:

C++ Mục Tiêu chuẩn 18.1 định nghĩa size_t là trong <cstddef> được mô tả trong C chuẩn như <stddef.h>.
C Tiêu chuẩn Mục 4.1.5 định nghĩa size_t như một loại không thể thiếu unsigned về kết quả của sizeof hành

Answer 2

Có, size_t được đảm bảo là loại không dấu.

Answer 3

Theo tiêu chuẩn ISO 1999 C (C99), size_t là một kiểu dữ liệu integer unsigned của ít nhất 16 bit (xem các phần 7.17 và 7.18.3).

Tiêu chuẩn này cũng khuyến cáo rằng size_t không cần phải có một cấp bậc chuyển đổi số nguyên lớn hơn long nếu có thể, tức là đúc size_t để unsigned long là unproblematic nếu đề nghị được theo sau.

Tiêu chuẩn ANSI C 1989 (ANSI C) không đề cập đến kích thước tối thiểu hoặc xếp hạng chuyển đổi được đề xuất.

Chuẩn ISO C++ năm 1998 (C++ 98) (cũng như bản nháp hiện tại cho C++ 0x) đề cập đến tiêu chuẩn C. Mục 18.1 đọc:

Nội dung cũng giống như tiêu đề thư viện chuẩn C <stddef.h> [...]

Theo mục 1.2, điều này có nghĩa thư viện theo quy định của tiêu chuẩn ISO 1990 C (C90), trong đó có sửa đổi đầu tiên từ năm 1995 (C95):

thư viện mô tả trong mục 7 của ISO/IEC 9899: 1990 và khoản 7 ISO/IEC 9899/Amd.1: 1995 là sau đây gọi cuộc gọi chỉnh sửa Thư viện chuẩn C.

Các bộ phận liên quan đến size_t phải được kế thừa từ ANSI C: Mặt trước và phần đánh số sang một bên, các tiêu chuẩn cho C90 và ANSI C giống nhau. Tôi cần một bản sao sửa đổi quy định để chắc chắn rằng không có bất kỳ thay đổi có liên quan nào đối với stddef.h, nhưng tôi nghi ngờ điều đó. Kích thước tối thiểu dường như được giới thiệu với stdint.h, tức là C99.

Vui lòng xem xét báo giá sau từ phần 1.2 của C++ 98:

Tất cả các tiêu chuẩn này tùy thuộc vào phiên bản, và các bên tham gia thỏa thuận dựa trên tiêu chuẩn quốc tế này được khuyến khích nghiên cứu khả năng áp dụng nhiều nhất phiên bản gần đây của các tiêu chuẩn chỉ ra dưới đây.

Answer 4

Theo tiêu chuẩn không được ký, tuy nhiên tôi nhớ lại rằng một số triển khai cũ hơn đã sử dụng loại đã ký cho typedef.

Từ một doc GCC cũ:

Có một vấn đề tiềm năng với kiểu size_t và các phiên bản của GCC trước khi phát hành 2.4. ANSI C yêu cầu size_t luôn là loại không dấu. Để tương thích với các tệp tiêu đề của hệ thống hiện có, GCC định nghĩa size_t trong stddef.h là bất kỳ loại nào hệ thống của sys/types.h xác định. Hầu hết các hệ thống Unix xác định size_t trong sys/types.h, xác định nó là một loại đã ký. Một số mã trong thư viện phụ thuộc vào loại size_t là một loại chưa được ký và sẽ không hoạt động chính xác nếu được ký

Tôi không chắc chắn về cách bảo vệ chống lại điều đó. Mã của tôi giả định nó chưa được ký.

Answer 5

Kích thước_t phải tuân theo định nghĩa tương tự như tiêu chuẩn C, và ở một số nơi trong tiêu chuẩn C++ nó ngụ ý rằng nó chưa được gán natura (đặc biệt trong định nghĩa đối số mẫu cấp phát).

Trên ++ Chuẩn C, phần 18,1 (ISO/IEC 14882 - Đầu phiên bản 1998/01/01):

Bảng 15 liệt kê như các loại định nghĩa: ptrdiff_t và size_t

3 Nội dung đều giống nhau như tiêu đề thư viện chuẩn C, với các thay đổi sau: 4 Macro NULL là hằng số con trỏ null C++ được xác định thực hiện trong tiêu chuẩn này (4.10).

Macro offsetof chấp nhận bộ đối số loại giới hạn trong tiêu chuẩn này. loại phải là cấu trúc POD hoặc liên minh POD (điều 9). Kết quả của việc áp dụng macro offsetof cho một trường mà là một thành viên dữ liệu tĩnh hoặc một thành viên hàm không xác định. C ALNG C :NG: mục 5.3.3, Sizeof, phụ 5.7, Các toán tử phụ gia, điều 12.5, Lưu trữ miễn phí và ISO C trình 7.1.6.

Answer 6

Oh, đây chỉ là khủng khiếp:

vector<MyObject> arr; 
Fill(arr); 
size_t size = arr.size(); 
for(size_t i = 1; i < size - 1; ++i) 
{ 
    auto obj = arr[i]; 
    auto next = arr[i+1]; 
} 

Bây giờ chiêm ngưỡng trường hợp sử dụng nơi arr trống.