VB.NETの深淵へ：共変性（Covariance）と反変性（Contravariance）で「型」の壁を突き破る
こんにちは。これまでVB.NETを触り、マクロの記録から脱却し、いよいよ「再利用可能なクラスライブラリ」を設計しようとしている皆さん。
皆さんは、こんな経験はありませんか？
「`List(Of Dog)`を`List(Of Animal)`に代入しようとしたら、コンパイラに怒られた……」
当然です。VB.NETの型システムは厳格ですから。しかし、この「厳格さ」を味方につけ、「変性（Variance）」という武器を手に入れれば、コードの柔軟性は劇的に向上します。今日は、上級エンジニアへの切符である「共変性（Out）」と「反変性（In）」を、魂を込めて解説します。
—
1. なぜ「代入できない」のか？：型安全性のジレンマ
まず、なぜ`List(Of Dog)`を`List(Of Animal)`に代入できないのかを考えましょう。
Dim dogs As New List(Of Dog)()
Dim animals As List(Of Animal) = dogs ‘ ここでコンパイルエラー！
もしこれが許されてしまうと、後から`animals`に対して`animals.Add(New Cat())`ができてしまいます。`dogs`の中身に`Cat`が混入する……これは型安全性の崩壊です。だからこそ、VB.NETはこれを禁止しています。
しかし、「読み取り専用」ならどうでしょう？「犬のリストを動物のリストとして読む」だけなら安全ですよね。ここで登場するのが `Out` と `In` です。
—
2. 共変性（Covariance）：`Out`キーワードの魔法
「共変性」とは、型の継承関係をそのまま保って代入できるようにすることです。「より具体的な型（Dog）を、より抽象的な型（Animal）として扱いたい」というニーズに応えます。
これを実現するには、インターフェイスの型引数に `Out` キーワードを付与します。
‘ Outキーワードは「このインターフェイスはTを生成（出力）しかしない」と約束するもの
Public Interface IReader(Of Out T)
Function GetItem() As T
End Interface
‘ 実装例
Public Class DogReader : Implements IReader(Of Dog)
Public Function GetItem() As Dog Implements IReader(Of Dog).GetItem
Return New Dog()
End Function
End Class
‘ 利用シーン
Dim dogReader As IReader(Of Dog) = New DogReader()
Dim animalReader As IReader(Of Animal) = dogReader ‘ これが通る！
ポイント: `Out`を付けると、「このTは戻り値としてしか使われない（書き込みはしない）」ことをコンパイラに保証します。だからこそ、安全に広い型への代入が許可されるのです。
—
3. 反変性（Contravariance）：`In`キーワードの逆転劇
次に「反変性」です。これは共変性の逆。「より抽象的な型（Animal）を扱う処理に、より具体的な型（Dog）を渡したい」というニーズです。
例えば、「動物を処理する」というルールを「犬を処理する」という実装で代用するイメージです。
‘ Inキーワードは「このインターフェイスはTを消費（入力）しかしない」と約束するもの
Public Interface IWriter(Of In T)
Sub Write(item As T)
End Interface
‘ 実装例
Public Class AnimalWriter : Implements IWriter(Of Animal)
Public Sub Write(item As Animal) Implements IWriter(Of Animal).Write
Console.WriteLine(“動物を処理中…”)
End Sub
End Class
‘ 利用シーン
Dim animalWriter As IWriter(Of Animal) = New AnimalWriter()
Dim dogWriter As IWriter(Of Dog) = animalWriter ‘ これが通る！
ポイント: 「動物なら何でも処理できる」なら、「犬だって処理できるよね？」という理屈です。`In`を付けることで、型が逆方向に柔軟になります。
—
4. 現場で役立つチェックリスト
ここを理解していれば、設計の幅が格段に広がります。
- Out (共変性): 型を「取り出すだけ」の時。戻り値にのみTを使う。`IEnumerable(Of Out T)`などが代表例です。
- In (反変性): 型を「受け取るだけ」の時。引数にのみTを使う。`IComparer(Of In T)`や`Action(Of In T)`が代表例です。
- 注意点: `Out`を付けているインターフェイスでメソッドの引数にTを使うと、コンパイラが「書き込みに使われる可能性がある」と判断し、エラーを吐きます。これがVB.NETの守りの硬さです。
—
最後に：プロフェッショナルへの道
VB.NETのジェネリクスにおける変性は、単なるテクニックではなく、「どうすれば予期せぬエラーを起こさない設計ができるか」という思想そのものです。
マクロの記録から卒業し、こうした「型との対話」を楽しむようになれば、皆さんが書くクラスライブラリは、他の開発者にとっても「堅牢で使いやすい」最高のものになります。
「コンパイルエラーは敵ではなく、バグを未然に防いでくれる親切なガイドだ」。そう思えるようになった時、皆さんはもう、一人前のアーキテクトです。
さあ、次はどんな複雑なインターフェイスを設計してみますか？応援していますよ！
