浅析C#范型中的特殊关键字where & default

范型参数的约束：where

C#中的范型可以使方法或类不依赖于具体类型，从而提供了更强的通用性和可扩展性。但范型也有一些局限性，如类型参数无法被强制转换为不相关类型，无法访问特定的方法或属性等。为了解决这些问题，可以使用“范型参数约束”。

范型参数约束的语法格式如下：

class ClassName<T> where T : constraint1, constraint2, ... , constraint_n

其中，T表示范型类型参数，constraint表示一条或多条约束，多条约束使用逗号隔开。

常见的范型参数约束包括：

• where T : class：T必须是引用类型。
• where T : struct：T必须是值类型。
• where T : new()：T必须具有公共的无参数构造函数。

范型参数约束会限制类型参数的类型，让T在满足条件的情况下，能够调用约束类型的方法和属性。

下面是一个举例说明：

public class GenericClass<T> where T : IList<int>
{
    public int Sum(T list)
    {
        int sum = 0;
        foreach (int num in list)
        {
            sum += num;
        }
        return sum;
    }
}

这里的泛型类GenericClass中的类型参数T必须是IList<int>类型或其子类。因此，在Sum方法中，list可以调用IList<int>接口中的方法，如Add，而不需要担心无法访问此方法。

范型类型参数的默认值：default

所有类型参数的起始值都是null，但是在某些情况下，为了能够使用默认的起始值，可以使用default关键字。

default为泛型类型参数返回默认值。当使用default关键字时，必须将其放在类型参数名的右侧。

语法格式如下：

T defaultValue = default(T);

示例代码：

static void Main(string[] args)
{
    int i = default(int);
    string s = default(string);
    Console.WriteLine(i); // 输出0
    Console.WriteLine(s == null); // 输出True
}

在这个示例中，default(int)返回的是0，因为int是值类型，而default(string)返回的是null，因为string是引用类型。

默认值的使用场景：

public class TestClass<T>
{
    private T _t;

    public TestClass()
    {
        _t = default(T);
    }

    public override string ToString()
    {
        return _t.ToString();
    }
}

这里的_t是T类型的对象，在调用TestClass构造函数时，将调用default(T)，把其返回值赋值给_t变量。当使用ToString方法时，将使用该对象的默认ToString实现，并把输出写入到控制台。

这是一个范型类型参数的默认值示例，我们可以看到default关键字比手动赋值默认值的方式更加简单易用。

结语

where和default是C#范型中的两个关键字，可以约束范型类型参数并返回默认值。通过使用这两个关键字，可以显著提高代码的可读性和可维护性。