C#逆變和協變的理解-----為什麼逆變可以把Object類型的類型參數轉換成String類型的類型參數

来源:http://www.cnblogs.com/marsir/archive/2017/10/13/7658822.html
-Advertisement-
Play Games

根據可變性的規則,只有介面和委托可以標記可變性。且只有類型參數為引用類型時才可以利用可變性。 不變性:泛型類型的參數不能改變,這表示一個創建一個MyInterface<String>類型的對象時,賦值給它的只能是MyInterface<String>類型 逆變性:泛型的類型參數可以從一個類變成它的派 ...


根據可變性的規則,只有介面和委托可以標記可變性。且只有類型參數為引用類型時才可以利用可變性。

不變性:泛型類型的參數不能改變,這表示一個創建一個MyInterface<String>類型的對象時,賦值給它的只能是MyInterface<String>類型

 1 namespace ContravariantAndCovariant
 2 {
 3     public interface MyInterface<T>//沒有指定任何可變性,說明這個介面的類型參數是不變的
 4     {
 5         void Show(T t);
 6     }
 7 
 8     public class ShowObject : MyInterface<Object>
 9     {
10         public void Show(object t)
11         {
12             Console.WriteLine(t.ToString());
13         }
14     }
15 
16     public class ShowString : MyInterface<String>
17     {
18         public void Show(string t)
19         {
20             Console.WriteLine(t);
21         }
22     }
23 
24     public class ShowInt : MyInterface<Int32>
25     {
26         public void Show(int t)
27         {
28             Console.WriteLine(t.ToString());
29         }
30     }
31 
32     class Program
33     {
34         static void Main(string[] args)
35         {
36             //正確
37             MyInterface<String> str_invariant = new ShowString();//只能賦值MyInterface<String>類型
38             //錯誤
39             MyInterface<String> str_contravariant = new ShowObject();//當賦值其它類型的時候,編譯器會報錯
40             //CS0266    無法將類型“ContravariantAndCovariant.ShowObject”隱式轉換為“ContravariantAndCovariant.MyInterface<string>”。存在一個顯式轉換(是否缺少強制轉換?)    
41 
42         }
43     }
44 
45 }

逆變性:泛型的類型參數可以從一個類變成它的派生類,比如:可以把MyInterface<object>轉換成MyInterface<string>。逆變用in表示,因為它出現在輸入的位置(方法的參數),in 就是進去的意思。

 1 namespace ContravariantAndCovariant
 2 {
 3     public interface MyInterface<in T>//用in關鍵字指定T的逆變性
 4     {
 5         void Show(T t);//T是參數類型
 6     }
 7 
 8     public class ShowObject : MyInterface<Object>
 9     {
10         public void Show(object t)
11         {
12             Console.WriteLine(t.ToString());
13         }
14     }
15 
16     public class ShowString : MyInterface<String>
17     {
18         public void Show(string t)
19         {
20             Console.WriteLine(t);
21         }
22     }
23 
24     public class ShowInt : MyInterface<Int32>
25     {
26         public void Show(int t)
27         {
28             Console.WriteLine(t.ToString());
29         }
30     }
31 
32     class Program
33     {
34         static void Main(string[] args)
35         {
36             MyInterface<object> obj = null;
37             MyInterface<string> str = obj;//可以把MyInterface<object>類型轉換為MyInterface<string>類型
38         }
39     }
40 
41 }

協變性:泛型的類型參數可以從一個類變成它的基類,比如:可以把MyInterface<string>轉換成MyInterface<object>。逆變用out表示,因為它出現在輸出的位置(方法返回值),out 就是出的意思。

 1 namespace ContravariantAndCovariant
 2 {
 3     public interface MyInterface<out T>//用out關鍵字指定T的協變性
 4     {
 5         T Show(); //T是返回類型
 6     }
 7 
 8     public class ShowObject : MyInterface<Object>
 9     {
10         public object Show()
11         {
12             return null;
13         }
14     }
15 
16     public class ShowString : MyInterface<String>
17     {
18         public string Show()
19         {
20             return null;
21         }
22     }
23 
24     class Program
25     {
26         static void Main(string[] args)
27         {
28             //錯誤
29             //MyInterface<object> obj = null;
30             //MyInterface<string> str = obj;//不能把MyInterface<object>類型轉換為MyInterface<string>類型
31 
32             //正確
33             MyInterface<string> str = null;
34             MyInterface<object> obj = str;//可以把MyInterface<string>類型轉換成MyInterface<Object>類型
35         }
36     }
37 }

