C#泛型詳解

這篇文章主要講解C#中的泛型，泛型在C#中有很重要的地位，尤爲是在搭建項目框架的時候。

1、什麼是泛型

泛型是C#2.0推出的新語法，不是語法糖，而是2.0由框架升級提供的功能。

咱們在編程程序時，常常會遇到功能很是類似的模塊，只是它們處理的數據不同。但咱們沒有辦法，只能分別寫多個方法來處理不一樣的數據類型。這個時候，那麼問題來了，有沒有一種辦法，用同一個方法來處理傳入不一樣種類型參數的辦法呢？泛型的出現就是專門來解決這個問題的。

2、爲何使用泛型

先來看下面一個例子：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
public class CommonMethod
{
/// <summary>
/// 打印個int值
///
/// 由於方法聲明的時候，寫死了參數類型
/// 已婚的男人 Eleven San
/// </summary>
/// <param name="iParameter"></param>
public static void ShowInt(int iParameter)
{
Console.WriteLine("This is {0},parameter={1},type={2}",
typeof(CommonMethod).Name, iParameter.GetType().Name, iParameter);
}

/// <summary>
/// 打印個string值
/// </summary>
/// <param name="sParameter"></param>
public static void ShowString(string sParameter)
{
Console.WriteLine("This is {0},parameter={1},type={2}",
typeof(CommonMethod).Name, sParameter.GetType().Name, sParameter);
}

/// <summary>
/// 打印個DateTime值
/// </summary>
/// <param name="oParameter"></param>
public static void ShowDateTime(DateTime dtParameter)
{
Console.WriteLine("This is {0},parameter={1},type={2}",
typeof(CommonMethod).Name, dtParameter.GetType().Name, dtParameter);
}
}
}

結果：

從上面的結果中咱們能夠看出這三個方法，除了傳入的參數不一樣外，其裏面實現的功能都是同樣的。在1.0版的時候，尚未泛型這個概念，那麼怎麼辦呢。相信不少人會想到了OOP三大特性之一的繼承，咱們知道，C#語言中，object是全部類型的基類，將上面的代碼進行如下優化：

public static void ShowObject(object oParameter)
{
      Console.WriteLine("This is {0},parameter={1},type={2}",
         typeof(CommonMethod), oParameter.GetType().Name, oParameter);
}

 結果：

從上面的結果中咱們能夠看出，使用Object類型達到了咱們的要求，解決了代碼的可複用。可能有人會問定義的是object類型的，爲何能夠傳入int、string等類型呢？緣由有二：

一、object類型是一切類型的父類。

二、經過繼承，子類擁有父類的一切屬性和行爲，任何父類出現的地方，均可以用子類來代替。

可是上面object類型的方法又會帶來另一個問題：裝箱和拆箱，會損耗程序的性能。

微軟在C#2.0的時候推出了泛型，能夠很好的解決上面的問題。

3、泛型類型參數

在泛型類型或方法定義中，類型參數是在其實例化泛型類型的一個變量時，客戶端指定的特定類型的佔位符。 泛型類( GenericList<T>)沒法按原樣使用，由於它不是真正的類型；它更像是類型的藍圖。 若要使用 GenericList<T>，客戶端代碼必須經過指定尖括號內的類型參數來聲明並實例化構造類型。 此特定類的類型參數能夠是編譯器可識別的任何類型。 可建立任意數量的構造類型實例，其中每一個使用不一樣的類型參數。

上面例子中的代碼能夠修改以下：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
public class GenericMethod
{
/// <summary>
/// 泛型方法
/// </summary>
/// <typeparam name="T"></typeparam>
/// <param name="tParameter"></param>
public static void Show<T>(T tParameter)
{
Console.WriteLine("This is {0},parameter={1},type={2}",
typeof(GenericMethod), tParameter.GetType().Name, tParameter.ToString());
}
}
}

調用：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
class Program
{
static void Main(string[] args)
{

int iValue = 123;
string sValue = "456";
DateTime dtValue = DateTime.Now;

Console.WriteLine("***********CommonMethod***************");
CommonMethod.ShowInt(iValue);
CommonMethod.ShowString(sValue);
CommonMethod.ShowDateTime(dtValue);
Console.WriteLine("***********Object***************");
CommonMethod.ShowObject(iValue);
CommonMethod.ShowObject(sValue);
CommonMethod.ShowObject(dtValue);
Console.WriteLine("***********Generic***************");
GenericMethod.Show<int>(iValue);
GenericMethod.Show<string>(sValue);
GenericMethod.Show<DateTime>(dtValue);
Console.ReadKey();
}
}
}

