C# 顯式參考轉換深度解析：繼承層級、介面轉換、陣列共變數逆變數與執行時期檢查機制

顯式參考轉換 ((T)expr) 是在參考類型層級結構中進行向下/橫向轉換的機制，編譯器允許但執行時期會驗證物件實際類型相容性。理解其適用場景、陣列/委派變異規則與失敗模式，對建立型別安全的多型系統至關重要。

核心語意與分類

(目標類型)運算式
// 編譯時期：允許潛在相容的參考類型轉換
// 執行時期：檢查實際物件是否為目標類型或其衍生類別
// 成功：回傳同一物件參考 (型別視角改變)
// 失敗：拋出 InvalidCastException
// null：永遠成功，回傳 null

七大顯式參考轉換類別

繼承層級轉換實戰

向上轉換 (隱含，但可顯式寫)

class Animal { }
class Dog : Animal { }
class Cat : Animal { }

Animal a = new Dog();        // 隱含
Animal a2 = (Animal)new Dog(); // 顯式 (多餘但合法)

向下轉換 (必須顯式，執行時期檢查)

Animal a = new Dog();
Dog d = (Dog)a;      // 成功：a 實際為 Dog

Animal a2 = new Cat();
Dog d2 = (Dog)a2;    // InvalidCastException：a2 實際為 Cat

// 防禦性模式
if (a is Dog dog) { /* 使用 dog */ }
var dog2 = a as Dog; // null 安全

橫向轉換 (同層級兄弟類別)

Dog d = new Dog();
Cat c = (Cat)(Animal)d; // InvalidCastException
// 必須先向上到共同基底，再向下

介面轉換矩陣

interface ISerializable { }
interface ICloneable { }
class Document : ISerializable { }
class SerializableDoc : Document, ICloneable { }

ISerializable ser = new Document();
ICloneable clone = (ICloneable)ser; // InvalidCastException (Document 未實作 ICloneable)

ISerializable ser2 = new SerializableDoc();
ICloneable clone2 = (ICloneable)ser2; // 成功 (實際物件實作 ICloneable)

// 介面 → 類別 (類別未實作介面但非 sealed)
ICloneable c = new SerializableDoc();
Document doc = (Document)c; // 成功 (SerializableDoc 繼承 Document)

// 介面 → 介面 (非繼承關係)
IEnumerable enumObj = new List();
IList list = (IList)enumObj; // 成功 (List 實作 IList)

陣列轉換：共變數與逆變數

共變數 (向上，隱含安全 — 唯讀場景)

string[] strings = { "a", "b" };
object[] objects = strings; // 隱含轉換 (編譯器允許)

// 風險：寫入非預期類型
objects[0] = 123; // ArrayTypeMismatchException (執行時期檢查元素型別)
// 共變數安全前提：僅讀取元素

逆變數 (向下，必須顯式，寫入危險)

object[] objects = { "a", "b" }; // 實際元素為 string
string[] strings = (string[])objects; // 顯式轉換成功 (元素確實相容)

// 但若元素不相容
object[] objects2 = { "a", 123 };
string[] strings2 = (string[])objects2; // InvalidCastException (執行時期檢查)

// 規則總結
// 1. 維度相同
// 2. 元素類型皆為參考類型 (值類型陣列無共變數/逆變數)
// 3. 元素類型間有參考轉換關係 (隱含/顯式)
// 4. 執行時期檢查實際元素型別

多維陣列 / 交錯陣列

// 多維陣列：同規則，維度數必須完全相同
string[,] matrix2 = new string[2,2];
object[,] objMatrix = matrix2; // 共變數

// 交錯陣列：外層陣列元素為陣列參考
string[][] jagged = new string[2][];
object[][] objJagged = jagged; // 共變數 (外層元素 string[] → object[])

委派轉換：逆變數/共變數 (C# 4.0+)

// 委派參數逆變數：輸入類型可接受基底類別
Action