Risoluzione dell'overload
Aggiornamento: novembre 2007
È necessario che il compilatore di Visual Basic decida quale overload chiamare quando rileva una chiamata a una routine definita in diverse versioni di overload. Questa operazione viene eseguita attenendosi alla procedura che segue:
Accessibilità. Eliminazione di tutti gli overload con un livello di accesso che impedisce al codice chiamante di chiamarli.
Numero di parametri. Eliminazione di eventuali overload che definiscano un numero diverso di parametri rispetto a quello fornito nella chiamata.
Tipi di dati dei parametri. Il compilatore preferisce i metodi di istanza ai metodi di estensione. Se viene rilevato un metodo di istanza che richiede solo conversioni verso un tipo di dati più grande per corrispondere alla chiamata di routine, tutti i metodi di estensione vengono rilasciati e il compilatore continua solo con i candidati del metodo di istanza. Se tale metodo di istanza non viene rilevato, continua sia con i metodi di istanza che con i metodi di estensione.
In questo passaggio vengono eliminati eventuali overload per i quali i tipi di dati degli argomenti di chiamata non possano essere convertiti nei tipi di parametri definiti nell'overload.
Conversioni verso tipi di dati più piccoli. Eliminazione di eventuali overload che richiedano una conversione verso un tipo di dati più piccolo dai tipi di argomento di chiamata ai tipi di parametro definiti. Questa operazione viene eseguita indipendentemente dal fatto che l'opzione di controllo dei tipi (Istruzione Option Strict) sia On o Off.
Conversione verso tipi di dati più grandi. Il compilatore considera gli overload rimanenti a coppie. Per ogni coppia, il compilatore confronta i tipi di dati dei parametri definiti. Se i tipi in uno degli overload sono tutti ampliati nei tipi corrispondenti nell'altro, il compilatore elimina quest'ultimo. In altre parole, viene mantenuto l'overload che richiede l'ampliamento minore.
Candidato singolo. Gli overload continuano ad essere considerati a coppie fino a quando non rimane solo un overload, su cui viene risolta la chiamata. Se il compilatore non è in grado di ridurre gli overload a uno solo, viene generato un errore.
Nella seguente figura viene illustrato il processo che determina quale versione di un insieme di versioni di overload chiamare.
Risoluzione delle versioni di overload
.gif)
Nell'esempio riportato di seguito viene illustrato il processo di risoluzione degli overload.
Overloads Sub z(ByVal x As Byte, ByVal y As Double)
End Sub
Overloads Sub z(ByVal x As Short, ByVal y As Single)
End Sub
Overloads Sub z(ByVal x As Integer, ByVal y As Single)
End Sub
Dim r, s As Short
Call z(r, s)
Dim p As Byte, q As Short
' The following statement causes an overload resolution error.
Call z(p, q)
Durante la prima chiamata il compilatore elimina il primo overload poiché il tipo del primo argomento (Short) esegue la conversione verso il tipo di dati più piccolo (Byte) del parametro corrispondente. Viene quindi eliminato il terzo overload poiché ogni tipo di argomento del secondo overload (Short e Single) esegue la conversione verso il tipo di dati più grande corrispondente del terzo overload (Integer e Single). Il secondo overload richiede un minore ampliamento dei dati e viene quindi utilizzato dal compilatore per la chiamata.
Durante la seconda chiamata il compilatore non è in grado di eliminare alcun overload in base al meccanismo della conversione verso un tipo di dati più piccolo. Viene eliminato il terzo overload per lo stesso motivo indicato nella prima chiamata, in quanto è possibile chiamare il secondo overload con un ampliamento minore dei tipi degli argomenti. Tuttavia, il compilatore non è in grado di scegliere tra il primo e il secondo overload. Ciascun overload dispone di un tipo di parametro definito che viene convertito verso il tipo più grande corrispondente nell'altro overload (Byte in Short e Single in Double). Il compilatore, di conseguenza, genera un errore di risoluzione dell'overload.
Argomenti di overload Optional e ParamArray
Se due overload di una routine hanno firme identiche con l'unica eccezione che l'ultimo parametro è dichiarato Optional (Visual Basic) in uno e ParamArray nell'altro, il compilatore risolve una chiamata di tale routine nel modo seguente:
Se l'ultimo argomento viene fornito dalla chiamata come |
Il compilatore risolve la chiamata dell'overload dichiarando l'ultimo argomento come |
|---|---|
Nessun valore (argomento omesso) |
Optional |
Un valore |
Optional |
Due o più valori in un elenco separato da virgola |
ParamArray |
Una matrice di qualunque lunghezza (inclusa una matrice vuota) |
ParamArray |
Vedere anche
Attività
Risoluzione dei problemi relativi alle routine
Procedura: definire più versioni di una routine
Procedura: chiamare una routine di overload
Procedura: overload di una routine che accetta parametri facoltativi
Procedura: eseguire l'overload di una routine che accetta un numero indefinito di parametri
Concetti
Considerazioni sull'overload di routine
Metodi di estensione (Visual Basic)