Tại sao offsetof (thành viên) bằng sizeof (struct)?

Question

Tôi đã một struct định nghĩa là:

struct smth 
{ 
    char a; 
    int b[]; 
}; 

Khi tôi gọi sizeof và offsetof trên struct này:

cout << sizeof(struct smth) << endl; 
cout << offsetof(struct smth, b) << endl; 

Output là:

4 
4 

Tại sao khi kích thước của stuct là 4 và char đang sử dụng 1 byte, độ lệch của mảng int là 4? Tại sao có một số loại đệm? Ngoài ra, tại sao mảng int không chiếm bất kỳ không gian nào?

Answer 1

Làm cách nào khi kích thước của đường ống là 4 và char sử dụng 1 byte, độ lệch của mảng int là 4? Tại sao có một số loại đệm?

Có đệm vì tiêu chuẩn C cho phép; trình biên dịch thường sắp xếp các biến để cải thiện hiệu suất.

Ngoài ra, tại sao biến thứ hai không chiếm bất kỳ không gian nào (có vẻ như trường hợp này)?

Đây là thành viên mảng linh hoạt C99 - đó là toàn bộ điểm của nó. Ý tưởng là phân bổ cấu trúc của bạn như sau:

struct smth *s = malloc(sizeof *s + 10 * sizeof s->b[0]); 

Và sau đó bạn có cấu trúc hoạt động như thể b là mảng 10 phần tử.

Answer 2

Do kích thước của thành viên b bằng 0 và trình biên dịch thêm đệm giữa các thành viên a và b để b nằm trên ranh giới "từ".

Tuy nhiên, nếu tôi nhớ chính xác có một mảng linh hoạt trong cấu trúc như vậy chỉ là C hợp lệ, không phải C++ ngoại trừ phần mở rộng của trình biên dịch.

Answer 3

Kể từ OP bình luận rằng vấn đề là C++:

struct smth 
{ 
    char a; 
    int b[]; 
}; 

Một mảng như b[] không hợp lệ trong C++. Mảng phải có kích thước cố định. Các mảng chiều dài biến chỉ hợp lệ trong C99.

Giả sử rằng trình biên dịch của bạn hỗ trợ nó làm phần mở rộng, mảng b[] có kích thước bằng 0, làm cho cấu trúc chỉ chứa thành viên char. Quy tắc đệm trong struct hoạt động, đệm struct vào một từ, là 4 byte trong máy của bạn.