C#中where泛型约束用法详解

什么是泛型约束 (Generic Constraints)

泛型约束的作用是明确告知编译器：该泛型类或方法所使用的类型 T 必须遵循某些规则。如果没有这些约束，编译器无法保证泛型内部可以调用特定的方法或属性。最常见的约束包括：

• 结构体约束 (struct)：类型必须是值类型。
• 类约束 (class)：类型必须是引用类型且非密封。
• 接口约束：类型必须实现指定的接口。
• 构造函数约束 (new())：类型必须具有一个公有的无参构造函数。

实战案例：构建通用的国籍打印类

为了演示 where 约束的实际应用，我们将创建一个简单的场景：定义一个泛型类，它接收一个表示“国籍”的对象，并调用其方法来获取国籍字符串。

第一步：定义接口与具体实现

首先，我们定义一个名为 INationality 的接口，规定了国籍相关的基本行为。接着，我们创建两个具体的类 Chinese（中国人）和 American（美国人），它们都实现了该接口。

以下是接口及其实现类的代码结构：

/// <summary>
/// 国籍的接口
/// </summary>
public interface INationality
{
    string Nationality { set; get; }
    string GetNationality();
}

/// <summary>
/// 中国人实现
/// </summary>
public class Chinese : INationality
{
    private string _Nationality;

    public string Nationality
    {
        set { _Nationality = value; }
        get { return _Nationality; }
    }

    public string GetNationality()
    {
        return string.IsNullOrEmpty(_Nationality) ? "Default." : _Nationality;
    }
}

/// <summary>
/// 美国人实现
/// </summary>
public class American : INationality
{
    private string _Nationality;

    public string Nationality
    {
        set { _Nationality = value; }
        get { return _Nationality; }
    }

    public string GetNationality()
    {
        return string.IsNullOrEmpty(_Nationality) ? "Default." : _Nationality;
    }
}

第二步：创建带有约束的泛型类

这是核心步骤。我们需要创建一个泛型类 PrintNationality<T>。为了让该类内部能够正确地实例化对象并调用 GetNationality() 方法，我们需要在类声明中加入 where 约束：

where T : INationality, new()

这包含了两层含义：

1. INationality：类型 T 必须实现 INationality 接口。这保证了我们可以安全地调用 GetNationality()。
2. new()：类型 T 必须包含一个公有的无参构造函数。这允许我们在类内部使用 T item = new T(); 来创建实例。

///

/// 带有泛型约束的类
///<typeparam name="T">必须实现 INationality 接口且具有无参构造函数</typeparam>
///</summary>
public class PrintNationality<T> where T : INationality, new()
{
    // 由于有 new() 约束，这里可以合法地创建 T 的实例
    private T item = new T();

    public void Print()
    {
        Console.WriteLine(string.Format("Nationality:{0}", item.GetNationality()));
    }
}

第三步：在程序中调用并测试

现在在 Main 方法中，我们可以将 PrintNationality 分别用 Chinese 和 American 实例化。如果我们尝试传入一个没有实现 INationality 接口的类，编译器将会报错。

public class Program
{
    static void Main(string[] args)
    {
        // 正确：传入继承自 INationality 的类
        PrintNationality<Chinese> _c = new PrintNationality<Chinese>();
        PrintNationality<American> _a = new PrintNationality<American>();

        // 错误示例：如果存在另一个未实现 INationality 的类 Other，则下面的代码会编译失败
        // PrintNationality<Other> _o = new PrintNationality<Other>();

        // 设置一些值以观察结果
        _c.item.Nationality = "中国";
        _a.item.Nationality = "美国";

        _c.Print();
        _a.Print();

        Console.ReadKey();
    }
}

执行结果分析

当运行上述程序时，控制台将输出如下内容：

Nationality:中国.
Nationality:美国.

这表明泛型约束成功地过滤了类型范围，并确保了在泛型内部调用接口方法和构造对象的合法性。这不仅提高了代码的可读性，还将在运行时可能出现的异常提前到编译阶段发现，极大地提升了软件的健壮性。

总结

C# 中的 where 泛型约束是编写通用组件时的强力工具。通过组合使用接口约束 (: IInterface) 和构造函数约束 (: new())，开发人员可以设计出既灵活又安全的泛型类型。在使用时，务必确保所有可能的替代类型都满足这些约束条件，否则会导致编译错误。以上就是对C#中where泛型约束用法的详细内容，更多关于C#泛型编程的资料请关注本站其它相关文章！