Mit freiem einem nicht char Zeiger in C

Question

ausplanen Während diese article lesen, ich kam in diesem Absatz:

Zeiger auf Objekte die gleiche Größe, aber verschiedene Formate haben. Diese wird durch den Code unten dargestellt:

int *p = (int *) malloc(...); ... free(p); 

Dieser Code kann in Architekturen zu Fehlfunktionen in dem int * und char * haben unterschiedliche Darstellungen, weil kostenlos einen Zeiger der letzteren Art erwartet.

Und das ist nicht das erste Mal, dass ich gelesen, dass free erwartet einen char* Typen.

Meine Frage ist, wie zu befreien?

Answer 1

HINWEIS: You should not cast the return value of malloc in C.

Diese Frage veranschaulicht die Gefahren beim Lesen potenziell ungültiger Ressourcen. Es ist extrem wichtig, um sicherzustellen, dass die Ressource, die Sie lesen, genau ist! OPs Ressource in Frage, ist nicht falsch für seine Ära, aber ist gut out-of-date und folglich ist ungültig. K & R 2E ist ironisch ein Jahr älter, aber ist immer noch sehr viel in Datum (und damit immer noch sehr zu empfehlen), weil es dem Standard folgt.

void free(void *ptr); 

... und für das, was es wert ist, here's the malloc manual showing that malloc returns void *:

sein von void * Typ

Wenn wir a more reputable resource (the free manual) konsultieren, können wir sehen, dass free der Zeiger tatsächlich erwartet

void *malloc(size_t size); 

---

In beiden Fällen werden, wie durch C11/6.3.2.3p1 (der C11-Standard) beschrieben:

Ein Zeiger auf oder von einem Zeiger auf jeden Objekttyp umgewandelt werden kann für ungültig zu erklären. Ein Zeiger auf einen beliebigen Objekttyp kann in einen Zeiger auf void und zurück konvertiert werden; Das Ergebnis muss mit dem ursprünglichen Zeiger verglichen werden.

int *p = malloc(...); // A conversion occurs here; `void *` as returned by malloc is converted to `int *` 
free(p);    // ... and the reverse of the conversion occurs here, to complete the cycle mentioned in C11/6.3.2.3p1 

HINWEIS (falls Sie es verpasst das erste Mal): You should not cast the return value of malloc in C. Schließlich müssen Sie es nicht übertragen, wenn Sie es an free übergeben, oder?