C#逆變

      在好多的.net的書籍中都看到過逆變和協變的概念，也在網上搜了一些關於這兩個概念的解釋，但是一直感覺似懂非懂的，直到最近在項目中實際遇到了一個問題，恰好用到了逆變，總算對逆變的理解又進了一步。

      逆變只能用到泛型介面和委托中，以前一直不理解為什麼要用在泛型中，今天終於想明白了。在介紹逆變之前，先來說說泛型，泛型的作用就是演算法的重用，舉個例子

 1 public class EntityBase<T>
 2     {
 3        DbContext db = new DbContext();
 4        public void Add(T Entity)
 5        {
 6            db.DbSet<T>.Add(Entity);
 7        }
 8        public void Remove(T Entity)
 9        {
10            db.DbSet<T>.Remove(Entity);
11        }
12     }

看著很熟悉吧，對頭，這就是我們在EF中常用的代碼，每個實體類(映射到數據中的表的類)都用這個泛型類來定義，只需要指定T的類型就可以了，如果沒有使用這個泛型類，那麼我們不得不為每個實體類都定義一遍這些方法，所有類中的方法的代碼除了類型，其他都一模一樣。所以泛型就是演算法的重用，泛型只對編譯器可見，.net運行時環境是不知道泛型的，因為在編譯時編譯器自動根據T的類型，在每個類型中都生成一次方法的代碼。

     泛型介面的逆變其實也是為了實現演算法的重用，如下麵的例子

 1    public interface ICry<out T>
 2     {
 3         void Cry();
 4     }
 5     public class Animal
 6     {
 7         
 8     }
 9     public class Cat : Animal, ICry<Cat>
10     {
11         public void Cry()
12         {
13             Console.WriteLine("喵喵喵");
14         }
15     }
16     public class Tiger : Animal, ICry<Tiger>
17     {
18         public void Cry()
19         {
20             Console.WriteLine("嗷嗷嗷");
21         }
22     }
23     public class Nibian
24     {
25         public void Metho1(ICry<Animal> an)
26         {
27             an.Cry();
28         }
29     }

註意Nibian這個類Metho1方法，參數為ICry<Animal>，我們卻可以傳ICry<Cat>或ICry<Tiger>，就是因為我們在泛型介面中寫了out這個逆變額關鍵字，雖然ICry<Cat>和ICry<Tiger>並不是同一個類，而且它倆和ICry<Animal>也不是父子類關係，按照OO原則，參數為父類，那麼只能傳父類和子類實例，如果沒有逆變這個特性，我們還必須為每一個子類寫一個這樣方法，只是參數為ICry<Cat>和ICry<Tiger>，哈哈，看出來了把，逆變就是為了實現演算法重用。最後是主程式Main方法

1 static void Main(string[] args)
2         {
3             ICry<Cat> c = new Cat();
4             ICry<Tiger> t = new Tiger();
5             Nibian nb = new Nibian();
6             nb.Metho1(c);
7             nb.Metho1(t);
8         }