本文介紹了C# 泛型參數轉換的相關知識,具有很好的參考價值,下面跟著小編一起來看下吧
泛型不同參數類型產生的物件是相互獨立的。
//如 Tuple<string> ts; Tuple<object> to; //ts to 是两个类型的对象。
很多時候,我們希望實作 to = ts 這種操作,為什麼?因為看起來它應該是如此。
為了達到這個目的,就要解決“泛型參數轉換的問題”,這個問題的知識點是in out 泛型變體。老實說,這個問題本身不困難,只是非常不直觀,很容易讓人忘記。
首先一點,為了實現to = ts,實際上是有前提的,那就是該參數只能用在「返回類型」上。
//如 delegate object FuncObj(); FuncObj func = ()=>"string";
func之所以成功,就是因為string 可以轉換成 object。當「使用者」呼叫func,希望得到的是object對象,而string也是object對象,所以沒有任何問題。
這裡的關鍵是學習採用"使用者"的視角分析問題。
//A delegate void FuncObj2(object obj); FuncObj2 func2 = (string str)=>{}; //B delegate void FuncStr(string str); FuncStr func3 = (object obj)=>{};
分析這兩組程式碼,哪一個比較合理?
在使用者角度,它使用的是func2 和func3
使用者使用func2,傳遞的物件必然是object,但實際處理的函數是(string)=>{ },object是無法轉換成string的,所以很不合理。
使用者使用func3,傳遞的物件只能是string,而實際處理的函數是(object)=>{},string 是可以轉換成object的,所以是合理的。
當然這兩組程式碼都是不成立的,因為函數參數類型不符。
但是泛型提供了一個方法,讓類型不符的物件之間能夠隱式轉換!它實現的邏輯就是上面分析的。
//out 修饰返回类型 delegate ResultType FuncOut<out ResultType>(); //in 修饰参数类型 delegate void FuncIn<in ParamType>(ParamType param); //这是一开始我们想做到的目标 FuncOut<object> fun4 = () => "string"; //这个效果恰好相反 FuncIn<object> funcobj = (object obj) => { }; FuncIn<string> fun5 = funcobj; //注意,泛型变体一般只能和泛型变体之间隐式转换 //lambda表达式会自动转换成参数相同的泛型变体,但无法接着做变体之间的隐式转换,所以需要funcobj来过渡
out修飾回傳類型,in修飾參數類型,還是挺形象的,但是要注意泛型in參數,和out參數剛好相反。
開始我們想實現 to = ts,只是看到問題的一半,實際上泛型是存在 ts = to的可能性的,希望讀者能理解這一點。
總結:
out : to = ts; in : ts = to;
沒有修飾:to,ts完全獨立。
---------------------------(備註)-------------- -----------------
out 參數:只能用在回傳型別。
in 參數:只能用在參數。
沒有修飾:任意位置。
---------------------------(備註2)------------- -----------------
in、out泛型參數只能用在委託和介面上面。
//综合运用 delegate ResultType FuncInOut<in ParamType, out ResultType>(ParamType param); FuncInOut<object, string> funcobj2 = (object obj) => "string"; FuncInOut<string, object> func6 = funcobj2;
以上就是C# 泛型參數轉換的詳細介紹的內容,更多相關內容請關注PHP中文網(www.php.cn)!