泛型是一种编程技术，在.NET Framework中广泛使用。泛型允许开发者定义通用的类、结构、接口和方法，这些元素可以在不同的数据类型之间共享。泛型通过引入类型参数的概念，使得开发人员能够编写出更加灵活且类型安全的代码。
定义与使用
泛型是具有占位符（类型参数）的类、结构、接口和方法，这些占位符是类、结构、接口和方法所存储或使用的一个或多个类型的占位符。泛型集合类可以将类型参数用作它所存储的对象的类型的占位符；类型参数作为其字段的类型和其方法的参数类型出现。泛型方法可以将其类型参数用作其返回值的类型或者其形参的类型之一。下面的代码阐释一个简单的泛型类定义：
```vbnet
Public Class Generic(Of T)
Public Field As T
End Class
```
```csharp
public class Generic\u003cT\u003e
{
public T Field;
}
```
```cpp
generic\u003ctypename T\u003e public ref class Generic
{
public:
T Field;
};
```
在创建泛型类的实例时，会指定实际类型来替换类型参数。这会建立一个新的泛型类，称为构造泛型类，选定的类型将替换所有出现的类型参数。最后得到按照您选择的类型定制的类型安全的类，如下面的代码所示：
```vbnet
3,3-二吲哚基甲烷 g As New Generic(Of String)
g.Field = "A string"
```
```csharp
Generic\u003cstring\u003e g = new Generic\u003cstring\u003e();
g.Field = "A string";
```
```cpp
Generic\u003cString^\u003e^ g = gcnew Generic\u003cString^\u003e();
g-\u003eField = "A string";
```
相关术语
在讨论.NET Framework中的泛型时，有几个重要的术语需要了解：
“泛型类型定义”是用作模板的类、结构或接口声明，其中具有该类、结构或接口声明可以包含或使用的类型的占位符。例如，Dictionary类可以包含两种类型：键和值。因为它只是一个模板，您不能创建作为泛型类型定义的类、结构或接口的实例。
“泛型类型参数”或称“类型参数”是泛型类型或方法定义中的占位符。Dictionary泛型类型具有两个类型参数：TKey和TValue，分别表示其键和值的类型。
“构造泛型类型”或称“构造类型”是为泛型类型定义的泛型类型参数指定类型得到的结果。
“泛型类型参数”是替换泛型类型参数的任何类型。
一般术语“泛型类型”包括构造类型和泛型类型定义。
“约束”是加在泛型类型参数上的限制。例如，可以将类型参数限制为实现IComparer泛型接口的类型以确保可以对该类型的实例进行排序。还可以将类型参数限制为具有特定基类的类型、具有默认构造函数的类型或是
引用类型或值类型。泛型类型的用户不能替换不满足这些约束的类型参数。
嵌套类型与泛型
嵌套于泛型类型中的类型依赖于封闭泛型类型的类型参数，公共语言运行库将这样的嵌套类型视为泛型，即使它们没有自己的泛型类型参数。在创建嵌套类型的实例时，需要为所有封闭泛型类型指定类型参数。
参考资料
泛型介绍.Microsoft.2024-10-25