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> /// 定義一個泛型類，該類有兩個類型參數，分別是T,S /// http://pw.cnblogs.com /// </summary> /// <typeparam name="T">類型參數</typeparam> /// <typeparam name="S">類型參數</typeparam> public class Test<T,S> { //泛型類的類型參數可用於類成員 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()); } }
}
上面的例子不是很恰當，目的是讓初學泛型的你了解一下泛型的定義及實例化方法，如上，我們定義了一個泛型類，那麼如何實現泛型類的繼承呢？這裡需要滿足下面兩點中的任何一點即可：
1、泛型類繼承中，父類的類型參數已被實例化，這種情況下子類不一定必須是泛型類；
2、父類的類型參數沒有被實例化，但來源於子類，也就是說父類和子類都是泛型類，並且二者有相同的類型參數；
//如果這樣寫的話，顯然會報找不到類型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> { } public interface IList<T> { T[] GetElements(); } public interface IDictionary<K,V> { void Add(K key, V value); } // 泛型接口的類型參數要麼已實例化 // 要麼來源於實現類聲明的類型參數 class List<T> : IList<T>, IDictionary<int, T> { public T[] GetElements() { return null; } public void Add(int index, T value) { } }using System;using System.Collections.Generic;using System.Text;namespace GenericTest{ //定義一個委托，類型參數為T，返回值類型T //泛型委托支持在返回值和參數上應用類型參數 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#的泛型機制只支持在方法申明上包含類型參數，也即是泛型方法。特別注意的是，泛型不支持在除了方法以外的其他類/接口成員上使用類型參數，但這些成員可以被包含在泛型類型中，並且可以使用泛型類型的類型參數。還有一點需要說的就是，泛型方法可以在泛型類型中，也可以存在於非泛型類型中。下面我們分別看一下泛型類型的申明，調用，重載和覆蓋。
using System;using System.Collections.Generic;using System.Text;namespace GenericTest{ class GenericClass { //申明一個泛型方法 public T getvalue<T>(T t) { return t; } //調用泛型方法 //注意：在調用泛型方法時，對泛型方法的類型參數實例化 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#所要求的類型安全，但顯示的約束並非時必須的，如果不加約束，泛型類型參數將只能訪問System.Object類型中的公有方法。“顯式約束”由where子句表達，可以指定“基類約束”，“接口約束”，“構造器約束”，“值類型/引用類型約束”共四種約束。下面的例子來源於李建忠老師的講座PPT。
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 } 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 }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沒有無參構造器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#泛型入門的知識就這麼多了，我也是對著李建忠老師的教學錄像來學習的，初學的朋友也可以去下載錄像來看：
http://www.microsoft.com/china/msdn/events/webcasts/shared/webcast/episode.ASPx?newsID=1242246
