C#泛型的定義、繼承、方法和約束怎么理解

這篇文章主要講解了“C#泛型的定義、繼承、方法和約束怎么理解”，文中的講解內容簡單清晰，易于學習與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學習“C#泛型的定義、繼承、方法和約束怎么理解”吧！

C#泛型參數(shù)化了類型，把類型作為參數(shù)抽象出來，從而使我們在實際的運用當中能夠更好的實現(xiàn)代碼的重復利用，同時它提供了更強的類型安全，更高的效率，不過在約束方面，它只支持顯示的約束，這樣在靈活性方面就顯得不是那么好了。我覺得它之所以能夠提供更高的效率是因為泛型在實例化的時候采用了"on-demand"的模式,即按需實例化,發(fā)生在JIT(Just In Time)編譯時。

下面來看如何定義一個C#泛型類，很簡單，你只需要意識到一點,在這里,類型已經(jīng)被參數(shù)化了:

using System;  using System.Collections.Generic;  using System.Text;   namespace GenericTest  {  　class Program  　{  static void Main(string[] args)  {  　//使用string,int來實例化Test< T,S>類  　Test< string, int> t = new Test< string, int>("SHY520",22);   　//調用泛型類中的方法  　t.SetValue();  }  　}   　/**//// < summary>  　/// 定義一個泛型類，該類有兩個類型參數(shù)，分別是T,S  　/// http://pw.cnblogs.com  　/// < /summary>  　/// < typeparam name="T">類型參數(shù)< /typeparam>  　/// < typeparam name="S">類型參數(shù)< /typeparam>  　public class Test< T,S>  　{  //泛型類的類型參數(shù)可用于類成員  private T name;  private S age;   public Test(T Name,S Age)  {  　this.name = Name;  　this.age = Age;  }   public void SetValue()  {  　Console.WriteLine(name.ToString());  　Console.WriteLine(age.ToString());  }  　}  }

上面的例子不是很恰當，目的是讓初學泛型的你了解一下泛型的定義及實例化方法，如上，我們定義了一個泛型類，那么如何實現(xiàn)C#泛型類的繼承呢？這里需要滿足下面兩點中的任何一點即可：

1、泛型類繼承中，父類的類型參數(shù)已被實例化，這種情況下子類不一定必須是泛型類；

2、父類的類型參數(shù)沒有被實例化，但來源于子類，也就是說父類和子類都是泛型類，并且二者有相同的類型參數(shù)；

//如果這樣寫的話，顯然會報找不到類型T,S的錯誤  public class TestChild : Test< T, S> { }   //正確的寫法應該是  public class TestChild : Test< string, int>{ }  public class TestChild< T, S> : Test< T, S> { }  public class TestChild< T, S> : Test< String, int> { }

接著我們來看看泛型接口，其創(chuàng)建以及繼承規(guī)則和上面說的泛型類是一樣的，看下面的代碼：

public interface IList< T>   {  　T[] GetElements();  }   public interface IDictionary< K,V>   {  　void Add(K key, V value);   }   // 泛型接口的類型參數(shù)要么已實例化  // 要么來源于實現(xiàn)類聲明的類型參數(shù)  class List< T> : IList< T>, IDictionary< int, T>   {  　public T[] GetElements() { return null; }  　public void Add(int index, T value)   　{}  }

在來看一下C#泛型委托，首先我們定義一個類型參數(shù)為T的委托，然后在類中利用委托調用方法：

using System;  using System.Collections.Generic;  using System.Text;   namespace GenericTest  {  　//定義一個委托，類型參數(shù)為T，返回值類型T  　//泛型委托支持在返回值和參數(shù)上應用類型參數(shù)  　delegate string GenericDelete< T>(T value);   　class test  　{  static string F(int i) { return "SHY520"; }  static string G(string s) { return "SHY520"; }   static void Main(string[] args)  {  　GenericDelete< string> G1 = G;  　GenericDelete< int> G2 = new GenericDelete< int>(F);  }  　}   }

我們再來看C#泛型方法，C#的泛型機制只支持在方法申明上包含類型參數(shù)，也即是泛型方法。特別注意的是，泛型不支持在除了方法以外的其他類/接口成員上使用類型參數(shù)，但這些成員可以被包含在泛型類型中，并且可以使用泛型類型的類型參數(shù)。還有一點需要說的就是，泛型方法可以在泛型類型中，也可以存在于非泛型類型中。下面我們分別看一下泛型類型的申明，調用，重載和覆蓋。

using System;  using System.Collections.Generic;  using System.Text;   namespace GenericTest  {  　class GenericClass  　{  //申明一個泛型方法  public T getvalue< T>(T t)  {  　return t;  }   //調用泛型方法  //注意：在調用泛型方法時，對泛型方法的類型參數(shù)實例化  public int useMethod()  {  　return this.getvalue< int>(10);  }   //重載getvalue方法  public int getvalue(int i)  {  　return i;  }  　}   　//下面演示覆蓋  　//要注意的是，泛型方法被覆蓋時，約束被默認繼承，不需要重新指定約束關系  　abstract class Parent  　{  public abstract K TEST< K, V>(K k, V v) where K : V;  　}   　class Child : Parent  　{  public override T TEST< T, S>(T t, S s)  {  　return t;  }  　}  }

***我們來看一下C#泛型中的約束：

C#中的泛型只支持顯示的約束，因為這樣才能保證C#所要求的類型安全，但顯示的約束并非時必須的，如果不加約束，泛型類型參數(shù)將只能訪問System.Object類型中的公有方法?！帮@式約束”由where子句表達，可以指定“基類約束”，“接口約束”，“構造器約束”，“值類型/引用類型約束”共四種約束。

1、基類約束：

class A { public void F1() {} }   class B { public void F2() {} }   class C< S,T>   where S: A // S繼承自A   where T: B // T繼承自B   {   　// 可以在類型為S的變量上調用F1，  　// 可以在類型為T的變量上調用F2   }

2、接口約束

interface IPrintable { void Print(); }  interface IComparable< T> { int CompareTo(T v);}  interface IKeyProvider< T> { T GetKey(); }  class Dictionary< K,V>   where K: IComparable< K>   where V: IPrintable, IKeyProvider< K>   {   　// 可以在類型為K的變量上調用CompareTo，   　// 可以在類型為V的變量上調用Print和GetKey   }

3、構造器約束

class A { public A() { } }   class B { public B(int i) { } }   class C< T>   where T : new()   {   　//可以在其中使用T t=new T();   }   C< A> c=new C< A>(); //可以，A有無參構造器  C< B> c=new C< B>(); //錯誤，B沒有無參構造器

4、值/引用類型約束

public struct A { }   public class B { }   class C< T>   where T : struct   {   　// T在這里面是一個值類型   }   C< A> c=new C< A>(); //可以，A是一個值類型  C< B> c=new C< B>(); //錯誤，B是一個引用類型

感謝各位的閱讀，以上就是“C#泛型的定義、繼承、方法和約束怎么理解”的內容了，經(jīng)過本文的學習后，相信大家對C#泛型的定義、繼承、方法和約束怎么理解這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關知識點的文章，歡迎關注！