首頁 後端開發 C#.Net教程 C#中關於逆變和協變的詳解

C#中關於逆變和協變的詳解

Sep 02, 2017 pm 02:32 PM
.net 詳解

這篇文章主要為大家詳細介紹了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()、plist = new List()兩句產生編譯錯誤。雖然Person是Student/Teacher的父類,但List型別卻不是List型別的父類,所以上面的賦值語句報型別轉換失敗錯誤。

如上這樣的賦值操作,在C# 4.0之前是不允許的,至於為什麼不允許,型別安全是首要因素。看下面的範例程式碼:


List<Person> plist = new List<Student>();
plist.Add(new Person());
plist.Add(new Student());
plist.Add(new Teacher());
登入後複製

如下範例,假設List plist = new List() 允許賦值,那麼plist雖然型別為List集合。 plist.Add(new Person()),新增操作實際呼叫的是List.Add()。 Person型別無法安全地轉換為Student,所以這樣的集合定義沒有意義,所以上面的假設不成立。

但情況在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 的功能,以後呼叫 student_worker(s)實際呼叫的是woker(s)。為了滿足我們的需求,需要程式做2方面的處理:

1、因在呼叫student_worker(s)時,實質執行的是woker(s),所以需要s變數的型別能成功轉換為woker需要的參數類型。

2、需要告訴編譯器,此處允許將 Work 類型的物件賦值給 Work類型的變數。

條件1在呼叫時student_worker(),時編譯器會提示要求參數必須是Student類型對象,該物件可成功轉換為Person型別物件。

條件2則需要對Woke委託定義進行調整,調整如下:


delegate void WorkIn<in T>(T item);
登入後複製

委託名字改為WorkIn是為卻別修改前後的委託,關鍵之處為。透過增加 in 關鍵字,標註此泛型委託的類型參數T,僅作為委託方法的參數來使用。此時上面的程式便可成功編譯並執行。


delegate void WorkIn<in T>(T item);
class Program
 {
  static void Main(string[] args)
  {
   WorkIn woker = (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中文網其他相關文章!

本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn

熱AI工具

Undresser.AI Undress

Undresser.AI Undress

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

AI Clothes Remover

AI Clothes Remover

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

Undress AI Tool

Undress AI Tool

免費脫衣圖片

Clothoff.io

Clothoff.io

AI脫衣器

Video Face Swap

Video Face Swap

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

熱工具

記事本++7.3.1

記事本++7.3.1

好用且免費的程式碼編輯器

SublimeText3漢化版

SublimeText3漢化版

中文版,非常好用

禪工作室 13.0.1

禪工作室 13.0.1

強大的PHP整合開發環境

Dreamweaver CS6

Dreamweaver CS6

視覺化網頁開發工具

SublimeText3 Mac版

SublimeText3 Mac版

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

熱門話題

Java教學
1664
14
CakePHP 教程
1423
52
Laravel 教程
1317
25
PHP教程
1268
29
C# 教程
1248
24
Win11管理員權限取得詳解 Win11管理員權限取得詳解 Mar 08, 2024 pm 03:06 PM

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

Oracle SQL中的除法運算詳解 Oracle SQL中的除法運算詳解 Mar 10, 2024 am 09:51 AM

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

分享幾個.NET開源的AI和LLM相關專案框架 分享幾個.NET開源的AI和LLM相關專案框架 May 06, 2024 pm 04:43 PM

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

linux系統呼叫system()函數詳解 linux系統呼叫system()函數詳解 Feb 22, 2024 pm 08:21 PM

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

PHP模運算子的作用及用法詳解 PHP模運算子的作用及用法詳解 Mar 19, 2024 pm 04:33 PM

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

Linux的curl指令詳解 Linux的curl指令詳解 Feb 21, 2024 pm 10:33 PM

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

深入了解Promise.resolve() 深入了解Promise.resolve() Feb 18, 2024 pm 07:13 PM

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

numpy版本查詢方法詳解 numpy版本查詢方法詳解 Jan 19, 2024 am 08:20 AM

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

See all articles