Risposta.

Storia della domanda
L'opzione Option Strict è stata introdotta in Visual Basic .NET per migliorare la sicurezza dei tipi. Nelle versioni precedenti del linguaggio (VB6) avvenivano conversioni implicite di tipi, che portavano a comportamenti inaspettati del programma e errori difficili da rilevare. Attivare Strict rende il comportamento più esplicito e rigorosamente tipizzato.

Problema
Le conversioni implicite di tipi (ad esempio, assegnare una stringa a una variabile numerica o restituire tipi diversi da una funzione) portano a errori a runtime. I progetti con Option Strict Off sono spesso fonte di bug difficili da rilevare.

Soluzione
Con Option Strict On non sono ammesse conversioni implicite di tipi, tutte le dichiarazioni di variabili, parametri e tipi di ritorno delle funzioni devono essere esplicitamente indicati. Questo previene una serie di errori già in fase di compilazione e contribuisce a un codice di alta qualità.

Esempio di codice:

Option Strict On
Dim x As Integer
x = "123" ' Errore di compilazione — conversione esplicita obbligatoria

x = CInt("123") ' OK

Function GetNumber(ByVal input As String) As Integer
    Return input ' Errore di compilazione
End Function

Caratteristiche principali:

Richiede un cast esplicito dei tipi.
Vietate le conversioni implicite estese.
Costringe a dichiarare il tipo per ogni variabile e valore di ritorno.

Domande trabocchetto.

A cosa serve Option Strict Off, se con Strict On è più comodo e sicuro?

Option Strict Off è utilizzato per supportare codice legacy, in cui sono già presenti molte conversioni implicite (ad esempio, migrazione da VB6). Nei nuovi progetti è consigliato attivare Strict per un codice più affidabile e sicuro.

È possibile ripristinare la severità della selezione dei tipi a livello di file, se nel progetto di default è Off?

Sì, è possibile aggiungere la direttiva Option Strict On all'inizio di un modulo o file specifico, e il controllo rigoroso dei tipi si applicherà solo a quel file.

' All'inizio del file:
Option Strict On

Strict impedisce di utilizzare il late binding tramite Object?

Sì, con Option Strict On non è possibile chiamare membri di oggetti non riconosciuti durante la compilazione (late binding). È necessario castare gli oggetti a un tipo noto tramite interfacce o utilizzare il lavoro dinamico solo con Off.

Errori tipici e anti-pattern

Utilizzare Option Strict Off solo per non voler lavorare con la tipizzazione sicura.
Conversione implicita di tipi, che porta a eccezioni a runtime.
Operazioni di casting massicce, senza verificare la possibilità di conversione, ad esempio, tramite CInt, CDbl, ecc. senza TryParse.

Esempio dalla vita reale

Caso negativo

Un programmatore non ha attivato Option Strict, e durante l'immissione di dati da un campo di testo TextBox, i valori venivano assegnati direttamente a variabili numeriche. Durante l'immissione di dati errati, il programma si arrestava in modo anomalo.

Pro:

Avvio rapido.
Meno codice in fase di sviluppo.

Contro:

Molti errori in fase di produzione.
Difficoltà nel cercare la causa di bug inaspettati.

Caso positivo

Un programmatore ha attivato Option Strict On, tutte le conversioni venivano effettuate esplicitamente tramite TryParse. Gli errori venivano catturati in fase di compilazione, le eccezioni a runtime sono minime.