Perché non taglia i membri di struct parse?

Question

So che sizeof è un calcolo in fase di compilazione, ma questo mi sembra strano: il compilatore può prendere un nome di tipo o un'espressione (da cui deduce il tipo). Ma come si identifica un tipo all'interno di una classe? Sembra che l'unico modo sia di passare un'espressione, che sembra piuttosto goffo.

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 metodo alternativo funziona senza bisogno di un costruttore di default:

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

Puoi avvolgere questo in una macro in modo che legge meglio:

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

Answer 2

Che dire offsetof? Dai un'occhiata allo here. Guarda anche here, che combina sia sizeof e offsetof in una macro.

Spero che questo aiuti.

Answer 3

Ecco una soluzione senza il puntatore nullo brutto dereferenziazione;)

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