C#逆變

標籤：作用   ace   今天   解釋   參數   anim   這就是我   演算法   理解   

      在好多的.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 Nibian24     {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         }

 

C#逆變