Avviso C26488

Non dereferenziare un puntatore che può essere Null.

void ex1()
{
    int* px = nullptr;

    if (px)       // notice the condition is incorrect
        return;

    *px = 1;      // 'px' known to be null here
}

Osservazioni:

Le linee guida per la durata delle linee guida di base di C++ delineano un contratto che il codice può seguire, che consentirà una perdita di memoria statica più approfondita e il rilevamento del puntatore. Le idee di base alle linee guida sono:

1. Non dereferenziare mai un puntatore null non valido (dangling) o null noto
2. Non restituire mai (parametro restituito o out formale) qualsiasi puntatore da una funzione.
3. Non passare mai un puntatore (dangling) non valido a qualsiasi funzione.

Vedi anche

• Documento sulle linee guida di base di C++