7 1 8 委託中的協變和抗變

2021-05-26 18:46:04 字數 993 閱讀 5477

7.1.8  協變和抗變

委託呼叫的方法不需要與委託宣告定義的型別相同。因此可能出現協變和抗變。

1. 返回型別協變

方法的返回型別可以派生於委託定義的型別。在下面的示例中,委託mydelegate定義為返回delegatereturn型別。賦予委託例項d1的方法返回delegatereturn2型別,delegatereturn2派生自delegatereturn,因此滿足了委託的需求。這稱為返回型別協變。

public class delegatereturn

public class delegatereturn2 : delegatereturn

public delegate delegatereturn mydelegate1();

class program

static delegatereturn2 method1()

}

2. 引數型別抗變

術語"引數型別抗變"表示,委託定義的引數可能不同於委託呼叫的方法。這裡是返回型別不同,因為方法使用的引數型別可能派生自委託定義的型別。在下面的示例**中,委託使用的引數型別是delegateparam2,而賦予委託例項d2的方法使用的引數型別是delegateparam,

delegateparam是delegateparam2的基類。

public class delegateparam

public class delegateparam2 : delegateparam

public delegate void mydelegate2(delegateparam2 p);
class program

static void method2(delegateparam p)

}

c 協變和抗變 C 中協變與抗變(逆變)

泛型在.net 2.0中正式的引入。在使用泛型的過程中,聯絡上物件導向的繼承性。往往很容易想當然敲出類似以下 list animallst new list 顯然這樣編譯是不通過的。雖然dog和animal之間有繼承性,但是list和list這兩個類之間並沒有繼承性。如果要解決這樣的問題,用上協變與...

C 中的協變和抗變

net4通過協變和抗變為泛型介面和泛型委託新增了乙個重要擴充套件。協變和抗變指對引數和返回值的型別進行轉換。在.net中,引數型別是協變的。假定有 shape和 rectangle 類,rectangle 派生自shape基類。宣告display 方法是為了接受 shape型別的物件作為其引數 pu...

C 中協變抗變之我見

在.net4.0中,新加入了協變與抗變的內容,最近查了一下msdn,對它有了乙個大概的理解,希望能夠幫助到和我一樣的菜鳥。協變 協變非常類似於普通的多型性的分配,它是針對成員的返回值型別,定義時使用關鍵字out,假定您有乙個名為 base 的基類和乙個名為 derived 的派生類 ienumera...