C# 4.0新特性:協變與逆變中的編程思想

現在我們接著來談談C#4.0中一個重要的新特性：協變（Covariance）與逆變（Contravariance）。對於協變與逆變，大家肯定不會感到陌生，但是我相信有很多人不能很清晰地說出他們之間的區別。我希望通過這篇文章能夠讓讀者更加深刻的認識協變與逆變。但是也不排除另一種可能，那就是讀者這篇文章你對這兩個概念更加模糊。文章一些內容僅代表個人觀點，如有不妥，還望指正。

一、兩個概念：強類型與弱類型

為了後面敘述方便，我現在這裡自定義兩個概念：強類型和弱類型。在本篇文章中，強類型和弱類型指的是兩個具有直接或者間接繼承關系的兩個類。如果一個類是另一個類的直接或者間接基類，那麼它為弱類型，直接或者間接子類為強類型。後續的介紹中會用到的兩個類Foo和Bar先定義在這裡。Bar繼承自Foo。Foo是弱類型，而Bar則是強類型。

public class Foo     
 {     
     //Others Members...     
 }     
 public class Bar:Foo     
 {     
     //Others Members...     
 } 

有了強類型和弱類型的概念，我們就可以這樣的定義協變和逆變：如果類型TBar是基於強類型Bar的類型（比如類型參數為Bar的泛型類型，或者是參數/返回值類型為Bar的委托），而類型TFoo是基於弱類型Foo的類型，協變就是將TBar類型的實例賦值給TFoo類型的變量，而逆變則是將TFoo類型的實例賦值給TBar類型的變量。

二、委托中的協變與逆變的使用

協變和逆變主要體現在兩個地方：接口和委托，先來看看在委托中如何使用協變和逆變。現在我們定義了如下一個表示無參函數的泛型委托Function，類型參數為函數返回值的類型。泛型參數之前添加了一個out關鍵字表示T是一個協變變體。那麼在使用過程中，基於強類型的委托Fucntion實例就可以賦值給基於弱類型的委托Fucntion變量。

public delegate T Function<out T>();     
 class Program     
 {     
     static void Main()     
    {     
        Function funcBar = new Function(GetInstance);     
        Function funcFoo = funcBar;    
        Foo foo = funcFoo();     
    }    
     static Bar GetInstance()    
     {    
         return new Bar();    
     }    
 } 

接下來介紹逆變委托的用法。下面定義了一個名稱為Operate的泛型委托，接受一個具有泛型參數類型的參數。在定義泛型參數前添加了in關鍵字，表示T是一個基於逆變的變體。由於使用了逆變，我們就可以將基於弱類型的委托Operate實例就可以賦值給基於強類型的委托Operate變量。

public delegate void Operate<in T>(T instance);   
class Program   
{   
static void Main()   
{   
Operate opFoo = new Operate(DOSth);   
Operate opBar = opFoo;   
opBar(new Bar());   
}   
static void DOSth(Foo foo)   
{   
//Others...   
}   
} 

三、接口中的協變與逆變的使用

接下來我們同樣通過一個簡單的例子來說明在接口中如何使用協變和逆變。下面定義了一個繼承自 IEnumerable接口的IGroup集合類型，和上面一樣，泛型參數T之前的out關鍵字表明這是一個協變。既然是協變，我們就可以將一個基於強類型的委托IGroup實例就可以賦值給基於弱類型的委托IGroup變量。

public interface IGroup<out T> : IEnumerable  
{ }   
public class Group : List, IGroup   
{ }   
public delegate void Operate<in T>(T instance);   
class Program   
{   
static void Main()   
{   
IGroup groupOfBar = new Group();   
IGroup groupOfFoo = groupOfBar;   
//Others...   
}  
}  

下面是一個逆變接口的例子。首先定義了一個IPaintable的接口，裡面定義了一個可讀寫的Color屬性，便是實現該接口的類型的對象具有自己的顏色，並可以改變顏色。類型Car實現了該接口。接口IBrush定義了一把刷子，泛型類型需要實現IPaintable接口，in關鍵字表明這是一個逆變。方法Paint用於將指定的對象粉刷成相應的顏色，表示被粉刷的對象的類型為泛型參數類型。Brush實現了該接口。由於IBrush定義成逆變，我們就可以將基於強類型的委托IBrush實例就可以賦值給基於弱類型的委托IBrush變量。

