在C#的开发过程中,我们经常会遇到需要处理多种数据类型但逻辑结构完全一致的场景,比如实现一个可以存储任意类型数据的容器,或者一个可以计算任意数值类型相加的方法,这时候泛型就能发挥重要作用。泛型允许我们在定义类、方法、接口等的时候不指定具体的类型,而是用一个类型参数来占位,等到实际使用的时候再指定具体的类型,这样既保证了类型安全,又避免了大量的重复代码编写。

泛型类的基础使用
泛型类是指定义了类型参数的类,类型参数通常用大写字母T表示,也可以根据需求使用其他有意义的名称,比如TKey、TValue等。定义泛型类的时候,需要在类名后面加上尖括号,里面放置类型参数。
定义泛型类
下面是一个简单的泛型类示例,这个类可以存储一个指定类型的数据,并且提供获取和设置该数据的方法:
// 定义一个泛型类,T是类型参数
public class DataContainer<T>
{
// 存储数据的字段,类型为T
private T _data;
// 设置数据的方法
public void SetData(T data)
{
_data = data;
}
// 获取数据的方法,返回类型为T
public T GetData()
{
return _data;
}
}
实例化泛型类
使用泛型类的时候,需要指定具体的类型参数,也就是把T替换成实际的类型,比如int、string、自定义类等。实例化方式如下:
class Program
{
static void Main(string[] args)
{
// 实例化泛型类,指定T为int类型
DataContainer<int> intContainer = new DataContainer<int>();
intContainer.SetData(100);
int result = intContainer.GetData();
Console.WriteLine($"int类型数据:{result}");
// 实例化泛型类,指定T为string类型
DataContainer<string> stringContainer = new DataContainer<string>();
stringContainer.SetData("Hello Generic");
string strResult = stringContainer.GetData();
Console.WriteLine($"string类型数据:{strResult}");
}
}
泛型类的类型参数约束
有时候我们希望类型参数满足一定的条件,比如只能是值类型,或者必须实现某个接口,这时候就可以给类型参数添加约束。约束使用where关键字来定义,常见的约束有以下几种:
where T : struct:类型参数必须是值类型where T : class:类型参数必须是引用类型where T : new():类型参数必须有一个无参数的公共构造函数where T : 基类名:类型参数必须是指定基类或者派生自该基类where T : 接口名:类型参数必须实现指定的接口
下面是一个带约束的泛型类示例,要求类型参数必须是值类型,并且有无参数构造函数:
// 泛型类,约束T必须是值类型,且有公共无参数构造函数
public class ValueDataContainer<T> where T : struct, new()
{
private T _data;
public void SetData(T data)
{
_data = data;
}
public T GetData()
{
return _data;
}
// 可以使用T的默认实例
public T GetDefault()
{
return new T();
}
}
泛型方法的基础使用
泛型方法是指定义了类型参数的方法,泛型方法可以定义在普通类中,也可以定义在泛型类中。泛型方法的类型参数定义在方法名后面的尖括号中。
定义和调用泛型方法
下面是一个普通的工具类,里面定义了一个泛型方法,用于交换两个同类型变量的值:
public class Utility
{
// 泛型方法,T是类型参数
public static void Swap<T>(ref T a, ref T b)
{
T temp = a;
a = b;
b = temp;
}
}
调用泛型方法的时候,可以显式指定类型参数,也可以让编译器自动推断类型参数:
class Program
{
static void Main(string[] args)
{
int x = 10, y = 20;
Console.WriteLine($"交换前:x={x}, y={y}");
// 显式指定类型参数为int
Utility.Swap<int>(ref x, ref y);
Console.WriteLine($"交换后:x={x}, y={y}");
string s1 = "hello", s2 = "world";
Console.WriteLine($"交换前:s1={s1}, s2={s2}");
// 编译器自动推断类型参数为string,不需要显式指定
Utility.Swap(ref s1, ref s2);
Console.WriteLine($"交换后:s1={s1}, s2={s2}");
}
}
泛型方法在泛型类中的使用
泛型类中也可以定义泛型方法,这时候泛型方法可以有自己的类型参数,和泛型类的类型参数互不干扰:
// 泛型类,类型参数为T
public class GenericClass<T>
{
private T _data;
public void SetData(T data)
{
_data = data;
}
// 泛型方法,有自己的类型参数U,和类的T无关
public U ProcessData<U>(Func<T, U> processor)
{
return processor(_data);
}
}
使用示例:
class Program
{
static void Main(string[] args)
{
GenericClass<int> gc = new GenericClass<int>();
gc.SetData(50);
// 泛型方法的类型参数U被推断为string
string result = gc.ProcessData<string>(data => $"处理后的数据:{data * 2}");
Console.WriteLine(result);
}
}
泛型方法和泛型类的常见注意事项
- 泛型类的类型参数是在实例化的时候确定的,而泛型方法的类型参数可以在调用的时候确定,更加灵活。
- 如果泛型方法定义在泛型类中,且泛型方法的类型参数和泛型类的类型参数名称相同,会隐藏泛型类的类型参数,这时候最好修改名称避免混淆。
- 泛型不支持协变和逆变的情况需要特别注意,除非使用
out和in关键字修饰类型参数,否则不能将泛型类型赋给它的派生或基类的泛型类型。 - 不要过度使用泛型,只有当确实需要处理多种类型且逻辑一致的时候才使用泛型,否则会让代码变得难以理解。
泛型是C#中非常实用的特性,合理运用可以大幅减少重复代码,提升程序的类型安全性,建议在实际开发中多尝试使用,积累相关经验。