程序疑難排解
更新：2007 年 11 月
本頁列出一些使用程序時所發生的常見問題。
從 Function 程序傳回陣列型別
如果 Function 程序傳回陣列資料型別，則不可使用 Function 名稱將值儲存在陣列項目中。如果您嘗試這麼做，編譯器會將它解譯為對 Function 的呼叫。下列範例會產生編譯器錯誤。
Function allOnes(ByVal n As Integer) As Integer()
For i As Integer = 1 To n - 1
' The following statement generates a COMPILER ERROR.
allOnes(i) = 1
Next i
' The following statement generates a COMPILER ERROR.
Return allOnes()
End Function
陳述式 (Statement) allOnes(i) = 1 會產生編譯器錯誤，原因是它似乎呼叫的是含有資料型別錯誤之引數的 allOnes (單一 Integer，而非 Integer 陣列)。陳述式 Return allOnes() 會產生編譯器錯誤，原因是它可能呼叫了不含引數的 allOnes。
正確方法：若要修改所傳回的陣列項目，請將內部陣列定義成區域變數。下列範例會進行編譯，且不會發生錯誤。
Function allOnes(ByVal n As Integer) As Integer()
Dim i As Integer, iArray(n) As Integer
For i = 0 To n - 1
iArray(i) = 1
Next i
Return iArray
End Function
程序呼叫並未修改引數的值
如果想要在呼叫程式碼中允許程序變更程式設計項目所對應的引數，則必須以傳址 (By Reference) 方式進行傳遞。但即使是以傳值 (By Value) 方式傳遞程序，該程序仍可存取參考型別 (Reference Type) 引數的項目。
對應變數：若要允許程序取代對應變數項目本身的值，則程序必須宣告參數 ByRef。而且，呼叫程式碼不得將引數封入括弧中，原因是這麼做會覆寫 ByRef 傳遞機制。
型別參考項目：如果宣告參數 ByVal，則程序無法修改對應變數項目本身。但是，如果引數是參考型別，即使它無法取代變數的值，仍可以修改其指向的物件成員。例如，如果引數是陣列變數，程序就無法指派新的陣列給它，但可以變更其一個或多個項目。更改的項目會反映在呼叫程式碼中的陣列變數。
下列範例會定義兩個以傳值方式取得陣列變數，並在其項目上作業的程序。increase 程序只會將每個項目加一。程序 replace 會將新的陣列指派給參數 a()，然後每個項目都加一。但是，重新指派並不會影響呼叫程式碼中的對應陣列變數，因為 a() 是以 ByVal 方式宣告。
Public Sub increase(ByVal a() As Long)
For j As Integer = 0 To UBound(a)
a(j) = a(j) + 1
Next j
End Sub
Public Sub replace(ByVal a() As Long)
Dim k() As Long = {100, 200, 300}
a = k
For j As Integer = 0 To UBound(a)
a(j) = a(j) + 1
Next j
End Sub
下列範例會進行 increase 和 replace 的呼叫：
Dim n() As Long = {10, 20, 30, 40}
Call increase(n)
MsgBox("After increase(n): " & CStr(n(0)) & ", " & _
CStr(n(1)) & ", " & CStr(n(2)) & ", " & CStr(n(3)))
Call replace(n)
MsgBox("After replace(n): " & CStr(n(0)) & ", " & _
CStr(n(1)) & ", " & CStr(n(2)) & ", " & CStr(n(3)))
第一個 MsgBox 呼叫顯示 "After increase(n): 11, 21, 31, 41"。因為 n 是參考型別，所以即使 increase 是以 ByVal 方式傳遞，仍可變更其成員。
第二個 MsgBox 呼叫顯示 "After replace(n): 11, 21, 31, 41"。因為 n 是以 ByVal 方式傳遞，所以 replace 無法透過指派新陣列來修改變數 n。當 replace 建立新陣列執行個體 (Instance) k，並且將它指派給區域變數 a 時，會遺失呼叫程式碼所傳入之 n 的參考。當它增加 a 的成員時，只會影響區域陣列 k。
正確方法：若要修改基礎變數元素本身，請以傳址方式進行傳遞。下列範例會顯示 replace 宣告中的變更，這個變更允許以呼叫程式碼中的另一個陣列來取代某個陣列。
Public Sub replace(ByRef a() As Long)
無法定義多載
如果想要定義程序的多載版本，則必須使用相同名稱，但不同的簽章。如果編譯器無法辨識您的宣告與具有相同簽章的多載，則會產生錯誤。
程序的「簽章」是由程序名稱和參數清單所決定。每個多載的名稱都必須與所有其他多載的名稱相同，但簽章中的元件至少有一個必須與其他的多載不同。如需詳細資訊，請參閱程序多載化。
下列項目 (即使它們屬於參數清單) 不是程序簽章的元件：
程序修飾詞 (Modifier) 關鍵字，例如 Public、Shared 和 Static。
參數名稱。
參數修飾詞關鍵字，例如 ByRef 和 Optional。
傳回值的資料型別 (轉換運算子除外)。
只改變上述一或多個項目，並無法多載程序。
正確方法：若要定義程序多載，則必須改變簽章。因為您必須使用相同的名稱，所以必須改變參數的數目、順序或資料型別。在泛型程序中，您可改變型別參數的數目。在轉換運算子 (CType 函式) 中，可改變傳回型別。
具有選擇性和 ParamArray 引數的多載解析
如果多載化 (Overloading) 具有一或多個 Optional (Visual Basic) 參數或 ParamArray 參數的程序，則必須避免複製任何「隱含多載」。如需詳細資訊，請參閱多載化程序的考慮因素。
呼叫錯誤的多載程序版本
如果程序具有數個多載版本，則應熟悉其所有的參數清單，並了解 Visual Basic 如何解析多載間的呼叫。否則，您可能會呼叫並不想要的多載。
當您已決定想要呼叫的多載時，請仔細觀察下列規則：
提供正確數目的引數，並依正確的順序排序。
最理想的狀況是，引數的資料型別與對應的參數完全相同。在任何情況下，每個引數的資料型別都必須擴展成其對應參數的資料型別。即使 Option Strict 陳述式設為 Off 也是如此。如果多載需要從引數清單中進行任何縮小轉換，則不能夠呼叫該多載。
如果提供需要擴展的引數，請讓其資料型別盡可能地與對應的參數資料型別相近。如果兩個或多個多載接受您的引數資料型別，則編譯器會解析您對於多載的呼叫，這個多載會呼叫最少擴展量。
準備引數時，您可使用 CType 函式轉換關鍵字，以減少資料型別不符合的機會。
多載解析失敗
呼叫多載程序時，編譯器會嘗試排除所有多載，但只留下一個多載。如果成功的話，它會解析該多載的呼叫。如果排除了所有多載，或如果無法將合格的多載減少成單一候選項，則會產生錯誤。
下列範例會說明多載解析 (Overload Resolution) 的處理過程。
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)
在第一個呼叫中，因為第一個引數的型別 (Short) 會縮小對應參數的型別 (Byte)，所以編譯器會排除第一個多載。然後，因為第二個多載中的每個引數型別 (Short 和 Single) 都擴展成第三個多載中的對應型別 (Integer 和 Single)，所以會排除第三個多載。第二個多載需要較少的擴展，因此編譯器會將它用於呼叫。
在第二個呼叫中，編譯器無法以縮小為基礎來排除任何多載。因為它可呼叫較不需要擴展引數型別的第二個多載，所以它會用第一個呼叫中的相同理由來排除第三個多載。不過，編譯器無法在第一個與第二個多載之間進行解析。每個多載都會有一個定義的參數型別，此型別會擴展為其他多載中的對應型別 (Byte 至 Short，但 Single 至 Double)。編譯器因此產生多載解析錯誤。
正確方法：若要明確呼叫多載程序，請使用 CType 函式讓引數資料型別與參數型別相符。下列範例會顯示對於 z 的呼叫，其可強制解析第二個多載。
Call z(CType(p, Short), CType(q, Single))
具有選擇性和 ParamArray 引數的多載解析
如果程序的兩個多載擁有相同的簽章，但最後一個參數在某個程序中宣告為 Optional (Visual Basic)，而在另一個程序中宣告為 ParamArray，則編譯器會依據最接近的符合項目來解析該程序的呼叫。如需詳細資訊，請參閱多載解析。