顯示結果：

爲何泛型能夠解決上面的問題呢？

泛型是延遲聲明的：即定義的時候沒有指定具體的參數類型，把參數類型的聲明推遲到了調用的時候才指定參數類型。 延遲思想在程序架構設計的時候很受歡迎。例如：分佈式緩存隊列、EF的延遲加載等等。

泛型到底是如何工做的呢？

控制檯程序最終會編譯成一個exe程序，exe被點擊的時候，會通過JIT(即時編譯器)的編譯，最終生成二進制代碼，才能被計算機執行。泛型加入到語法之後，VS自帶的編譯器又作了升級，升級以後編譯時遇到泛型，會作特殊的處理：生成佔位符。再次通過JIT編譯的時候，會把上面編譯生成的佔位符替換成具體的數據類型。請看下面一個例子：

1 Console.WriteLine(typeof(List<>));
2 Console.WriteLine(typeof(Dictionary<,>));

 結果：

從上面的截圖中能夠看出：泛型在編譯以後會生成佔位符。

注意：佔位符須要在英文輸入法狀態下才能輸入，只須要按一次波浪線(數字1左邊的鍵位)的鍵位便可，不須要按Shift鍵。

一、泛型性能問題

請看一下的一個例子，比較普通方法、Object參數類型的方法、泛型方法的性能。

添加一個Monitor類，讓三種方法執行一樣的操做，比較用時長短：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
public class Monitor
{
public static void Show()
{
Console.WriteLine("****************Monitor******************");
{
int iValue = 12345;
long commonSecond = 0;
long objectSecond = 0;
long genericSecond = 0;

{
Stopwatch watch = new Stopwatch();
watch.Start();
for (int i = 0; i < 100000000; i++)
{
ShowInt(iValue);
}
watch.Stop();
commonSecond = watch.ElapsedMilliseconds;
}
{
Stopwatch watch = new Stopwatch();
watch.Start();
for (int i = 0; i < 100000000; i++)
{
ShowObject(iValue);
}
watch.Stop();
objectSecond = watch.ElapsedMilliseconds;
}
{
Stopwatch watch = new Stopwatch();
watch.Start();
for (int i = 0; i < 100000000; i++)
{
Show<int>(iValue);
}
watch.Stop();
genericSecond = watch.ElapsedMilliseconds;
}
Console.WriteLine("commonSecond={0},objectSecond={1},genericSecond={2}"
, commonSecond, objectSecond, genericSecond);
}
}

#region PrivateMethod
private static void ShowInt(int iParameter)
{
//do nothing
}
private static void ShowObject(object oParameter)
{
//do nothing
}
private static void Show<T>(T tParameter)
{
//do nothing
}
#endregion

}
}

Main()方法調用：

1 Monitor.Show();

 結果：

從結果中能夠看出：泛型方法的性能最高，其次是普通方法，object方法的性能最低。

4、泛型類

除了方法能夠是泛型之外，類也能夠是泛型的，例如：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
/// <summary>
/// 泛型類
/// </summary>
/// <typeparam name="T"></typeparam>
public class GenericClass<T>
{
public T _T;
}
}

Main()方法中調用：

// T是int類型
GenericClass<int> genericInt = new GenericClass<int>();
genericInt._T = 123;
// T是string類型
GenericClass<string> genericString = new GenericClass<string>();
genericString._T = "123";

除了能夠有泛型類，也能夠有泛型接口，例如：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
/// <summary>
/// 泛型接口
/// </summary>
public interface IGenericInterface<T>
{
//泛型類型的返回值
T GetT(T t);
}
}

也能夠有泛型委託：

1 public delegate void SayHi<T>(T t);//泛型委託

 注意：

一、泛型在聲明的時候能夠不指定具體的類型，可是在使用的時候必須指定具體類型，例如：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
/// <summary>
/// 使用泛型的時候必須指定具體類型，
/// 這裏的具體類型是int
/// </summary>
public class CommonClass :GenericClass<int>
{
}
}

