dereferencing void wskaźniki

Question

W nadziei na lepsze zrozumienie z odpowiedziami podane w this postu, może ktoś mi wyjaśnić, czy po wdrożenie bufor kołowy jest to możliwe, a jeśli nie, to dlaczego.

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

Rozumiem, że LHS muszą być oddane do char tak, że mogę nieprawidłowego wskaźnika void. Rozumiem też, że ten kod fragment:

buffer->elements[buffer->start] 

daje adres „buffer-> Start” elementu elementów tablicy, które również chcą dereference aby dostać się do zawartości tego adres. Albo przynajmniej to, co biorę od K & R.

Biorąc pod uwagę wszystko to, w jaki sposób mogę poinformować kompilator, że treść pamięci pod tym adresem jest char, i że jest w porządku, aby dereference nim ? Coś tu się dzieje, po prostu nie rozumiem.

Answer 1

buffer->elements również void * więc trzeba go rzucić, zanim będzie można nic zrobić z nim:

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

Answer 2

Biorąc pod uwagę to wszystko, w jaki sposób mogę poinformować kompilator, że zawartość pamięci pod tym adresem jest char, i że jest w porządku, aby dereference nim?

Cóż, już to zrobić na tej linii LHS:

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

Aby derefence buffer->elements[n] trzeba będzie oddać, że dobrze.

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

Teraz pytanie brzmi, czy ten rzut jest poprawny. Nie mogę ci tego powiedzieć, ponieważ nie opublikowałeś inicjalizacji buffer->elements.