public interface IPaintable   
{  
Color Color { get; set; }   
}  
public class Car : IPaintable   
{   
public Color Color { get; set; }   
}   
 
public interface IBrush<in T> where T : IPaintable   
{   
void Paint(T objectToPaint, Color color);   
}   
public class Brush : IBrush where T : IPaintable   
{   
public void Paint(T objectToPaint, Color color)   
{   
objectToPaint.Color = color;   
}   
}   
 
class Program   
{   
static void Main()   
{   
IBrush brush = new Brush();   
IBrush carBrush = brush;   
Car car = new Car();   
carBrush.Paint(car, Color.Red);   
Console.WriteLine(car.Color.Name);   
}   
}  

四、從Func看協變與逆變的本質

接下來我們來談談協變和逆變的本質區別是什麼。在這裡我們以我們非常熟悉的一個委托Func作為例子，下面給出了該委托的定義。我們可以看到Func定義的兩個泛型參數分別屬於逆變和協變。具體來說輸入參數類型為逆變，返回值類型為協變。

public delegate TResult Func<in T, out TResult>(T arg); 

再重申以下這句話“輸入參數類型為逆變，返回值類型為協變”。然後，你再想想為什麼逆變用in關鍵字，而協變用out關鍵字。這兩個不是偶然，實際上我們可以將協變/逆變與輸出/輸入匹配起來。

我們再從另一個角度來理解協變與逆變。我們知道接口代表一種契約，當一個類型實現一個接口的時候就相當於簽署了這份契約，所以必須是實現接口中所有的成員。實際上類型繼承也屬於一種契約關系，基類定義契約，子類“簽署”該契約。對於類型系統來說，接口實現和類型繼承本質上是一致的。契約是弱類型，簽署這份契約的是強類型。

將契約的觀點應用在委托上面，委托實際上定義了一個方法的簽名（參數列表和返回值），那麼參數和返回值的類型就是契約，現在的關鍵是誰去履行這份契約。所有參數是外界傳入的，所以基於參數的契約履行者來源於外部，也就是被賦值變量的類型，所以被賦值變量類型是強類型。而對於代理本身來說，參數是一種輸入，也就是一種采用in關鍵字表示的逆變。

而對於委托的返回值，這是給外部服務的，是委托自身對外界的一種承諾，所以它自己是契約的履行著，因此它自己應該是強類型。相應地，對於代理本身來說，返回值是一種輸出，也就是一種采用out關鍵字定義的協變。

也正式因為這個原因，對於一個委托，你不能將參數類型定義成成協變，也不能將返回類型定義成逆變。下面兩中變體定義方式都是不能通過編譯的。

delegate TResult Fucntion<out T, TResult>(T arg);   
delegate TResult Fucntionin TResult>(T arg);  

說到這裡，我想有人要問一個問題，既然輸入表示逆變，輸出表示協變，委托的輸出參數應該定義成協變了？非也，實際上輸出參數在這裡既輸出輸出，也輸出輸入（畢竟調用的時候需要指定一個對應類型的對象）。也正是為此，輸出參數的類型及不能定義成協變，也不能定義成逆變。所以下面兩種變體的定義也是不能通過編譯的。

delegate void Action<in T>(out T arg);   
delegate void Action<out T>(out T arg); 

雖然這裡指介紹了關於委托的協變與逆變，上面提到的契約和輸入/輸出的關系也同樣適用於基於接口的協變與逆變。你自己可以采用這樣的方式去分析上面一部分我們定義的IGroup和IBrush。

五、逆變實現了“算法”的重用

實際上關系協變和逆變體現出來的編程思想，還有一種我比較推崇的說法，那就是：協變是繼承的體現，而逆變體現的則是多態。實際上這與上面分析的契約關系本質上是一致的。

關於逆變，在這裡請容我再啰嗦一句：逆變背後蘊藏的編程思想體現出了對算法的重用——我們為基類定義了一套操作，可以自動應用於所有子類的對象。

原文鏈接：http://www.cnblogs.com/artech/archive/2011/01/13/variance.Html

【編輯推薦】

1. 精通C#與.Net 4.0數據庫開發：基礎、數據庫核心技術、項目實戰
2. C#應用Attribute特性 代碼統計分析
3. C# 4.0權威指南