泛型參數轉換的問題

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

//如
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;