C#中關於逆變和協變的詳解
這篇文章主要為大家詳細介紹了C#逆變與協變的相關資料,具有一定的參考價值,有興趣的小伙伴們可以參考一下
該文章中使用了較多的委託delegate和Lambda表達式,如果你並不熟悉這些,請查看我的文章《委託與匿名委託》、《匿名委託與Lambda表達式》以便幫你建立完整的知識體系。
在C#從誕生到發展壯大的過程中,新知識點不斷被引入。逆變與協變並不是C#獨創的,屬於後續引入。在Java中同樣有逆變與協變,後續也會寫一篇Java逆變協變的文章,有興趣的朋友可以關註一下。
逆變與協變,聽起來很抽象、高深,其實很簡單。看下面的程式碼:
class Person { } class Student : Person { } class Teacher: Person { } class Program { static void Main(string[] args) { List<Person> plist = new List<Person>(); plist = new List<Student>(); plist = new List<Teacher>(); } }
在上面的程式碼中,plist = new List
如上這樣的賦值操作,在C# 4.0之前是不允許的,至於為什麼不允許,型別安全是首要因素。看下面的範例程式碼:
List<Person> plist = new List<Student>(); plist.Add(new Person()); plist.Add(new Student()); plist.Add(new Teacher());
如下範例,假設List
但情況在C# 4.0之後發生了變化,並不是"不可能發生的事情發生了",而是應用的靈活性做出了新的調整。同樣的在C# 4.0中上面的程式仍是不被允許的,但卻出現了例外。從C# 4.0開始,在泛型委託、泛型介面中,允許特殊情況的發生(實質上並未發生特殊變化,後面說明)。如下範例:
delegate void Work<T>(T item); class Person { public string Name { get; set; } } class Student : Person { public string Like { get; set; } } class Teacher : Person { public string Teach { get; set; } } class Program { static void Main(string[] args) { Work<Person> worker = (p) => { Console.WriteLine(p.Name); }; ; Work<Student> student_worker = (s) => { Console.WriteLine(s.Like); }; student_worker = worker; //此处编译错误 } }
根據前面的理論支持,student_worker = worker;的錯誤很容易理解。但這裡我們程式的目的是讓 woker 充當 Work
1、因在呼叫student_worker(s)時,實質執行的是woker(s),所以需要s變數的型別能成功轉換為woker需要的參數類型。
2、需要告訴編譯器,此處允許將 Work
條件1在呼叫時student_worker(),時編譯器會提示要求參數必須是Student類型對象,該物件可成功轉換為Person型別物件。
條件2則需要對Woke委託定義進行調整,調整如下:
delegate void WorkIn<in T>(T item);
委託名字改為WorkIn是為卻別修改前後的委託,關鍵之處為
delegate void WorkIn<in T>(T item); class Program { static void Main(string[] args) { WorkInwoker = (p) => { Console.WriteLine(p.Name); }; WorkIn student_worker = woker; student_worker(new Student() { Name="tom", Like="C#" }); } }
對於要求類型參數為子類型,允許賦值類型參數為父類型值的這種情況,稱為逆變。逆變在C#中需要以 in 標註泛型的型別參數。逆變雖叫逆變,但只是形式上看似父類別物件賦值給子類別變量,實質上是方法呼叫時參數的型別轉換。 Student s = new Person(),這是不可能的,這不是逆變是錯誤。
上面的程式碼如你能轉換成下面的形式,那你就可以忘卻逆變,本質比現象更重要
以上是C#中關於逆變和協變的詳解的詳細內容。更多資訊請關注PHP中文網其他相關文章!

熱AI工具

Undresser.AI Undress
人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool
免費脫衣圖片

Clothoff.io
AI脫衣器

Video Face Swap
使用我們完全免費的人工智慧換臉工具,輕鬆在任何影片中換臉!

熱門文章

熱工具

記事本++7.3.1
好用且免費的程式碼編輯器

SublimeText3漢化版
中文版,非常好用

禪工作室 13.0.1
強大的PHP整合開發環境

Dreamweaver CS6
視覺化網頁開發工具

SublimeText3 Mac版
神級程式碼編輯軟體(SublimeText3)

Windows作業系統是全球最受歡迎的作業系統之一,其新版本Win11備受矚目。在Win11系統中,管理員權限的取得是一個重要的操作,管理員權限可以讓使用者對系統進行更多的操作和設定。本文將詳細介紹在Win11系統中如何取得管理員權限,以及如何有效地管理權限。在Win11系統中,管理員權限分為本機管理員和網域管理員兩種。本機管理員是指具有對本機電腦的完全管理權限

OracleSQL中的除法運算詳解在OracleSQL中,除法運算是一種常見且重要的數學運算運算,用來計算兩個數相除的結果。除法在資料庫查詢中經常用到,因此了解OracleSQL中的除法運算及其用法是資料庫開發人員必備的技能之一。本文將詳細討論OracleSQL中除法運算的相關知識,並提供具體的程式碼範例供讀者參考。一、OracleSQL中的除法運算

當今人工智慧(AI)技術的發展如火如荼,它們在各個領域都展現了巨大的潛力和影響力。今天大姚給大家分享4個.NET開源的AI模型LLM相關的專案框架,希望能為大家提供一些參考。 https://github.com/YSGStudyHards/DotNetGuide/blob/main/docs/DotNet/DotNetProjectPicks.mdSemanticKernelSemanticKernel是一種開源的軟體開發工具包(SDK),旨在將大型語言模型(LLM)如OpenAI、Azure

Linux系統呼叫system()函數詳解系統呼叫是Linux作業系統中非常重要的一部分,它提供了一種與系統核心互動的方式。其中,system()函數是常用的系統呼叫函數之一。本文將詳細介紹system()函數的使用方法,並提供對應的程式碼範例。系統呼叫的基本概念系統呼叫是使用者程式與作業系統核心互動的一種方式。使用者程式透過呼叫系統呼叫函數來請求作業系統

PHP中的模運算子(%)是用來取得兩個數值相除的餘數的。在本文中,我們將詳細討論模運算子的作用及用法,並提供具體的程式碼範例來幫助讀者更好地理解。 1.模運算子的作用在數學中,當我們將一個整數除以另一個整數時,就會得到一個商和一個餘數。例如,當我們將10除以3時,商數為3,餘數為1。模運算子就是用來取得這個餘數的。 2.模運算子的用法在PHP中,使用%符號來表示模

Linux的curl命令詳解摘要:curl是一種強大的命令列工具,用於與伺服器進行資料通訊。本文將介紹curl指令的基本用法,並提供實際的程式碼範例,幫助讀者更好地理解和應用該指令。一、curl是什麼? curl是命令列工具,用於發送和接收各種網路請求。它支援多種協議,如HTTP、FTP、TELNET等,並提供了豐富的功能,如檔案上傳、檔案下載、資料傳輸、代

Promise.resolve()詳解,需要具體程式碼範例Promise是JavaScript中一種用來處理非同步操作的機制。在實際開發中,常常需要處理一些需要依序執行的非同步任務,而Promise.resolve()方法就是用來傳回一個已經Fulfilled狀態的Promise物件。 Promise.resolve()是Promise類別的靜態方法,它接受一個

Numpy是一款Python科學計算庫,提供了豐富的陣列操作函數與工具。升級Numpy版本時需要查詢目前版本以確保相容性,本文將詳細介紹Numpy版本查詢的方法,並提供具體的程式碼範例。方法一:使用Python程式碼查詢Numpy版本使用Python程式碼可以輕鬆查詢Numpy的版本,以下是實作方法和範例程式碼:importnumpyasnpprint(np
