這篇文章主要講解了什么是C#泛型的類型參數(shù)約束,內(nèi)容清晰明了,對此有興趣的小伙伴可以學(xué)習(xí)一下,相信大家閱讀完之后會有幫助。
成都網(wǎng)站建設(shè)哪家好,找創(chuàng)新互聯(lián)公司!專注于網(wǎng)頁設(shè)計(jì)、重慶網(wǎng)站建設(shè)、微信開發(fā)、小程序制作、集團(tuán)成都企業(yè)網(wǎng)站定制等服務(wù)項(xiàng)目。核心團(tuán)隊(duì)均擁有互聯(lián)網(wǎng)行業(yè)多年經(jīng)驗(yàn),服務(wù)眾多知名企業(yè)客戶;涵蓋的客戶類型包括:成都主動防護(hù)網(wǎng)等眾多領(lǐng)域,積累了大量豐富的經(jīng)驗(yàn),同時(shí)也獲得了客戶的一致認(rèn)可!常用約束
約束告知編譯器類型參數(shù)必須具備的功能。 在沒有任何約束的情況下,類型參數(shù)可以是任何類型。 編譯器只能假定 System.Object 的成員,它是任何 .NET 類型的最終基類。 如果客戶端代碼使用不滿足約束的類型,編譯器將發(fā)出錯誤。 通過使用 where 上下文關(guān)鍵字指定約束。 下表列出了七種類型的約束:
約束 | 描述 |
where T : struct | 類型參數(shù)必須是不可為 null 的值類型。 有關(guān)可為 null 的值類型的信息,請參閱可為 null 的值類型。 由于所有值類型都具有可訪問的無參數(shù)構(gòu)造函數(shù),因此 struct 約束表示 new() 約束,并且不能與 new() 約束結(jié)合使用。 struct 約束也不能與 unmanaged 約束結(jié)合使用。 |
where T : class | 類型參數(shù)必須是引用類型。此約束還應(yīng)用于任何類、接口、委托或數(shù)組類型。 在 C#8.0 或更高版本中的可為 null 上下文中,T 必須是不可為 null 的引用類型。 |
where T : class? | 類型參數(shù)必須是可為 null 或不可為 null 的引用類型。 此約束還應(yīng)用于任何類、接口、委托或數(shù)組類型。 |
where T : notnull | 類型參數(shù)必須是不可為 null 的類型。 參數(shù)可以是 C# 8.0 或更高版本中的不可為 null 的引用類型,也可以是不可為 null 的值類型。 |
where T : unmanaged | 類型參數(shù)必須是不可為 null 的非托管類型。unmanaged 約束表示 struct 約束,且不能與 struct 約束或 new() 約束結(jié)合使用。 |
where T : new() | 類型參數(shù)必須具有公共無參數(shù)構(gòu)造函數(shù)。與其他約束一起使用時(shí),new() 約束必須最后指定。 new() 約束不能與 struct 和 unmanaged 約束結(jié)合使用。 |
where T : | 類型參數(shù)必須是指定的基類或派生自指定的基類。 在 C# 8.0 及更高版本中的可為 null 上下文中,T 必須是從指定基類派生的不可為 null 的引用類型。 |
where T : | 類型參數(shù)必須是指定的基類或派生自指定的基類。在 C# 8.0 及更高版本中的可為 null 上下文中,T 可以是從指定基類派生的可為 null 或不可為 null 的類型。 |
where T : | 類型參數(shù)必須是指定的接口或?qū)崿F(xiàn)指定的接口??芍付ǘ鄠€(gè)接口約束。 約束接口也可以是泛型。在 C# 8.0 及更高版本中的可為 null 上下文中,T 必須是實(shí)現(xiàn)指定接口的不可為 null 的類型。 |
where T : | 類型參數(shù)必須是指定的接口或?qū)崿F(xiàn)指定的接口??芍付ǘ鄠€(gè)接口約束。約束接口也可以是泛型。在 C# 8.0 中的可為 null 上下文中,T 可以是可為 null 的引用類型、不可為 null 的引用類型或值類型。T 不能是可為 null 的值類型。 |
where T : U | 為 T 提供的類型參數(shù)必須是為 U 提供的參數(shù)或派生自為 U 提供的參數(shù)。在可為 null 的上下文中,如果 U 是不可為 null 的引用類型,T 必須是不可為 null 的引用類型。如果 U 是可為 null 的引用類型,則 T 可以是可為 null 的引用類型,也可以是不可為 null 的引用類型。 |
最常用的泛型約束為where T : struct、where T : class、where T : new()。
約束多個(gè)參數(shù)
可以對多個(gè)參數(shù)應(yīng)用多個(gè)約束,對一個(gè)參數(shù)應(yīng)用多個(gè)約束,如下例所示:
class Base { } class Testwhere U : struct where T : Base, new() { }