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

//如
Tuple<string> ts;
Tuple<object> to;
//ts to 是兩個類型的對象。

很多時候，我們希望實現(xiàn) to = ts 這種操作，為什么？因為看上去它應(yīng)該如此。

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

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

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

func之所以成功，就是因為string 可以轉(zhuǎn)換成 object。當“用戶”調(diào)用func,希望得到的是object對象，而string也是object對象，所以沒有任何問題。

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

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

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

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

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

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

當然這兩組代碼都是不成立的，因為函數(shù)參數(shù)類型不匹配。

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

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

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

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

總結(jié)：

out : to = ts;

in : ts = to;

沒有修飾：to，ts完全獨立。

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

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

沒有修飾：任意位置。

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

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

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

以上就是本文的全部內(nèi)容，希望本文的內(nèi)容對大家的學習或者工作能帶來一定的幫助，同時也希望多多支持腳本之家！

最新評論