dereferencing puntatori void

Question

Nella speranza di ottenere una migliore comprensione delle risposte riportate nel this posta, qualcuno può spiegare a me se la seguente implementazione buffer circolare è possibile, e se no, perché no.

#define CB_TYPE_CHAR  0 
#define CB_TYPE_FLOAT 1 

... 

typedef struct CBUFF 
{ 
    uint16 total;  /* Total number of array elements */ 
    uint16 size;  /* Size of each array element */ 
    uint16 type;  /* Array element type */ 
    uint16 used;  /* Number of array elements in use */ 
    uint16 start;  /* Array index of first unread element */ 
    void *elements;  /* Pointer to array of elements */ 
} CBUFF; 

... 

void cbRead(CBUFF *buffer, void *element) 
{ 
    if (buffer->type == CB_TYPE_CHAR) 
    { 
    /* The RHS of this statement is the problem */ 
     *(char*)element = *(buffer->elements[buffer->start]); 
    } 

    /* Other cases will go here */ 

    buffer->start = (buffer->start + 1) % buffer->total; 

    --buffer->used; 
} 

Capisco che il LHS deve essere gettato a char in modo che io possa dereference il puntatore nullo. Capisco anche che questo codice frammento:

buffer->elements[buffer->start] 

dà l'indirizzo dell'elemento 'buffer-> inizio' degli elementi serie, che anch'io voglio dereference al fine di ottenere il contenuto di quel indirizzo. O almeno questo è quello che prendo da K & R.

Dato tutto questo, come faccio a dire al compilatore che il contenuto della la memoria a quell'indirizzo è un carattere, e che è bene dereferenziarlo ? C'è qualcosa che succede qui, ma non lo capisco, .

Answer 1

buffer->elements è anche una void * quindi è necessario lanciare prima di poter fare qualsiasi cosa con esso:

*(char*)element = ((char *)buffer->elements)[buffer->start]; 

Answer 2

Dato tutto ciò, come faccio a dire al compilatore che il contenuto della memoria a quell'indirizzo è un carattere e che è giusto dereferenziarlo?

Beh, hai già fatto sul lato sinistro di quella linea:

*(char*)element = *(buffer->elements[buffer->start]); 

Per derefence buffer->elements[n] dovrai lanciare quella pure.

*(char*)element = *((char*)buffer->elements)[buffer->start]; 

Ora la domanda è se il cast è corretto o meno. Non posso dirtelo perché non hai pubblicato l'inizializzazione di buffer->elements.