C# 4.0 泛型協變與逆變深度解析（一）：基本概念與多態性

定義

• 不變性：必須使用完全相符的型別。
• 協變性：可使用衍生型別替代基底型別（參數位置）。
• 逆變性：可使用基底型別替代衍生型別（回傳值位置）。

C# 的預設行為

參數協變、回傳值逆變，符合多態直覺。

void PrintOutput(object thing) { if (thing != null) Console.WriteLine(thing); }
PrintOutput(5);           // int → object 協變
PrintOutput("hello");     // string → object 協變

object value = SomeMethod(); // 回傳值逆變：衍生型別指派給基底型別變數

集合與泛型的不同

陣列、.NET 1.x 集合（ArrayList）支援協變/逆變但不安全；泛型集合（.NET 2.0+）為不變，編譯期保證型別安全。本系列將深入探討原因與 C# 4.0 的改進。