Ciao,C'è un modo semplice per sapere se una classe/struct non ha membri di dati?
c'è un modo semplice in C++ per dire (in fase di compilazione) se una classe/struttura non ha membri di dati?
E.g. struct T{};
Il mio primo pensiero è stato quello di confrontare sizeof(T)==0, ma questo sembra sempre di essere almeno 1.
La risposta ovvia sarebbe quella di guardare solo il codice, ma vorrei passare su questo.
È possibile derivare da questa classe in un'altra vuota e controllare se sizeof(OtherClass) == 1. Boost fa questo nel suo tratto di tipo is_empty.
testato:
template <typename T>
struct is_empty {
struct helper_ : T { int x; };
static bool const VALUE = sizeof(helper_) == sizeof(int);
};
Tuttavia, questo si basa sull'ottimizzazione classe base vuota (ma tutti i compilatori moderni fare questo).
Non funziona. Come dice CashCow, questo non funzionerà per le classi con funzioni virtuali. – UmmaGumma
@Ashot: Questo non dovrebbe essere "non funzionerà" tanto quanto "non funzionerà con alcune definizioni di vuoto". – GManNickG
@Ashot Martirosyan ... ma la soluzione può essere modificata derivando da alcune classi di helper di base con funzioni virtuali fittizie come pure dalla classe in fase di test – user396672
Se il compilatore supporta questo aspetto di C++ 0x, è possibile utilizzare std::is_empty da <type_traits>.
È specifica è:
Tè un tipo di classe, ma non un tipo di unione, senza membri dati non statici non bit-campi di lunghezza 0, non funzioni membro virtuali, senza base virtuale classi e senza classe baseBper cuiis_empty<B>::valueèfalse.
Non penso che ci sia un modo standard per scoprire se una classe è vuota per quanto riguarda il polimorfismo.
come ho già commentato nella risposta di Konrad Rudolph, è possibile verificare se la classe è vuota quando è polimorfica. È necessario controllare 'is_polymorphic
@Ashot: "sulla maggior parte dei compilatori" Di solito cerco di non pensare in termini di compilatori. :) – GManNickG
Facendo un passo sulla risposta di Konrad, questo gestisce le classi con o senza funzioni virtuali.
template <typename T>
struct is_empty {
struct empty_ { virtual ~empty_(); };
struct helper_ : T { virtual ~helper_(); };
static bool const EMPTY = sizeof(helper_) == sizeof(empty_);
};
Ok, ma il puntatore alla tabella virtuale non è necessario sizeof (void *) (sembra errato, ad esempio, per Borland C++ a 16 bit che usa 2 byte puntatore "corto" per questo scopo indipendentemente dal modello di memoria). È meglio confrontare con sizeof (SomeEmptyPolimorphicClass) – user396672
@user: si, buona idea. –
La risposta più semplice a questo che entrambe le opere ed è standard di denuncia: Guardate i file di intestazione per la classe/struct e la sua gerarchia di classe. Ti diranno se ci sono elementi di dati (oltre a un vtable).
qualificherebbe un v-table come membro dati? È una specie di nascosto. – CashCow
'sizeof (T) == 0' sembra esistere in D, ma è vietato dallo standard C++, corretto. –
Curioso perché vuoi farlo? –