C#泛型类型参数与约束深入解析

泛型类型参数基础

在定义泛型类或方法时，尖括号 <> 内部放置的是泛型类型参数。它们充当了类型占位符的角色，直到泛型被实际实例化（Instantiation）时才替换为具体的类型。为了提升代码可读性，微软推荐以下命名约定：

• 单个字母：当使用单个大写字母时，通常约定使用 T。
• 单词描述：如果倾向于使用更具语义化的名称，建议在单词前加上 T 前缀（例如 TUser, TKey）。

private void PromptName<T>(T t) { }
private void PromptName<TUser>(TUser user){ }

如果没有施加任何限制的类型参数，被称为“未绑定的类型参数”。此时编译器仅将其视为 object，只能调用该类型具有的所有公共成员（如 ToString()、GetType()等），且无法直接使用算术运算符或自定义属性。

泛型约束的作用与分类

泛型约束通过在类型参数后添加 where 子句来实现。它告诉编译器：使用该泛型的具体类型必须满足哪些条件。如果不满足这些条件，编译器将报错。这不仅能避免运行时的类型转换错误，还能让编译器允许你在泛型方法中调用特定类型的属性或方法。

第1步：限制为结构体 (struct)

使用 where T : struct 约束可以确保传入的参数必须是值类型（如 int, double, DateTime 等）。注意，此约束不允许使用可空类型（Nullable types）。

public class ShowObjectType<T> where T : struct
{
    public void ShowValue(T t)
    {
        Console.WriteLine(t.GetType());
    }
}

// 调用示例：
ShowObjectType<int> showInt = new ShowObjectType<int>();
showInt.ShowValue(5); // 成功，因为 int 是值类型

// 错误写法：
// ShowObjectType<string> showString = new ShowObjectType<string>(); 
// string 是引用类型，编译会报错

第2步：限制为类 (class)

使用 where T : class 约束确保类型参数必须是引用类型。这适用于所有类、接口、委托和数组类型。在使用此约束时，应避免对类型参数直接使用 == 和 != 进行比较，因为这些运算符测试的是引用同一性，而非值的相等性。

private static void AddClass<T>(List<T> list, T t) where T : class
{
    list.Add(t);
}

static void Main()
{
    List<string> list = new List<string>();
    AddClass(list, "hello generic"); // 成功，string 是引用类型
}

第3步：限制为特定基类

可以通过 where T : BaseClassName 指定具体的基类。这使得在泛型作用域内，可以安全地调用该基类的属性和方法。

public class Person
{
    public string Name { get; set; }
}

// 这里 T 可以是 Person 本身，也可以是继承自 Person 的子类
private static void PromptName<T>(T t) where T : Person
{
    // 能够直接访问 Person 定义的属性
    if (t.Name == "David") 
    {
        Console.WriteLine("Person name is David"); 
    }
}

static void Main()
{
    Person person = new Person { ID = 1, Name = "David" };
    PromptName(person);
}

第4步：强制无参构造函数 (new())

如果你需要在泛型内部创建新实例，必须使用 where T : new() 约束。该约束要求类型必须有一个公共的无参数构造函数。此外，如果有多个约束，new() 必须放在列表的最后。

class Test<T> where T : class, new()
{
    public T CreateInstance()
    {
        return new T(); // 只有在有 new() 约束时才合法
    }
}

第5步：多参数与组合约束

当泛型声明包含多个类型参数或多个约束条件时，语法如下：

// U 必须是结构体；T 必须是 Base 的子类且有无参构造函数
class Base { }
class Test<T, U> 
    where U : struct
    where T : Base, new()
{
}

总结

掌握 C# 泛型约束是编写高质量通用组件的前提。struct 用于处理数值和轻量级对象，class 处理常规引用，new() 赋予动态实例化能力，而基类和接口约束则打破了泛型的黑盒状态，使其能与具体业务逻辑对接。合理运用这几种策略，可以有效规避潜在的类型异常。

以上就是C#泛型类型参数与约束的详细内容，更多关于C#进阶编程的资料请关注本站其它相关文章！