若是子類也是泛型的，那麼繼承的時候能夠不指定具體類型，例如：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
/// <summary>
/// 使用泛型的時候必須指定具體類型，
/// 這裏的具體類型是int
/// </summary>
public class CommonClass :GenericClass<int>
{
}

/// <summary>
/// 子類也是泛型的，繼承的時候能夠不指定具體類型
/// </summary>
/// <typeparam name="T"></typeparam>
public class CommonClassChild<T>:GenericClass<T>
{

}
}

二、類實現泛型接口也是這種狀況，例如：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
/// <summary>
/// 必須指定具體類型
/// </summary>
public class Common : IGenericInterface<string>
{
public string GetT(string t)
{
throw new NotImplementedException();
}
}

/// <summary>
/// 能夠不知道具體類型，可是子類也必須是泛型的
/// </summary>
/// <typeparam name="T"></typeparam>
public class CommonChild<T> : IGenericInterface<T>
{
public T GetT(T t)
{
throw new NotImplementedException();
}
}
}

5、泛型約束

先來看看下面的一個例子：

定義一個People類，裏面有屬性和方法：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
public interface ISports
{
void Pingpang();
}

public interface IWork
{
void Work();
}

public class People
{
public int Id { get; set; }
public string Name { get; set; }

public void Hi()
{
Console.WriteLine("Hi");
}
}

public class Chinese : People, ISports, IWork
{
public void Tradition()
{
Console.WriteLine("仁義禮智信，溫良恭儉讓");
}
public void SayHi()
{
Console.WriteLine("吃了麼？");
}

public void Pingpang()
{
Console.WriteLine("打乒乓球...");
}

public void Work()
{
throw new NotImplementedException();
}
}

public class Hubei : Chinese
{
public Hubei(int version)
{ }

public string Changjiang { get; set; }
public void Majiang()
{
Console.WriteLine("打麻將啦。。");
}
}

public class Japanese : ISports
{
public int Id { get; set; }
public string Name { get; set; }
public void Hi()
{
Console.WriteLine("Hi");
}
public void Pingpang()
{
Console.WriteLine("打乒乓球...");
}
}
}

在Main()方法裏面實例化：

People people = new People()
{
Id = 123,
Name = "走本身的路"
};
Chinese chinese = new Chinese()
{
Id = 234,
Name = "晴天"
};
Hubei hubei = new Hubei(123)
{
Id = 345,
Name = "流年"
};
Japanese japanese = new Japanese()
{
Id = 7654,
Name = "werwer"
};

這時有一個需求：須要打印出Id和Name屬性的值，將ShowObject()方法修改以下：

可是這樣修改報錯了：object類裏面沒有Id和Name屬性，可能會有人說，強制類型轉換一下就好了啊：

public static void ShowObject(object oParameter)
{
Console.WriteLine("This is {0},parameter={1},type={2}",
typeof(CommonMethod), oParameter.GetType().Name, oParameter);

Console.WriteLine($"{((People)oParameter).Id}_{((People)oParameter).Name}");
}

這樣修改之後，代碼不會報錯了，這時咱們在Main()方法裏面調用：

1 CommonMethod.ShowObject(people);
2 CommonMethod.ShowObject(chinese);
3 CommonMethod.ShowObject(hubei);
4 CommonMethod.ShowObject(japanese);

 結果：

能夠看出程序報錯了，由於Japanese沒有繼承自People，這裏類型轉換的時候失敗了。這樣會形成類型不安全的問題。那麼怎麼解決類型不安全的問題呢？那就是使用泛型約束。

所謂的泛型約束，實際上就是約束的類型T。使T必須遵循必定的規則。好比T必須繼承自某個類，或者T必須實現某個接口等等。那麼怎麼給泛型指定約束？其實也很簡單，只須要where關鍵字，加上約束的條件。

泛型約束總共有五種。

約束	s說明
T：結構	類型參數必須是值類型
T：類	類型參數必須是引用類型；這一點也適用於任何類、接口、委託或數組類型。
T：new()	類型參數必須具備無參數的公共構造函數。 當與其餘約束一塊兒使用時，new() 約束必須最後指定。
T：<基類名>	類型參數必須是指定的基類或派生自指定的基類。
T：<接口名稱>	類型參數必須是指定的接口或實現指定的接口。 能夠指定多個接口約束。 約束接口也能夠是泛型的。

