Visual Basic 2008 の互換性に影響する変更点

null 許容型

T から T? への拡大変換が、Visual Studio 2008 であらかじめ定義されている。

Visual Studio 2005 では、T を Nullable(Of T) に拡大するユーザー定義の変換を作成できます。Visual Studio 2008 では null 許容型のサポートが強化されており、この変換もあらかじめ定義されています。

オーバーロード解決では、あらかじめ定義されている変換とユーザー定義の変換の両方が考慮されるため、どちらの変換も存在する場合、あいまいさが生じる可能性があります。そのため、ユーザーが定義した T から T? への拡大変換が含まれているコードは、Visual Studio 2008 ではあいまいになる可能性があります。

たとえば、次のコードでは c3.Sub1 を呼び出します。これは Visual Studio 2005 では正常に処理されますが、Visual Studio 2008 ではコンパイラ エラーが発生します。

Module Module1

    Sub Main()
        Dim c3 As New Class3
        Dim sh As Short = 2
        ' The following statement compiles in Visual Studio 2005,
        ' but causes an error in Visual Studio 2008.
        'c3.Sub1(sh)
    End Sub

End Module

Class Class1
    Public Shared Widening Operator CType(ByVal s As  _
                                          Nullable(Of Short)) As Class1
        Return New Class1()
    End Operator
End Class

Class Class2
    Public Shared Widening Operator CType(ByVal n As Integer) As Class2
        Return New Class2()
    End Operator
End Class

Class Class3
    Sub Sub1(ByVal c As Class1)
    End Sub

    Sub Sub1(ByVal c As Class2)
    End Sub
End Class

この問題を解決するには、ユーザー定義の変換を削除するか、Class1 または Class2 に対して明示的なキャストを実行します。

c3.Sub1(CType(sh, Class1))

オーバーロードの解決法

Visual Studio 2008 では、ジェネリック パラメータと ParamArray パラメータで、オーバーロードの解決で異なる結果が発生する。

オーバーロードの解決の目的は、メソッドに渡された引数の種類に最も近いパラメータを持つ候補メソッドを選択することです。このセクションの例では、継承階層全体で Sub1 がオーバーロードされており、Integer 型と Short 型の引数を使用して呼び出されます。

Visual Studio 2005 でも Visual Studio 2008 でも、オーバーロードの解決規則では、ParamArray パラメータが必要な一致よりも、直接一致の方が優先されます。しかし、Visual Studio 2005 のオーバーロードの解決規則を使用する場合、Y が Integer にも Short にもならないため、派生クラス Class2 のオーバーロード候補の型の推定に失敗し、完全一致が必要になります。sh と n のどちらの引数も同じ型である場合、Class2 の Sub1 は Class1 の候補 (ParamArray パラメータを持つ) よりも優先されます。ただし、この 2 つの引数の型が異なる場合、代わりに Class1 の基本クラス オーバーロードが選択されます。T は Integer であると推論され、Short が ParamArrayp に拡大変換されます。

この特殊なケースを除いて、Visual Studio 2008 の新しいアルゴリズムでは Visual Studio 2005 と同じオーバーロードが選択されます。Visual Studio 2008 では、この例の場合は Short が Integer に拡大されているため、Integer が最も優先度の高い型であると判断されます。派生クラスの型パラメータ Y は Integer であると推論され、Short が Integer に拡大変換されます。その結果、派生クラスの Sub1 が呼び出されます。

Module Module1

    Sub Main()
        Dim c2 As New Class2
        Dim n As Integer
        Dim sh As Short
        c2.Sub1(n, sh)
    End Sub

    Class Class1
        Sub Sub1(Of T)(ByVal arg1 As T, ByVal ParamArray p() As Integer)
            Console.WriteLine("Visual Studio 2005 calls Sub1 " & _
                              "in the *base* class.")
        End Sub
    End Class

    Class Class2 : Inherits Class1
        Overloads Sub Sub1(Of Y)(ByVal arg1 As Y, ByVal arg2 As Y)
            Console.WriteLine("Visual Studio 2008 calls Sub1 " & _
                              "in the *derived* class.")
        End Sub
    End Class

End Module

Sub1 を呼び出す前に変数 c2 を C1ass1 型にキャストするか、引数 sh を配列として渡すことで、Visual Studio 2005 の動作を強制的に指定できます。

' You can cast variable c2 to Class1 in order to force Visual
' Studio 2005 behavior.
CType(c2, Class1).Sub1(n, sh)
' Alternatively, you can pass sh as an array.
c2.Sub1(n, New Integer() {sh})

2008 年 7 月

トピックを追加

情報の拡充