Converti in membro di dati a void *

Question

So che posso ottenere un puntatore a membro di dati per una classe o struct, ma l'ultima riga del seguente codice fallisce la compilazione:

struct abc 
{ 
    int a; 
    int b; 
    char c; 
}; 

int main() 
{ 
    typedef struct abc abc; 
    char abc::*ptt1 = &abc::c; 
    void *another_ptr = (void*)ptt1; 
} 

perché non posso farlo Converto ptt1 in another_ptr? Stiamo parlando di puntatori così un puntatore dovrebbe avere una dimensione simile a un altro (anche se concettualmente diverso)

Answer 1

Un puntatore al tipo di membro della classe non statica non è lo stesso di un oggetto tipo puntatore; si comportano in modo molto diverso. In effetti, non puoi nemmeno dereferenziare un puntatore al membro con *. Per accedere a un membro tramite un puntatore al membro, si utilizzano invece gli operatori .* e ->*. Se lo è possibile eseguire il cast in un puntatore a oggetti come in questo caso, cosa succederebbe, quindi, se lo avessi consultato con *?

unico oggetto tipi di puntatore hanno una conversione standard per void* (§4.10):

Un prvalue di tipo "puntatore a cvT", dove T è un tipo di oggetto, può essere convertito in un prvalue di tipo "puntatore a cvvoid".

Sono così diversi che la norma va anche al di fuori del suo modo per assicurarsi che il termine "puntatore" non include i puntatori a membri non statici (§3.9.2):

Fatta eccezione per i puntatori ai membri statici, il testo che si riferisce a "puntatori" non si applica ai puntatori ai membri.

Answer 2

Stai cercando di fare qualcosa del genere?

struct ABC 
{ 
    int a; 
    int b; 
    char c; 
}; 

int main() 
{ 
    ABC abc; 
    char *ptt1 = &abc.c; 
    void *another_ptr = (void*)ptt1; 
} 

Answer 3

La ragione principale è perché non v'è alcun requisito che un puntatore al membro hanno la stessa dimensione e rappresentazione come un puntatore a dati. In pratica, è difficile immaginare un puntatore a un membro di dati che non può essere inserito in un void*, poiché un puntatore a un membro dati deve solo contenere uno scostamento . In parole povere, un puntatore a un membro di dati sarà mai più grande di uno size_t e un void* deve essere di dimensioni almeno pari a size_t. D'altra parte, potrebbe contenere facilmente modelli di bit che non erano legali in un puntatore. Infatti, come sottolinea Steve Jessop, i puntatori ai membri richiedono informazioni aggiuntive, poiché se il membro si trova in una base virtuale, il suo offset dipende dalla classe più derivata e deve essere calcolato dinamicamente, in base a informazioni aggiuntive nel puntatore.

Più in generale, un void* può contenere solo un puntatore ai dati. Deve essere grande come il più grande indicatore di dati (in genere un char*), ma i puntatori a funzioni, e puntatori membri, può essere più grande, e non in forma (e puntatore a funzioni membro quasi mai andare bene).