Cosa sono i riferimenti nulli?

Il riferimento null è un valore speciale che indica l'assenza di un oggetto a cui la variabile fa riferimento. Nella maggior parte dei linguaggi di programmazione orientati agli oggetti, questo valore viene usato per indicare che la variabile di riferimento non è collegata a nessuna istanza concreta di una classe. I riferimenti nulli sono una fonte comune di errori (eccezioni di puntatore nullo / eccezioni di riferimento nullo), quando si tenta di accedere ai membri o ai metodi di un oggetto tramite un riferimento null.

Esempi in diversi linguaggi:

// Java
String str = null; // Dichiarazione di riferimento null
// str.length(); // Provoca NullPointerException

// C#
string name = null; // Dichiarazione di riferimento null
// name.Length; // Provoca NullReferenceException

# Python
data = None # In Python, simile al riferimento null, si usa None
# data.upper() # Provoca AttributeError

Per prevenire errori legati ai riferimenti nulli, si utilizzano vari pattern e tecniche, ad esempio:

• Controllo del null: Verifica esplicita prima di usare il riferimento.
• Pattern Oggetto Null: Uso di un oggetto speciale che fornisce un comportamento "vuoto" al posto del null.
• Tipi opzionali / Maybe: Tipi che indicano esplicitamente che un valore può essere assente (ad esempio, Optional in Java o Maybe in Haskell).
• Annotazioni: Uso di annotazioni per indicare se un riferimento può essere null (@Nullable, @NonNull).