CLR是要保證類型的轉換是安全的,協變性還好理解,子類是可以轉換成父類的,因為子類對象中包括父類對象的所有成員。這個轉換是安全的。

但是逆變的話,父類轉換成子類是不安全的,當不能里氏轉換的時候,父類對象中並沒有子類的所有成員。

其實這麼看的話是有一個誤區,就是關於引用和對象。當逆變的時候,比如上面逆變的代碼中:

MyInterface<object> obj = null;

MyInterface<string> str = obj;

str.Show("123")

str是MyInterface<string>類型的變數,但是它引用的對象是MyInterface<Object>類型的,所以當我們調用Show()方法的時候,其實是obj.Show();

obj的參數是object類型的,我們傳入的是一個string類型,string---->object的轉換是安全的。所以逆變是安全的!

同理的話,協變:

MyInterface<string> str = null;

Myinterface<object> obj = str;

 object  result = obj.show();

可以看到obj是MyInterface<object>類型的變數,但是它引用的對象是MyInterface<string>類型,所以當我們調用Show()方法的時候,其實是str.Show(),

它返回的是string類型,但是obj.Show()返回的是一個object類型,所以我們用一個object類型的變數result去接收返回值,最終變成 string ----->object類型的轉換,所以協變是安全的。


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

-Advertisement-
Play Games
更多相關文章
  • 今天學習的是關於EF數據模型的,但在學習並實際操作之前,我又將前兩章的內容看了一遍,把登錄界面和註冊界面都完成了,覺得自己在代碼這方面有點欠缺,改錯的能力有點弱!那下邊就總結一下我學習EF之後的感受吧! 第一步,先新建文件夾,規劃好代碼存放位置 1.根目錄下新建ViewModels文件夾, (因為m ...
  • http://www.cnblogs.com/hy13211114/p/6193593.html 軟體工程之結構化方法與面向對象方法之比較與結合 軟體開發方法指,在項目投資規模和時間限制內,設計、實現符合用戶需求的高質量軟體,根據軟體開發的特點,提出的多種軟體開發的策略。隨著20世紀60年代,電腦 ...
  • 回到目錄 古人雲《一山不容二虎》,而進行dotnet core時代之後,我們可以看到這樣的一些官方的DEMO,它將數據連接串和其它配置項都直接硬編碼在代碼里,即在startup中進行定義,試問你在生產環境如何相容!當然,你會說,可以在對應appsettings里進行配置,說它是對應的appsetti ...
  • 假設有段代碼是這樣的,需要判斷角色裝備哪些武器,然後根據角色的這個屬性來進行其它的一些操作。這時候我們可以用枚舉來標記角色可以裝備的武器。 這就有個問題了,當角色可以裝備多種武器的時候,難道要用多個變數去表示他可以使用的武器嗎?又或者是在Equipment類型中加入新的成員,刀和箭,刀和箭和弓... ...
  • 前言:審批流程中常見的都是人工類型任務,但是也會有一些自動化的任務需要定時觸發。因此,引擎框架中需要解決掉兩個問題:選擇合適的任務調度框架,集成新的任務調度模塊。 1. 任務調度框架選擇 Hangfire 是一個開源的.NET任務調度框架,目前1.6+版本已支持.NET Core。 基於隊列的任務處 ...
  • is和as is關鍵字可以確定對象實例或表達式結果是否可轉換為指定類型。基本語法: 如果滿足以下條件,則 is 語句為 true: expr 是與 type 具有相同類型的一個實例。 expr 是派生自 type 的類型的一個實例。 換言之,expr 結果可以向上轉換為 type 的一個實例。 ex ...
  • 許久沒用C#寫程式。聽說進來發生大事,.NetCore2.0發佈了,於是便學習了下,本站也應運而生。 大多數的地方按照官方的文檔起步走就可以了,這裡談談遇到的幾個坑。 首先,本站是基於ASP.NetCore2.0和EntityFrameWorkCore.Sqlite的,前端使用了layui,搭建於C ...
  • WinForm預覽Office文檔 使用WinForm, WPF, Office組件 原理:使用Office COM組件將Word,Excel轉換為XPS文檔, 將WPF的 控制項寄宿到WinForm中, 實現預覽. 1. 新建WinForm項目 2. 新建WPF用戶控制項, 註意是WPF控制項 3. 編 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...