作者noodleT (麵)
看板C_Sharp
標題[問題] 泛型類別如何向下轉型？
時間Wed Oct 4 14:08:04 2017
class MyList<T>{}
interface IBase{}
interface ISub:IBase{}
如上，ISub 繼承 IBase ，令：
var a = new MyList<ISub>();
var b = (MyList<IBase>)a;
這時b強制轉型會造成錯誤。
我知道因為泛型會在執行階段
產生特殊版本來跑不同型別輸入，
因該是因為這原因讓編譯器認定
a,b 是兩種不同的型別，
但若有強制轉換需求該怎麼做？
-----
Sent from JPTT on my HTC_U-1u.
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.255.216.59
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_Sharp/M.1507097286.A.66F.html
1F：→ Litfal: 是要丟給別的method用？還是？10/04 14:23
2F：→ Litfal: 用 a.Select(s=>(IBase)s).ToList() 另外建一個List比較10/04 14:23
3F：→ Litfal: 簡單，不然你就要把MyList<T> 拉一個介面出來，然後寫成10/04 14:26
4F：→ Litfal: IMyList<out T>，不過會有一些問題你要自己摸索 XD10/04 14:26
5F：→ Litfal: 因為你的MyList如果真的是個List，那麼會有in會有out，10/04 14:27
我想把
MyList<ISub> MyList<IBase>
放入 Dictionary<int, T > 去統一管理，
但 T 不論是宣告成什麼，
都無法儲存。
※ 編輯: noodleT (111.255.216.59), 10/04/2017 14:56:11
6F：→ Litfal: 你不可能放進去不轉型拿出來也不轉型阿 10/04 15:32
7F：→ Litfal: 你可以把狗丟到動物園裡面，但動物園出來不一定是狗 10/04 15:33
8F：→ Litfal: 可以從狗屋裡面拿出一隻動物，但不能把任何動物丟進狗屋 10/04 15:34
9F：→ Litfal: 你想想你的問題，b=a; b.Add(base)，base怎麼塞入a？ 10/04 15:36
10F：→ Litfal: 一般來說，集合會用基底的類別或介面，然後再用多型直接用 10/04 15:37
11F：推 s4300026: 為什麼不用內建的collection list 10/05 07:54
12F：推 s4300026: 這問題我當初的解法是list<base>，然後取出後is as轉想 10/05 07:57
13F：→ s4300026: 要的，就樓上的解法。 10/05 07:57
14F：推 CloudyWing: 泛型宣告T前面加out 讓他支援協變 10/07 15:46
15F：→ CloudyWing: 不過out要用到介面，所以要先訂一個interface給List實 10/07 15:48
16F：→ CloudyWing: 作 10/07 15:48
17F：→ noodleT: 不用內建的是因為我要在 MyList 加入執行緒鎖。如果類別 10/12 08:10
18F：→ noodleT: 無法互相轉型，那只能分開放了。 10/12 08:10
19F：→ james732: 內建有執行緒安全的容器，不符合你的需求嗎？ 10/12 23:25
20F：→ james732: 我同s4300026，會用is as來轉 10/12 23:25
21F：→ noodleT: 因為我需要在整個 for each loop 都將資料陣列鎖住，避免 10/12 23:37
22F：→ noodleT: 其他人 add , remove 10/12 23:37
23F：→ noodleT: 所以原本內建集合沒辦法達到要求 10/12 23:39
24F：推 s4300026: 應該沒幫助，但加減看XD 10/17 20:34