標籤:作用 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#逆變