Dereferenziare un puntatore nullo

Question

Ho il codice qui sotto:

#include <inttypes.h> 
#include <stdlib.h> 
struct a 
{ 
    void *p; 
}; 

int main(void) 
{ 
    struct a *ptr = malloc(sizeof(struct a)); 
    ptr->p = malloc(sizeof(uint8_t)); 
    *((uint8_t *) ptr->p) = 2; 
    return 0; 
} 

sto getto del puntatore vuoto prima di dereferencing per evitare l'avvertimento

avvertimento: dereferenziazione '* vuoto' puntatore

Sto rompendo qualsiasi regola facendo questo o questo codice è buono?

Answer 1

Sì, questo codice è legale e non causa un comportamento indefinito (a meno che malloc restituisca NULL).

Answer 2

Secondo i mandati standard, questo codice sembra ok. un puntatore a un tipo di carattere può essere utilizzato per puntare all'oggetto senza interrompere la regola di aliasing.

Per citare lo standard, capitolo §6.3.2.3

[...]. Quando un puntatore a un oggetto viene convertito in un puntatore a un tipo di carattere, il risultato punta al byte con l'indirizzo più basso dell'oggetto. Gli incrementi successivi del risultato, fino alla dimensione dell'oggetto, producono i puntatori ai byte rimanenti dell'oggetto.