Tại sao các thành viên cấu trúc phân tích cú pháp không kích thước?

Question

Tôi biết rằng sizeof là một phép tính thời gian biên dịch, nhưng điều này có vẻ lạ đối với tôi: Trình biên dịch có thể lấy một tên kiểu hoặc một biểu thức (từ đó nó loại trừ loại). Nhưng làm thế nào để bạn xác định một loại trong một lớp học? Có vẻ như cách duy nhất là để vượt qua một biểu hiện, mà có vẻ khá clunky.

struct X { int x; }; 
int main() { 
    // return sizeof(X::x); // doesn't work 
    return sizeof(X()::x); // works, and requires X to be default-constructible 
} 

Answer 1

Một phương pháp thay thế hoạt động mà không cần một constructor mặc định:

return sizeof(((X *)0)->x); 

Bạn có thể bọc này trong một macro để nó đọc tốt hơn:

#define member_sizeof(T,F) sizeof(((T *)0)->F) 

Answer 2

gì về offsetof? Có một cái nhìn here. Ngoài ra, hãy xem here, kết hợp cả hai sizeof và offsetof thành macro.

Hy vọng điều này sẽ hữu ích.

Answer 3

Dưới đây là một giải pháp mà không có con trỏ null khó chịu dereferencing;)

struct X { int x; }; 

template<class T> T make(); // note it's only a declaration 

int main() 
{ 
    std::cout << sizeof(make<X>().x) << std::endl; 
}