Dlaczego sizeof nie przetwarza elementów konstrukcyjnych?

Question

Wiem, że sizeof jest obliczaniem czasu kompilacji, ale wydaje mi się to dziwne: Kompilator może przyjmować nazwę typu lub wyrażenie (z którego dedukuje typ). Ale jak rozpoznać typ w klasie? Wydaje się, że jedynym sposobem jest przekazanie wyrażenia, które wydaje się dość niezgrabne.

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

Alternatywna metoda działa bez konieczności domyślnego konstruktora:

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

można zawinąć to w makro tak to brzmi lepiej:

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

Answer 2

Co offsetof? Spójrz na here. Zobacz także here, który łączy w jedno makro zarówno sizeof i offsetof.

Mam nadzieję, że to pomoże.

Answer 3

Oto rozwiązanie bez nieprzyjemnych zerowy wskaźnik 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; 
}