¿Por qué sizeof parse struct members?

Question

Sé que sizeof es un cálculo en tiempo de compilación, pero me parece extraño: el compilador puede tomar un nombre de tipo o una expresión (de la cual deduce el tipo). ¿Pero cómo identificas un tipo dentro de una clase? Parece que la única forma es pasar una expresión, que parece bastante torpe.

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

Un método alternativo funciona sin necesidad de un constructor por defecto:

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

Puede terminar con esto en una macro para que se lea mejor:

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

Answer 2

¿Qué hay de offsetof? Eche un vistazo here. También tenga un aspecto here, que combina sizeof y offsetof en una macro.

Espero que esto ayude.

Answer 3

Aquí es una solución sin el puntero nulo desagradable eliminación de referencias;)

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; 
}