泛型不同參數(shù)類型生成的對(duì)象是相互獨(dú)立的。

//如
Tuple<string> ts;
Tuple<object> to;
//ts to 是兩個(gè)類型的對(duì)象。

很多時(shí)候，我們希望實(shí)現(xiàn) to = ts 這種操作，為什么？因?yàn)榭瓷先ニ鼞?yīng)該如此。

為了達(dá)到這個(gè)目的，就要解決“泛型參數(shù)轉(zhuǎn)換的問(wèn)題”，這個(gè)問(wèn)題的知識(shí)點(diǎn)是in out 泛型變體。老實(shí)說(shuō)，這個(gè)問(wèn)題本身不困難，只是非常不直觀，很容易讓人忘記。

首先一點(diǎn)，為了實(shí)現(xiàn)to = ts，實(shí)際上是有前提的，那就是該參數(shù)只能用在“返回類型”上。

//如
delegate object FuncObj();
FuncObj func = ()=>"string";

func之所以成功，就是因?yàn)閟tring 可以轉(zhuǎn)換成 object。當(dāng)“用戶”調(diào)用func,希望得到的是object對(duì)象，而string也是object對(duì)象，所以沒(méi)有任何問(wèn)題。

這里的關(guān)鍵是學(xué)會(huì)采用"用戶"的視角分析問(wèn)題。

//A
delegate void FuncObj2(object obj);
FuncObj2 func2 = (string str)=>{};
//B
delegate void FuncStr(string str);
FuncStr func3 = (object obj)=>{};

分析這兩組代碼，哪一個(gè)更加合理？

在用戶角度，它使用的是func2 和 func3

用戶使用func2,傳遞的對(duì)象必然是object，但實(shí)際處理的函數(shù)是(string)=>{},object是無(wú)法轉(zhuǎn)換成string的，所以很不合理。

用戶使用func3，傳遞的對(duì)象只能是string,而實(shí)際處理的函數(shù)是(object)=>{},string 是可以轉(zhuǎn)換成object的，所以是合理的。

當(dāng)然這兩組代碼都是不成立的，因?yàn)楹瘮?shù)參數(shù)類型不匹配。

但是泛型提供了一個(gè)方法，讓類型不匹配的對(duì)象之間能夠隱式轉(zhuǎn)換！它實(shí)現(xiàn)的邏輯就是上面分析的。

//out 修飾返回類型
delegate ResultType FuncOut<out ResultType>();
//in 修飾參數(shù)類型
delegate void FuncIn<in ParamType>(ParamType param);
//這是一開(kāi)始我們想做到的目標(biāo)
FuncOut<object> fun4 = () => "string";
//這個(gè)效果恰好相反
FuncIn<object> funcobj = (object obj) => { };
FuncIn<string> fun5 = funcobj;
//注意，泛型變體一般只能和泛型變體之間隱式轉(zhuǎn)換
//lambda表達(dá)式會(huì)自動(dòng)轉(zhuǎn)換成參數(shù)相同的泛型變體，但無(wú)法接著做變體之間的隱式轉(zhuǎn)換，所以需要funcobj來(lái)過(guò)渡

out修飾返回類型，in修飾參數(shù)類型，還是挺形象的，但是要注意泛型in參數(shù)，和out參數(shù)正好相反。

開(kāi)始我們想實(shí)現(xiàn) to = ts，只是看到問(wèn)題的一半，實(shí)際上泛型是存在 ts = to的可能性的，希望讀者能理解這一點(diǎn)。

總結(jié)：

out : to = ts;

in : ts = to;

沒(méi)有修飾：to，ts完全獨(dú)立。

---------------------------（備注）-------------------------------
out 參數(shù)：只能用在返回類型。

in 參數(shù)：只能用在參數(shù)。

沒(méi)有修飾：任意位置。

---------------------------（備注2）------------------------------

in、out泛型參數(shù)只能用在委托和接口上面。

//綜合運(yùn)用
delegate ResultType FuncInOut<in ParamType, out ResultType>(ParamType param);
FuncInOut<object, string> funcobj2 = (object obj) => "string";  
FuncInOut<string, object> func6 = funcobj2;

以上就是本文的全部?jī)?nèi)容，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作能帶來(lái)一定的幫助，同時(shí)也希望多多支持腳本之家！

最新評(píng)論