一、基類約束

上面打印的方法約束T類型必須是People類型。

/// <summary>
/// 基類約束：約束T必須是People類型或者是People的子類
/// </summary>
/// <typeparam name="T"></typeparam>
/// <param name="tParameter"></param>
public static void Show<T>(T tParameter) where T : People
{
Console.WriteLine($"{tParameter.Id}_{tParameter.Name}");
tParameter.Hi();
}

注意：

基類約束時，基類不能是密封類，即不能是sealed類。sealed類表示該類不能被繼承，在這裏用做約束就無任何意義，由於sealed類沒有子類。

二、接口約束

/// <summary>
/// 接口約束
/// </summary>
/// <typeparam name="T"></typeparam>
/// <param name="t"></param>
/// <returns></returns>
public static T Get<T>(T t) where T : ISports
{
t.Pingpang();
return t;
}

三、引用類型約束 class

引用類型約束保證T必定是引用類型的。

/// <summary>
/// 引用類型約束
/// </summary>
/// <typeparam name="T"></typeparam>
/// <param name="t"></param>
/// <returns></returns>
public static T Get<T>(T t) where T : class
{
return t;
}

四、值類型約束  struct

值類型約束保證T必定是值類型的。

/// <summary>
/// 值類型類型約束
/// </summary>
/// <typeparam name="T"></typeparam>
/// <param name="t"></param>
/// <returns></returns>
public static T Get<T>(T t) where T : struct
{
return t;
}

五、無參數構造函數約束  new()

/// <summary>
/// new()約束
/// </summary>
/// <typeparam name="T"></typeparam>
/// <param name="t"></param>
/// <returns></returns>
public static T Get<T>(T t) where T : new()
{
return t;
}

泛型約束也能夠同時約束多個，例如：

public static void Show<T>(T tParameter)
where T : People, ISports, IWork, new()
{
Console.WriteLine($"{tParameter.Id}_{tParameter.Name}");
tParameter.Hi();
tParameter.Pingpang();
tParameter.Work();
}

注意：有多個泛型約束時，new()約束必定是在最後。

6、泛型的協變和逆變

協變和逆變是在.NET 4.0的時候出現的，只能放在接口或者委託的泛型參數前面，out 協變covariant，用來修飾返回值；in：逆變contravariant，用來修飾傳入參數。

先看下面的一個例子：

定義一個Animal類：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
public class Animal
{
public int Id { get; set; }
}
}

而後在定義一個Cat類繼承自Animal類：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
public class Cat :Animal
{
public string Name { get; set; }
}
}

在Main()方法能夠這樣調用：

// 直接聲明Animal類
Animal animal = new Animal();
// 直接聲明Cat類
Cat cat = new Cat();
// 聲明子類對象指向父類
Animal animal2 = new Cat();
// 聲明Animal類的集合
List<Animal> listAnimal = new List<Animal>();
// 聲明Cat類的集合
List<Cat> listCat = new List<Cat>();

那麼問題來了：下面的一句代碼是否是正確的呢？

1 List<Animal> list = new List<Cat>();

 可能有人會認爲是正確的：由於一隻Cat屬於Animal，那麼一羣Cat也應該屬於Animal啊。可是實際上這樣聲明是錯誤的：由於List<Cat>和List<Animal>之間沒有父子關係。

這時就能夠用到協變和逆變了。

1 // 協變
2 IEnumerable<Animal> List1 = new List<Animal>();
3 IEnumerable<Animal> List2 = new List<Cat>();

 F12查看定義：

能夠看到，在泛型接口的T前面有一個out關鍵字修飾，並且T只能是返回值類型，不能做爲參數類型，這就是協變。使用了協變之後，左邊聲明的是基類，右邊能夠聲明基類或者基類的子類。

協變除了能夠用在接口上面，也能夠用在委託上面：

1 Func<Animal> func = new Func<Cat>(() => null);

 除了使用.NET框架定義好的覺得，咱們還能夠自定義協變，例如：

/// <summary>
/// out 協變 只能是返回結果
/// </summary>
/// <typeparam name="T"></typeparam>
public interface ICustomerListOut<out T>
{
T Get();
}

