In Bezug auf Dereferenzierung 'void *' Zeiger

Question

Ich bin nicht in der Lage herauszufinden, wie Sie die obige Warnung aus der unteren Zeile des Codes entfernen. Daten sind ein ungültiger Zeiger und als Teil der Rückruffunktion wird eine Zeichenfolge im Datenzeiger empfangen. Da ich den ungültigen Zeiger typecast habe, aber Compiler, der immer noch die Warnung zeigt.

Es gibt grundsätzlich zwei Warnungen in der unteren Zeile. 1. dereferencing 'void *' Zeiger 2. Adresse des Ausdrucks des Typs unter ‚Leere

service_ind = atoi((const char*)&data[at_response.param[0].start_of_value_index]) ? TRUE:FALSE ; 

Unten benötigt werden Informationen

void * data; 
AT_PARSER_RESPONSE at_response; 

typedef struct 
{ 

/*Other parameters */ 

AT_PARAM param[AT_MAX_NUM_PARAM]; 

}AT_PARSER_RESPONSE 

Answer 1

C11 Zitiert, Kapitel §6.5.3.2

Der unäre Operator * bezeichnet Indirektion. Wenn der Operand auf eine Funktion zeigt, ist das Ergebnis ein Funktionsbezeichner; Wenn es auf ein Objekt zeigt, ist das Ergebnis ein L-Wert, der das Objekt bezeichnet. Wenn der Operand den Typ "Zeiger auf Typ" hat, hat das Ergebnis den Typ "Typ". Wenn dem Zeiger ein ungültiger Wert zugewiesen wurde, ist das Verhalten des unären Operators * undefined.

Also, Ihr Code verursacht undefined behavior.

Auch bezogen, von Kapitel §6.2.5

Der void Typ einen leeren Satz von Werten umfasst; Es ist ein unvollständiger Objekttyp, der nicht abgeschlossen werden kann.

also ein Zeiger auf voidist ein ungültiger Operand für dereferenzieren.

---

Eine mögliche praktische Fall und die mögliche Lösung

Manchmal für Generika machen wir einen bestimmten Zeiger auf void * werfen, passieren, dass als Argument an eine Funktion, und dann in einer Funktion, die wir werfen es zurück auf den ursprünglichen Typ, basierend auf einigen bekannten Informationen. Dies ist, gemäß Kapitel 6.3.2.3, ein vollkommen gültiger Fall.

[...] Ein Zeiger auf jeder Objekttyp kann in einen Zeiger auf void und zurück konvertiert werden; Das Ergebnis soll gleich dem ursprünglichen Zeiger vergleichen.

Wenn dies der Fall ist, und Sie sind innerhalb der Funktion dereferencing, können Sie den Zeiger werfen entweder

• seiner ursprünglichen Art (oder einem kompatiblen Typ)
• oder ein char * (see this answer for why char * is allowed)

vor Dereferenzierung.