C# 泛型 Queue 與 Stack 深度解析：型別安全、效能與 API 差異

編輯：關於C語言

前言

泛型版 Queue<T> 與 Stack<T> 在使用語法上與非泛型版本相似，但內部機制截然不同。本文深度解析型別參數如何強化型別安全、隱式轉換規則、四大核心優勢，以及兩版本關鍵 API 差異。

型別參數與隱式轉換規則

Queue<int> numericQueue = new Queue<int>();

// 允許：隱式轉換為 int
short s = 300;
numericQueue.Enqueue(s);  // short → int 隱式轉換成功

// 不允許：無隱式轉換
double d = 300;
// numericQueue.Enqueue(d);  // 編譯錯誤 CS1503

// 允許：顯式轉換
numericQueue.Enqueue((int)d);  // 開發者承擔精度損失風險

原理：泛型集合強制編譯期檢查「來源型別 → 目標型別 T」是否存在隱式轉換。非泛型版本接受 object，所有型別皆隱式轉換為 object，失去編譯期保護。

四大核心優勢

優勢	說明	影響
型別安全	編譯期保證集合內元素皆為 T 型別	消除執行期 InvalidCastException，無需防禦性轉型
開發效率	無需繼承建立強型別子類別	從「撰寫類別」降為「指定型別參數」，秒級完成
執行效能	值型別零裝箱/拆箱；無型別轉換指令	高頻操作場景效能提升顯著，記憶體佔用降低
程式碼可讀性	`Queue<Customer>` 明確表達意圖	自我文件化，團隊協作溝通成本降低

API 差異：非泛型有、泛型無的成員

成員	類型	移除原因
Clone()	方法	ICloneable 語意模糊，改用建構函數 + IEnumerable<T>
IsSynchronized	屬性	內建同步包裝器已淘汰，改用 lock
SyncRoot	屬性	同步包裝器相關，隨之移除
Synchronized()	靜態方法	提供錯誤安全感，複合操作仍不安全

替代方案對照表

非泛型用法	泛型替代方案
`queue.Clone()`	`new Queue<T>(queue)`
`stack.Clone()`	`new Stack<T>(stack)`
`Queue.Synchronized(q)`	`lock (q) { ... }`
`if (q.IsSynchronized) ...`	不需檢查，直接使用 lock
`object sync = q.SyncRoot;`	`lock (q) { ... }` 或專用 `object _lock = new()`