public class CustomerListOut<T> : ICustomerListOut<T>
{
public T Get()
{
return default(T);
}
}

使用自定義的協變：

1 // 使用自定義協變
2 ICustomerListOut<Animal> customerList1 = new CustomerListOut<Animal>();
3 ICustomerListOut<Animal> customerList2 = new CustomerListOut<Cat>();

 在來看看逆變。

在泛型接口的T前面有一個In關鍵字修飾，並且T只能方法參數，不能做爲返回值類型，這就是逆變。請看下面的自定義逆變：

/// <summary>
/// 逆變 只能是方法參數
/// </summary>
/// <typeparam name="T"></typeparam>
public interface ICustomerListIn<in T>
{
void Show(T t);
}

public class CustomerListIn<T> : ICustomerListIn<T>
{
public void Show(T t)
{
}
}

使用自定義逆變：

1 // 使用自定義逆變
2 ICustomerListIn<Cat> customerListCat1 = new CustomerListIn<Cat>();
3 ICustomerListIn<Cat> customerListCat2 = new CustomerListIn<Animal>();

協變和逆變也能夠同時使用，看看下面的例子：

/// <summary>
/// inT 逆變
/// outT 協變
/// </summary>
/// <typeparam name="inT"></typeparam>
/// <typeparam name="outT"></typeparam>
public interface IMyList<in inT, out outT>
{
void Show(inT t);
outT Get();
outT Do(inT t);
}

public class MyList<T1, T2> : IMyList<T1, T2>
{

public void Show(T1 t)
{
Console.WriteLine(t.GetType().Name);
}

public T2 Get()
{
Console.WriteLine(typeof(T2).Name);
return default(T2);
}

public T2 Do(T1 t)
{
Console.WriteLine(t.GetType().Name);
Console.WriteLine(typeof(T2).Name);
return default(T2);
}
}

使用：

1 IMyList<Cat, Animal> myList1 = new MyList<Cat, Animal>();
2 IMyList<Cat, Animal> myList2 = new MyList<Cat, Cat>();//協變
3 IMyList<Cat, Animal> myList3 = new MyList<Animal, Animal>();//逆變
4 IMyList<Cat, Animal> myList4 = new MyList<Animal, Cat>();//逆變+協變

 7、泛型緩存

在前面咱們學習過，類中的靜態類型不管實例化多少次，在內存中只會有一個。靜態構造函數只會執行一次。在泛型類中，T類型不一樣，每一個不一樣的T類型，都會產生一個不一樣的副本，因此會產生不一樣的靜態屬性、不一樣的靜態構造函數，請看下面的例子：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace MyGeneric
{
public class GenericCache<T>
{
static GenericCache()
{
Console.WriteLine("This is GenericCache 靜態構造函數");
_TypeTime = string.Format("{0}_{1}", typeof(T).FullName, DateTime.Now.ToString("yyyyMMddHHmmss.fff"));
}

private static string _TypeTime = "";

public static string GetCache()
{
return _TypeTime;
}
}
}

而後新建一個測試類，用來測試GenericCache類的執行順序：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;
using System.Threading.Tasks;

namespace MyGeneric
{
public class GenericCacheTest
{
public static void Show()
{
for (int i = 0; i < 5; i++)
{
Console.WriteLine(GenericCache<int>.GetCache());
Thread.Sleep(10);
Console.WriteLine(GenericCache<long>.GetCache());
Thread.Sleep(10);
Console.WriteLine(GenericCache<DateTime>.GetCache());
Thread.Sleep(10);
Console.WriteLine(GenericCache<string>.GetCache());
Thread.Sleep(10);
Console.WriteLine(GenericCache<GenericCacheTest>.GetCache());
Thread.Sleep(10);
}
}
}
}

Main()方法裏面調用：

1 GenericCacheTest.Show();

結果：

從上面的截圖中能夠看出，泛型會爲不一樣的類型都建立一個副本，因此靜態構造函數會執行5次。 並且每次靜態屬性的值都是同樣的。利用泛型的這一特性，能夠實現緩存。

注意：只能爲不一樣的類型緩存一次。泛型緩存比字典緩存效率高。泛型緩存不能主動釋放