Tại sao sizeof (void) == 1?

Question

thể trùng lặp:
What is the size of void?

Trong §6.2.5.19, các tiên tri cho chúng tôi biết rằng:

Loại void bao gồm một tập rỗng của các giá trị

n tại sao sizeof(void) sản lượng 1, khi 0 dường như đủ?

Answer 1

sizeof(void) sẽ không biên dịch trên một trình biên dịch C.

ISO 9899: 2011 6.2.5/19

"Loại khoảng trống bao gồm một tập hợp giá trị trống; nó không hoàn thành loại đối tượng không thể hoàn thành."

ISO 9899: 2011 6.5.3.4/1

"Các nhà điều hành sizeof sẽ không được áp dụng cho một biểu thức có kiểu hàm hoặc một loại không đầy đủ"

Đây là văn bản quy phạm : sizeof (void) không hợp lệ C.

Answer 2

Nó là một phần mở rộng gcc: http://gcc.gnu.org/onlinedocs/gcc-4.4.2/gcc/Pointer-Arith.html#Pointer-Arith

Trong GNU C, cộng và trừ các hoạt động được hỗ trợ trên các con trỏ tới void và trên con trỏ đến chức năng. Này được thực hiện bằng cách xử lý kích thước của một void hoặc của một hàm như 1.

Một hậu quả của việc này là sizeof cũng được phép trên void và trên các loại chức năng, và trả về 1.

Tùy chọn -Wpointer-arith yêu cầu cảnh báo nếu các tiện ích này được sử dụng.

Lý do tại sao void cần một kích thước để thực hiện arithmetics như vậy là ptr - ptr2 không thực sự mang đến cho bạn sự khác biệt số của địa chỉ nhưng số lượng các yếu tố hai con trỏ là ngoài - và kích thước của một phần tử chỉ vào bởi void *ptr là sizeof(*ptr) là sizeof(void).

Answer 3

Có thể bạn đang sử dụng gcc hoặc một số trình biên dịch khác thực hiện việc này dưới dạng tiện ích (trong C, sizeof (void) không hợp lệ).

gcc nói:

Trong GNU C, cộng và trừ các hoạt động được hỗ trợ trên con trỏ để làm mất hiệu lực và về con trỏ đến chức năng. Này được thực hiện bằng cách xử lý kích thước của một khoảng trống hoặc của một hàm như 1.

Một hậu quả của việc này là sizeof cũng được phép vào khoảng trống và trên loại chức năng, và trả về 1.

Tùy chọn -Wpointer-arith yêu cầu cảnh báo nếu các tiện ích mở rộng này được sử dụng .

• http://gcc.gnu.org/onlinedocs/gcc-4.4.2/gcc/Pointer-Arith.html#Pointer-Arith