C#中泛型約束(where)是什麼？

兵工廠三劍客發表於2018-07-11
C#泛型
轉載自：C#中泛型約束where是什麼
泛型約束: 確保泛型類使用的引數是提供特定方法的型別。


詳見：https://docs.microsoft.com/zh-cn/dotnet/csharp/programming-guide/generics/generic-classes


約束

說明

T：結構

型別引數必須是值型別。

T：類

型別引數必須是引用型別；這一點也適用於任何類、介面、委託或陣列型別。

T：new()

型別引數必須具有無引數的公共建構函式。 當與其他約束一起使用時，new() 約束必須最後指定。

T：<基類名>

型別引數必須是指定的基類或派生自指定的基類。

T：<介面名稱>

型別引數必須是指定的介面或實現指定的介面。 可以指定多個介面約束。 約束介面也可以是泛型的。

T：U

為 T 提供的型別引數必須是為 U 提供的引數或派生自為 U 提供的引數。



  1. T約定：只能是Access型別或者Access的子型別
  2. public class BaseAccess<T> where T : Access
  3. {
  4. }
  7. T約定：T只能傳入介面的本身和實現了此介面的類
  8. public class BaseAccess<T> where T : IAggregateRoot
  9. {
  10. }
  12. 引用型別約束演示
  13. public class BaseAccess<T> where T : class
  14. {
  15. }
  17. 值型別約束演示
  18. public class BaseAccess<T> where T : struct
  19. {
  20. }
  22. 構造器約束（型別引數T必須有一個無參建構函式，並非BaseAccess必須有一個無參建構函式）
  23. public class BaseAccess<T> where T : new()
  24. {
  25. MongoContextAdapter _context;
  26. public BaseAccess(MongoContextAdapter context)
  27. {
  28. this._context = context;
  29. }
  30. }
  32. 一個型別佔位符有兩個約束 必須是引用型別，必須提供建構函式
  33. public class BaseAccess<T> where T : class,new()
  34. {
  37. }
  39. K必須約定是一個引用型別
  40. V必須約定是一個值型別
  41. public class BaseAccess<K, V>
  42. where K : class,new()
  43. where V : struct
  44. {
  47. }
  50. /// 泛型引數K必須繼承V K,V必須是引用型別，必須提供建構函式
  51. public class BaseAccess<K, V>
  52. where K : V
  53. where K : class,new()
  54. where V : class,new()
  55. {
  56. }
  60. T約定：只能是Access型別或者Access的子型別
  61. public class BaseAccess<T> where T : Access
  62. {
  63. }
  66. T約定：T只能傳入介面的本身和實現了此介面的類
  67. public class BaseAccess<T> where T : IAggregateRoot
  68. {
  69. }
  71. 引用型別約束演示
  72. public class BaseAccess<T> where T : class
  73. {
  74. }
  76. 值型別約束演示
  77. public class BaseAccess<T> where T : struct
  78. {
  79. }
  81. 構造器約束
  82. public class BaseAccess<T> where T : new()
  83. {
  84. MongoContextAdapter _context;
  85. public BaseAccess(MongoContextAdapter context)
  86. {
  87. this._context = context;
  88. }
  89. }
  91. 一個型別佔位符有兩個約束 必須是引用型別，必須提供建構函式
  92. public class BaseAccess<T> where T : class,new()
  93. {
  96. }
  98. K必須約定是一個引用型別
  99. V必須約定是一個值型別
  100. public class BaseAccess<K, V>
  101. where K : class,new()
  102. where V : struct
  103. {
  106. }
  109. /// 泛型引數K必須繼承V K,V必須是引用型別，必須提供建構函式
  110. public class BaseAccess<K, V>
  111. where K : V
  112. where K : class,new()
  113. where V : class,new()
  114. {
  115. }

相關文章