Kích thước của khoảng trống là gì?

Câu lệnh này sẽ mang lại kết quả gì?

void *p = malloc(sizeof(void));

Chỉnh sửa: Phần mở rộng cho câu hỏi.

Nếu sizeof (void) mang lại 1 trong trình biên dịch GCC, thì 1 byte bộ nhớ được cấp phát và con trỏ p trỏ đến byte đó và p ++ có được tăng lên 0x2346 không? Giả sử p là 0x2345. Tôi đang nói về p chứ không phải * p.

Loại voidkhông có kích thước; đó sẽ là một lỗi biên dịch. Vì lý do tương tự, bạn không thể làm điều gì đó như:

void n;

BIÊN TẬP. Trước sự ngạc nhiên của tôi, sizeof(void)thực sự làm biên dịch trong GNU C:

$ echo 'int main() { printf("%d", sizeof(void)); }' | gcc -xc -w - && ./a.out 
1

Tuy nhiên, trong C ++ nó không:

$ echo 'int main() { printf("%d", sizeof(void)); }' | gcc -xc++ -w - && ./a.out 
<stdin>: In function 'int main()':
<stdin>:1: error: invalid application of 'sizeof' to a void type
<stdin>:1: error: 'printf' was not declared in this scope

Nếu bạn đang sử dụng GCC và bạn không sử dụng cờ biên dịch loại bỏ các phần mở rộng cụ thể của trình biên dịch, thì đó sizeof(void)là 1. GCC có một phần mở rộng không chuẩn thực hiện điều đó.

Nói chung, voidlà một loại không hoàn chỉnh, và bạn không thể sử dụng sizeof cho các loại không hoàn chỉnh.

Mặc dù voidcó thể thay thế cho một kiểu, nhưng nó không thể thực sự giữ một giá trị. Do đó, nó không có kích thước trong bộ nhớ. Nhận kích thước của một voidkhông được xác định.

Con void trỏ chỉ đơn giản là một cấu trúc ngôn ngữ có nghĩa là một con trỏ tới bộ nhớ không định kiểu .

voidkhông có kích thước. Trong cả C và C ++, biểu thức sizeof (void)không hợp lệ.

Trong C, trích dẫn N1570 6.5.3.4 đoạn 1:

Các sizeofnhà điều hành sẽ không được áp dụng cho một biểu thức có kiểu chức năng hoặc một loại không đầy đủ , với tên trong ngoặc của một loại như vậy, hoặc một biểu thức chỉ định một thành viên bit lĩnh vực.

(N1570 là bản dự thảo của tiêu chuẩn ISO C năm 2011.)

voidlà một loại không hoàn chỉnh. Đoạn này là một ràng buộc , có nghĩa là bất kỳ trình biên dịch C tuân thủ nào đều phải chẩn đoán bất kỳ vi phạm nào đối với nó. (Thông báo chẩn đoán có thể là một cảnh báo không nghiêm trọng.)

Chuẩn C ++ 11 có cách diễn đạt rất giống nhau. Cả hai ấn bản đều được xuất bản sau khi câu hỏi này được hỏi, nhưng các quy tắc quay trở lại tiêu chuẩn ANSI C năm 1989 và các tiêu chuẩn C ++ sớm nhất. Trên thực tế, quy tắc voidlà một loại không hoàn chỉnh sizeofcó thể không được áp dụng trở lại chính xác khi giới thiệu voidngôn ngữ.

gcc có một phần mở rộng được coi sizeof (void)là 1. gcc không phải là một trình biên dịch C tuân thủ theo mặc định, vì vậy ở chế độ mặc định, nó không cảnh báo về điều đó sizeof (void). Các tiện ích mở rộng như thế này được phép ngay cả đối với các trình biên dịch C hoàn toàn phù hợp, nhưng chẩn đoán vẫn được yêu cầu.

Lấy kích thước của khoảng trống là một phần mở rộng GCC .

sizeof()không thể áp dụng cho các loại không hoàn chỉnh. Và voidlà loại không hoàn chỉnh không thể hoàn thành.

Trong C, sizeof(void) == 1trong GCC, nhưng điều này dường như phụ thuộc vào trình biên dịch của bạn.

Trong C ++, tôi nhận được:

Trong hàm 'int main ()':
Dòng 2: lỗi: ứng dụng không hợp lệ của 'sizeof' cho một loại void
quá trình biên dịch bị chấm dứt do lỗi -Wfatal-.

Ở phần thứ 2 của câu hỏi: Lưu ý rằng sizeof (void *)! = Sizeof (void). Trên cung 32-bit, sizeof (void *) là 4 byte, do đó p ++, sẽ được đặt tương ứng. Số lượng mà một con trỏ được tăng lên phụ thuộc vào dữ liệu mà nó đang trỏ tới. Vì vậy, nó sẽ được tăng thêm 1 byte.

trong khi sizeof (void) có lẽ không có ý nghĩa gì, nhưng điều quan trọng là khi bạn thực hiện bất kỳ phép toán con trỏ nào.

ví dụ.

 void *p;
 while(...)
      p++;

Nếu sizeof (void) được coi là 1 thì điều này sẽ hoạt động. Nếu sizeof (void) được coi là 0 thì bạn đạt một vòng lặp vô hạn.

Hầu hết các trình biên dịch C ++ được lựa chọn để gây ra lỗi biên dịch khi cố gắng lấy sizeof(void).

Khi biên dịch C, gcc không phù hợp và được chọn định nghĩa sizeof(void)là 1. Nó có thể trông lạ, nhưng có cơ sở. Khi bạn thực hiện số học con trỏ thêm hoặc bớt một đơn vị có nghĩa là thêm hoặc bớt đối tượng được trỏ tới kích thước. Do đó, xác định sizeof(void)là 1 giúp xác địnhvoid* như một con trỏ tới byte (địa chỉ bộ nhớ không định kiểu). Nếu không, bạn sẽ có những hành vi đáng ngạc nhiên khi sử dụng số học con trỏ như p+1 == p whenp void*. Số học con trỏ như vậy trên con trỏ void không được phép trong c ++ nhưng hoạt động tốt khi biên dịch C với gcc.

Cách tiêu chuẩn được đề xuất sẽ là sử dụng char*cho loại mục đích đó (con trỏ đến byte).

Một sự khác biệt tương tự khác giữa C và C ++ khi sử dụng sizeof xảy ra khi bạn xác định một cấu trúc trống như:

struct Empty {
} empty;

Sử dụng gcc làm trình biên dịch C của tôi sizeof(empty) trả về 0. Sử dụng g ++ cùng một mã sẽ trả về 1.

Tôi không chắc điều gì đã nêu cả tiêu chuẩn C và C ++ về điểm này, nhưng tôi tin rằng việc xác định kích thước của một số cấu trúc / đối tượng trống sẽ giúp quản lý tham chiếu để tránh hai tham chiếu đến các đối tượng liên tiếp khác nhau, đối tượng đầu tiên trống, hãy lấy cùng địa chỉ. Nếu tham chiếu được triển khai bằng cách sử dụng con trỏ ẩn như nó thường được thực hiện, việc đảm bảo địa chỉ khác nhau sẽ giúp so sánh chúng.

Nhưng điều này chỉ đơn thuần là tránh một hành vi đáng ngạc nhiên (so sánh trường hợp góc của các tham chiếu) bằng cách đưa vào một cái khác (các đối tượng trống, thậm chí các POD sử dụng bộ nhớ ít nhất 1 byte).