詳解C#的協變和逆變

来源:https://www.cnblogs.com/minotauros/archive/2018/12/09/10090701.html
-Advertisement-
Play Games

一、使用協變(Covariance)和逆變(Contravariance )能夠實現數組之間、委托實例和方法之間、泛型委托實例之間、泛型介面的變數和泛型類型的對象之間、泛型介面的變數之間的隱式轉換;使用協變將允許使用比原指定類型派生程度更大(即更具體的)的類型,使用逆變將允許使用比原指定類型派生程度 ...


  一、使用協變(Covariance)和逆變(Contravariance )能夠實現數組之間、委托實例和方法之間、泛型委托實例之間、泛型介面的變數和泛型類型的對象之間、泛型介面的變數之間的隱式轉換;使用協變將允許使用比原指定類型派生程度更大(即更具體的)的類型,使用逆變將允許使用比原指定類型派生程度更小(即更不具體的)的類型;
  1.協變和逆變都只支持引用類型,不支持值類型;
  2.如果泛型介面或泛型委托的類型參數被聲明為協變或逆變,則該泛型介面或泛型委托被稱為變體(Variant);

  二、數組只支持協變,即支持派生程度更大的類型的數組隱式轉換為派生程度更小的類型的數組:

object[] myArray = new string[5];
IComparable[] myOtherArray = new string[5];

  1.此操作不是類型安全的,給上述數組添加原數組不相容的對象時會拋出異常ArrayTypeMismatchException:

//myArray[0] = 10; //此處10會被裝箱為object類型,而object類型的對象不能隱式轉換為string類型

  2.由於值類型不支持協變和逆變,因此下麵的轉換是錯誤的:

//object[] myArray = new int[5];
//IComparable[] myOtherArray = new int[5];

  三、委托支持協變和逆變,為匹配委托類型和方法簽名提供更大的靈活性,不僅可以將簽名完全匹配的方法分配給委托實例,還可以通過協變將返回值類型與委托類型的返回值類型相比派生程度更大的方法分配給委托實例;通過逆變將參數類型與委托類型的參數類型相比派生程度更小的方法分配給委托實例:

public class MyBaseClass { }
public class MyClass : MyBaseClass { }
public class MyDerivedClass : MyClass { }
public delegate MyClass MyDelegate(MyClass obj);
public delegate T MyDelegate<T>(T obj);
//對於給定的方法
public staitc MyDerivedClass MyFunc(MyBaseClass obj)
{
    return new MyDerivedClass();
}
//使用時:
MyDelegate myDelegate = MyFunc; //同時使用了協變和逆變
MyDelegate<MyClass> myDelegate = MyFunc;

  四、在定義泛型委托時,可以通過將類型參數聲明為逆變數或協變數來定義變體委托(Variant Delegate),從而使具有協變和逆變轉換關係的不用類型的泛型委托實例之間進行隱式轉換,使用關鍵字out修飾返回值的類型參數以支持協變,使用關鍵字in修飾參數的類型參數以支持逆變:

public delegate U MyDelegate<in T, out U>(T obj);
//使用時:
MyDelegate<MyClass,MyClass> myDelegate = MyFunc;
MyDelegate<MyBaseClass, MyDerivedClass> myOtherDelegate = MyFunc;
//隱式轉換:
myDelegate = myOtherDelegate;

  1.變體委托不支持合併,即Delegate.Combine方法需要委托的類型完全相同才能合併,不支持變體委托的轉換;在運行時合併不同類型的變體委托會拋出異常System.ArgumentException;

  五、在定義泛型介面時,可以通過將類型參數聲明為逆變數或協變數來定義變體介面(Variant Interface),協變允許方法的返回值類型比介面定義中返回值類型參數的派生程度更大,逆變允許方法的參數類型比介面定義中參數類型參數的派生程度更小;使用關鍵字out修飾返回值的類型參數以支持協變,使用關鍵字in修飾參數的類型參數以支持逆變:

public interface IMyInterface<in T, out U>
{
    U MyFunc();
    void MyFoo(T obj);
}
public class MyClass<T, U> : IMyInterface<T, U>
{
    public void MyFoo(T obj)
    {
        //do…
    }
    
}
//使用時:
IMyInterface<string, object> myObj = new MyClass<object, string>();
IMyInterface<object, string> myObj1 = new MyClass<object, string>();
myObj = myObj1;

  1.實現變體介面的類型仍然是不可變數;

 


如果您覺得閱讀本文對您有幫助,請點一下“推薦”按鈕,您的認可是我寫作的最大動力!

作者:Minotauros
出處:https://www.cnblogs.com/minotauros/

本文版權歸作者和博客園共有,歡迎轉載,但未經作者同意必須保留此段聲明,且在文章頁面明顯位置給出原文連接,否則保留追究法律責任的權利。


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 這兩天比較忙,周末也在加班,所以更新的就慢了一點,不過沒關係,今天我們就進行千呼萬喚的系統開發框架的設計。不知道上篇關於架構設計的文章大家有沒有閱讀,如果閱讀後相信一定對架構設計有了更近一部的理解,如果你沒有閱讀也希望大家能好好閱讀一下!其實說白了,架構是為了應對軟體系統複雜度而提出的一個解決方案, ...
  • .NET Core跨平臺部署 1. Windows IIS 大家對於在IIS上部署.NET站點已經駕輕就熟了,部署.NET Core也沒有什麼本質區別,但是這其中仍然有一些細節是不同的,下麵記錄了一些我在部署時遇到的問題 1.1 安裝.NET Core Windows Server Hosting ...
  • 上一章我們搭建了k8s集群,這一章我們開始在k8s集群上運行.netcore程式 1.kubectl run 在我的Docker系列教程里,我曾往docker hub中推送過一個鏡像“webdokcer_s_provider”,今天我們就是使用這個鏡像來配合K8S來演示。 我們可以看到,創建了資源d ...
  • 參考文檔:https://www.cnblogs.com/xbzhu/p/7064642.html 這是參考文檔的博主寫的Demo:https://github.com/zhu-xb/AES-Cryptography 再次感謝博主 朱小波 https://www.cnblogs.com/xbzhu/ ...
  • 上一篇心得記錄中提到了 AudioGraph, 描述了一下 什麼是 AudioGraph 以及其中涉及到的各種類型的 節點(Node)。 這一篇就其中比較有意思的 AudioFrameInputNode 來詳細展開一下。 借用 AudioFrameInputNode, 實現簡單的音頻左右聲道互換 什 ...
  • Linq中 AsQueryable(), AsEnumerable()和ToList()的區別和用法:在寫LINQ語句的時候,往往會看到AsEnumerable() ,AsQueryable() 和ToList()的用法,三者有何區別呢?以下是我的理解,有毛病請大家指教!在System.Linq命名 ...
  • 在開發 Asp.Net Core 應用程式的過程中,我們常常需要對業務代碼編寫單元測試,這種方法既快速又有效,利用單元測試做代碼覆蓋測試,也是非常必要的事情;但是,但我們需要對系統進行集成測試的時候,需要啟動服務主機,利用瀏覽器或者Postman 等網路工具對介面進行集成測試,這就非常的不方便,同時... ...
  • 1.前言 以前搭建集群都是使用nginx反向代理,但現在我們有了更好的選擇——K8S。我不打算一上來就講K8S的知識點,因為知識點還是比較多,我打算先從搭建K8S集群講起,我也是在搭建集群的過程中熟悉了K8S的一些概念,希望對大家有所幫助。K8S集群的搭建難度適中,網上有很多搭建k8s的教程,我搭建 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...