Re: [問題] C# 泛型中的共變數和反變數

看板C_Sharp (C#)作者fo40225時間8年前 (2017/04/02 02:25)推噓3(3推 0噓 1→)

留言4則, 3人參與討論串2/2 (看更多)

※ 引述《LaPass (LaPass)》之銘言： : https://pastebin.com/5xXiWRPB : 如連結中的程式碼 : 所以即使知道 actd 實際上是一個 Action<C> : 在 C# 當中也沒有任何方法可以把他轉換回 Action<C> : 是這樣子嗎？ https://msdn.microsoft.com/en-us/library/dd799517.aspx Action泛型委派的宣告如下 public delegate void Action<in T>(T obj); in T 代表的是T是一個contravariance反變數簡單的說這個T是一個"輸入"參數類型假設我們有兩個class public class Base {} public class Derived : Base {} 宣告一個 Action<Base> foo 表示這個委派 foo 接受一個 Base 實體這時候在泛型宣告有 in 限定詞的情況下可以直接 Action<Derived> bar = foo; 因為能給 bar 的 Derived 一定是一個 Base 這是類型安全的而你的範例 Action<Base> foo = bar; 這句話並不是類型安全能接受Derived輸入不代表能接受輸入Base 所以需要顯式地cast 相對於Contravariance反變數的是Covariance共變數範例 IEnumerable泛型介面的宣告如下 public interface IEnumerable<out T> out T代表著T是一個"輸出"參數類型宣告一個 IEnumerable<Derived> foo 表示這個介面是輸出一個Derived 在泛型宣告有out限定詞的情況下 IEnumerable<Base> bar = foo; 這句話是類型安全的輸出一個Derived一定是Base 這時候不用特別轉換結論如果編譯器告訴你錯了就要小心是不是有什麼地方搞錯了做cast時要了解自己在做什麼不然能編譯成功也會在runtime時炸掉 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.29.213 ※ 文章網址: https://www.ptt.cc/bbs/C_Sharp/M.1491071103.A.86E.html