C#泛型接口的協(xié)變和逆變
1、什么是協(xié)變、逆變？
假設(shè)：TSub是TParent的子類。
協(xié)變：如果一個(gè)泛型接口IFoo<T>，IFoo<TSub>可以轉(zhuǎn)換為IFoo<TParent>的話，我們稱這個(gè)過程為協(xié)變，IFoo支持對參數(shù)T的協(xié)變。
逆變：如果一個(gè)泛型接口IFoo<T>，IFoo<TParent>可以轉(zhuǎn)換為IFoo<TSub>的話，我們稱這個(gè)過程為逆變，IFoo支持對參數(shù)T的逆變。
2、為什么要有協(xié)變、逆變?
通常只有具備繼承關(guān)系的對象才可以發(fā)生隱式類型轉(zhuǎn)換，如Base b=new sub()。
協(xié)變和逆變可以使得更多的類型之間能夠?qū)崿F(xiàn)隱式類型轉(zhuǎn)換、類型安全性有了保障。
3、為什么泛型接口要引入?yún)f(xié)變、逆變？
基于以上原因的同時(shí)、許多接口僅僅將類型參數(shù)用于參數(shù)或返回值。所以支持協(xié)變和逆變后泛型的使用上有了更大的靈活性
4、為什么支持協(xié)變的參數(shù)只能用于方法的返回值？支持逆變的參數(shù)只能用于方法參數(shù)？
“TParent不能安全轉(zhuǎn)換成TSub”，是這兩個(gè)問題的共同原因。
我們定義一個(gè)接口IFoo。
interface IFoo<T>
{
void Method1(T param);
T Method2();
}我們看一下協(xié)變的過程：IFoo<TSub>轉(zhuǎn)換成IFoo<TParent>。
- Method1：將TSub替換成TParent，Method1顯然存在 TParent到TSub的轉(zhuǎn)換。
- Method2：返回值類型從TSub換成了TParent，是類型安全的。
所以支持協(xié)變的參數(shù)只能用在方法的返回值中。
再看一下逆變的過程：IFoo<TParent>轉(zhuǎn)換成IFoo<TSub>。
- Method1：將TParent替換成TSub，Method1存在 TSub到TParent的轉(zhuǎn)換，是類型安全的。
- Method2：返回值類型從TParent換成了TSub，是不安全的。
所以支持逆變的參數(shù)只能用在方法的參數(shù)中。
5、泛型接口支持協(xié)變、逆變和不支持協(xié)變、逆變的對比？
這其實(shí)是對3個(gè)問題的補(bǔ)充。
定義一個(gè)接口IFoo，既不支持協(xié)變，也不支持逆變。
interface IFoo<T>
{
void Method1(T param);
T Method2();
}實(shí)現(xiàn)接口IFoo
public class FooClass<T> : IFoo<T>
{
public void Method1(T param)
{
Console.WriteLine(default(T));
}
public T Method2()
{
return default(T);
}
}定義一個(gè)接口IBar支持對參數(shù)T的協(xié)變
interface IBar<out T>
{
T Method();
}實(shí)現(xiàn)接口IBar
public class BarClass<T> : IBar<T>
{
public T Method()
{
return default(T);
}
}定義一個(gè)接口IBaz支持對參數(shù)T的逆變
interface IBaz<in T>
{
void Method(T param);
}實(shí)現(xiàn)接口IBaz
public class BazClass<T> : IBaz<T>
{
public void Method(T param)
{
Console.WriteLine(param.ToString());
}
}定義兩個(gè)有繼承關(guān)系的類型，IParent和SubClass。
interface IParent
{
void DoSomething();
}
public class SubClass : IParent
{
public void DoSomething()
{
Console.WriteLine("SubMethod");
}
}按照協(xié)變的邏輯，分別來使用IFoo和IBar。
//IFoo 不支持對參數(shù)T的協(xié)變
IFoo<SubClass> foo_sub = new FooClass<SubClass>();
IFoo<IParent> foo_parent = foo_sub;//編譯錯(cuò)誤
//IBar 支持對參數(shù)T的協(xié)變
IBar<SubClass> bar_sub = new BarClass<SubClass>();
IBar<IParent> bar_parent = bar_sub;foo_parent = foo_sub 會(huì)提示編譯時(shí)錯(cuò)誤“無法將類型“IFoo<SubClass>”隱式轉(zhuǎn)換為“IFoo<IParent>”。存在一個(gè)顯式轉(zhuǎn)換(是否缺少強(qiáng)制轉(zhuǎn)換?)”
按照逆變的邏輯，分別來使用IFoo和IBaz。
//IFoo 對參數(shù)T逆變不相容
IFoo<IParent> foo_parent = null;
IFoo<SubClass> foo_sub = foo_parent;//編譯錯(cuò)誤
//IBaz 對參數(shù)T逆變相容
IBaz<IParent> baz_parent = null;
IBaz<SubClass> baz_sub = baz_parent;foo_sub = foo_parent 會(huì)提示編譯時(shí)錯(cuò)誤“無法將類型“IFoo<IParent>”隱式轉(zhuǎn)換為“IFoo<ISub>”。存在一個(gè)顯式轉(zhuǎn)換(是否缺少強(qiáng)制轉(zhuǎn)換?)”
6、.NET4.0對IEnumerable接口的修改？
2.0中的定義：
public interface IEnumerable<T> : IEnumerable
{
IEnumerator<T> GetEnumerator();
}4.0中的定義：
public interface IEnumerable<out T> : IEnumerable
{
IEnumerator<T> GetEnumerator();
}可以看到4.0中增加了對協(xié)變的支持。
可以在兩個(gè)版本試下， 下面的語句在2.0下會(huì)報(bào)錯(cuò)。
List<SubClass> subarr = new List<SubClass>();
IEnumerable<IParent> parentarr = subarr;以上就是本文的全部內(nèi)容，希望對大家的學(xué)習(xí)有所幫助，也希望大家多多支持腳本之家。
相關(guān)文章
C#實(shí)現(xiàn)密碼驗(yàn)證與輸錯(cuò)密碼賬戶鎖定
這篇文章介紹了C#實(shí)現(xiàn)密碼驗(yàn)證與輸錯(cuò)密碼賬戶鎖定的方法，文中通過示例代碼介紹的非常詳細(xì)。對大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值，需要的朋友可以參考下2022-04-04
本文給大家匯總介紹了C#中的幾種this用法，相信大家應(yīng)該有用過，但你用過幾種？以下是個(gè)人總結(jié)的this幾種用法，歡迎大家拍磚，廢話少說，直接列出用法及相關(guān)代碼。2015-06-06
這篇文章主要介紹了C#的3DES加密解密算法實(shí)例代碼，有需要的朋友可以參考一下2013-11-11
C#實(shí)現(xiàn)將PDF轉(zhuǎn)為Excel的方法詳解
通常，PDF格式的文檔能支持的編輯功能不如office文檔多，針對PDF文檔里面有表格數(shù)據(jù)的，如果想要編輯表格里面的數(shù)據(jù)，可以將該P(yáng)DF文檔轉(zhuǎn)為Excel格式。本文將介紹如何利用C#實(shí)現(xiàn)PDF轉(zhuǎn)Excel，需要的可以參考一下2022-04-04
本文主要介紹了C# dll代碼混淆加密的實(shí)現(xiàn)，文中通過示例代碼介紹的非常詳細(xì)，對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2023-02-02
下面這篇文章主要給大家介紹了關(guān)于c#中擴(kuò)展方法的相關(guān)資料，文中通過示例代碼介紹的非常詳細(xì)，供大家學(xué)習(xí)參考，感興趣的朋友可以了解下2020-06-06
這篇文章主要介紹了c# LINQ的相關(guān)資料，幫助大家更好的理解和使用c#，感興趣的朋友可以了解下2020-08-08
這篇文章主要介紹了C#實(shí)現(xiàn)FTP傳送文件的示例，幫助大家更好的理解和學(xué)習(xí)c#的使用，感興趣的朋友可以了解下2020-12-12
這篇文章主要為大家詳細(xì)介紹了Unity繪制二維動(dòng)態(tài)曲線，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2019-03-03
這篇文章主要給大家介紹了如何通過一篇文章說通C#的屬性Attribute，文中通過示例代碼介紹的非常詳細(xì)，對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2021-04-04