Warum analysiert sizeof Strukturelemente nicht?

Question

Ich weiß, dass sizeof eine Kompilierzeit Berechnung ist, aber das scheint mir seltsam: Der Compiler kann entweder einen Typnamen oder einen Ausdruck (von dem er den Typ ableitet). Aber wie identifizieren Sie einen Typ innerhalb einer Klasse? Es scheint die einzige Möglichkeit zu sein, einen Ausdruck zu übergeben, der ziemlich klobig erscheint.

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

Eine alternative Methode funktioniert ohne einen Standardkonstruktor zu benötigen:

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

Sie diese in einem Makro wickeln kann, so ist es besser liest:

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

Answer 2

Was offsetof? Schau mal here. Schauen Sie auch here, die beide sizeof und offsetof in einem Makro kombiniert.

Hoffe, das hilft.

Answer 3

Hier ist eine Lösung ohne den bösen Null-Zeiger dereferenzieren;)

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