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>();
}
}

List<Person> plist = new List<Student>();
plist.Add(new Person());
plist.Add(new Student());
plist.Add(new Teacher());

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; //此處編譯錯(cuò)誤
  }
}

對(duì)于要求類型參數(shù)為子類型，允許賦值類型參數(shù)為父類型值的這種情況，稱為逆變。逆變?cè)贑#中需要用 in 標(biāo)注泛型的類型參數(shù)。逆變雖叫逆變，但只是形式上看似父類對(duì)象賦值給子類變量，實(shí)質(zhì)上是方法調(diào)用時(shí)參數(shù)的類型轉(zhuǎn)換。Student s = new Person()，這是不可能的，這不是逆變是錯(cuò)誤。

上面的代碼如你能轉(zhuǎn)換為下面的形式，那你就可以忘卻逆變，本質(zhì)比現(xiàn)象更重要😀：

delegate void WorkIn<in T>(T item);
 class Program
 {
  static void Main(string[] args)
  {
   WorkIn<Person> woker = (p) => { Console.WriteLine(p.Name); };
   WorkIn<Student> student_worker = (s)=> { woker(s); };
   student_worker(new Student() { Name="tom", Like="C#" });
  }
 }

協(xié)變

 現(xiàn)在修改我們的程序需求，要求Work委托執(zhí)行后返回一個(gè)Person對(duì)象，如下：

 delegate T Work<T>(); 
 class Program
 {
  static void Main(string[] args)
  {
   Work<Person> worker = () => { return new Person(); };
   Work<Student> student_worker = () => { return new Student(); };

   worker = student_worker;
  }
 }

同上 worker = student_worker 無(wú)法通過(guò)編譯，此時(shí)我們的目的為：用 Work<Student>  student_woker 的功能替代 Work<Person> 的功能，因?yàn)?student_woker 執(zhí)行后返回一個(gè)Student對(duì)象，這完全符合 Work<Person> 的要求。

如果要實(shí)現(xiàn)上面的目的，程序同樣需做2方面的處理：

1、因在調(diào)用 worker()時(shí)，實(shí)質(zhì)執(zhí)行的是 student_worker()，所以需要 student_worker() 執(zhí)行結(jié)果能功轉(zhuǎn)換為woker 執(zhí)行后返回的類型。

2、需要告訴編譯器，此處允許將 Work<Student>類型的對(duì)象賦值給 Work<Person> 類型的變量。

此時(shí)條件1，上述代碼已經(jīng)滿足，對(duì)于條件2，需要泛型委托Work做如下調(diào)整：

delegate T WorkOut<out T>();
委托名字改為WorkOut也為卻別修改前后的委托，關(guān)鍵之處為<out T>。通過(guò)增加 out 關(guān)鍵字，標(biāo)注該泛型委托的類型參數(shù)T，僅作為委托方法的返回值類型來(lái)使用。此時(shí)上面的程序便可成功編譯并執(zhí)行。

delegate T WorkOut<out T>();
class Program
 {
  static void Main(string[] args)
  {
   WorkOut<Person> worker = () => { return new Person(); };
   WorkOut<Student> student_worker = () => { return new Student(); };

   worker = student_worker;
   Person p = worker();
  }
 }

對(duì)于要求泛型類型參數(shù)為父類型，允許賦值類型參數(shù)為子類型值的這種情況，稱為協(xié)變。協(xié)變?cè)贑#中需要用 out 標(biāo)注泛型的類型參數(shù)。

注意：逆變、協(xié)變類型說(shuō)明的區(qū)別。根據(jù)引出的定義逆變的形式只可能發(fā)生在泛型上（泛型接口、泛型委托），而協(xié)變的代碼形式就比較多，但并不一定是協(xié)變。所以在協(xié)變中用紅色注明，必須是關(guān)于泛型參數(shù)的情況才是協(xié)變。下面這類情況不屬于協(xié)變（至少我不認(rèn)為它們是協(xié)變）：

Person p = new Student();

上面的示例代碼如你能轉(zhuǎn)換為下面的形式，那你也可以忘卻協(xié)變😀：

delegate T WorkOut<out T>();
class Program
 {
  static void Main(string[] args)
  {
   
   WorkOut<Student> student_worker = () => { return new Student(); };
   WorkOut<Person> worker = () => { return student_worker (); };
   Person p = worker();
  }
 }

通過(guò)上面的內(nèi)容可以發(fā)現(xiàn)，逆變、協(xié)變其實(shí)是方法參數(shù)、返回值類型的轉(zhuǎn)換與對(duì)委托方法的包裝而已。抓住其核心，再看各種形式的代碼就簡(jiǎn)單了。

在C# 4.0 中 你可以查看 Action，F(xiàn)unc的定義，以便更深入理解逆變、協(xié)變。

以上就是本文的全部?jī)?nèi)容，希望對(duì)大家的學(xué)習(xí)有所幫助，也希望大家多多支持創(chuàng)新互聯(lián)。

本文標(biāo)題：C#逆變與協(xié)變?cè)斀?/a>
URL分享：http://www.rwnh.cn/article32/gspgsc.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供建站公司、全網(wǎng)營(yíng)銷推廣、網(wǎng)站策劃、品牌網(wǎng)站制作、營(yíng)銷型網(wǎng)站建設(shè)、網(wǎng)頁(yè)設(shè)計(jì)公司

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來(lái)源： 創(chuàng)新互聯(lián)