C# 进阶之泛型(可以理解为通用占位)（二）

在C#中，泛型（Generics）是一种强大的编程工具，它允许程序员在定义类、接口或方法时创建可重用的组件，而无需预先指定它们将使用的数据类型。通过使用泛型，您可以创建灵活的、类型安全的代码，这些代码可以在多种数据类型上工作，而无需为每个数据类型编写单独的代码。

1. 泛型的主要应用：

集合类：泛型最常见的应用之一是在集合类中，如List、Dictionary<TKey, TValue>等。这些集合类可以存储任何类型的数据，而不仅仅是特定的数据类型。

算法：泛型可以用于编写可应用于多种数据类型的算法，例如排序、搜索等。

扩展现有类型：通过创建泛型扩展方法，您可以为现有的非泛型类型添加新功能，而无需修改它们的源代码。

2.泛型类型参数：

泛型类型参数使用T（或其他大写字母）表示，并在定义类或方法时放在尖括号中。在类或方法的实现中，您可以使用这些类型参数来定义字段、属性、方法参数和返回值。

泛型类示例：

public class GenericClass<T>  
{  
    private T value;  
  
    public GenericClass(T value)  
    {  
        this.value = value;  
    }  
  
    public T GetValue()  
    {  
        return value;  
    }  
  
    public void SetValue(T value)  
    {  
        this.value = value;  
    }  
}  
  
// 使用泛型类  
GenericClass<int> intClass = new GenericClass<int>(42);  
Console.WriteLine(intClass.GetValue()); // 输出: 42  
  
GenericClass<string> stringClass = new GenericClass<string>("Hello");  
Console.WriteLine(stringClass.GetValue()); // 输出: Hello

泛型方法示例：

public class GenericMethods  
{  
    // 泛型方法，用于交换两个变量的值  
    public static void Swap<T>(ref T a, ref T b)  
    {  
        T temp = a;  
        a = b;  
        b = temp;  
    }  
}  
  
// 使用泛型方法  
int x = 1, y = 2;  
GenericMethods.Swap(ref x, ref y);  
Console.WriteLine($"x: {x}, y: {y}"); // 输出: x: 2, y: 1  
  
string str1 = "Hello", str2 = "World";  
GenericMethods.Swap(ref str1, ref str2);  
Console.WriteLine($"str1: {str1}, str2: {str2}"); // 输出: str1: World, str2: Hello

泛型之协变逆变：

协变和逆变是面向对象编程中的两个重要概念，特别是在处理泛型或委托时。这两个概念在C#等语言中体现得尤为明显。以下将通过C#中的例子来说明协变和逆变的概念。

协变（Covariance）
协变描述的是从子类型向父类型的转换。在C#中，协变通常用于返回值类型，使用out关键字来标识。它允许方法的返回类型是其声明返回类型的派生类型。

示例：

假设有一个基类Animal和一个从Animal派生的子类Dog。

public class Animal { }  
public class Dog : Animal { }

现在，如果我们有一个方法，其声明返回类型为Animal，但实际上返回一个Dog对象，这在协变的概念下是允许的。

public interface IMyOut<out T>  
{  
    T GetT();  
}  
  
public class MyOut<T> : IMyOut<T>  
{  
    public T GetT()  
    {  
        return default(T);  
    }  
}  
  

// 使用协变

IMyOut<Animal> animals = new MyOut<Dog>();  
Animal myAnimal = animals.GetT(); // 实际返回的是Dog类型，但可以被赋给Animal类型的变量

在这个例子中，MyOut实现了IMyOut接口，尽管它实际上返回的是Dog类型的对象。这就是协变的一个应用，它允许返回更具体的类型（子类），而不需要改变接口的声明。

逆变（Contravariance）
逆变描述的是从父类型向子类型的转换。在C#中，逆变通常用于方法的输入参数类型，使用in关键字来标识。它允许方法的参数类型是其声明参数类型的基类型。

示例：

继续使用上面的Animal和Dog类。

public interface IMyIn<in T>  
{  
    void SetT(T t);  
}  
  
public class MyIn<T> : IMyIn<T>  
{  
    public void SetT(T t)  
    {  
        // Do something with t  
    }  
}  
  
// 使用逆变  
IMyIn<Dog> dogs = new MyIn<Animal>();  
Dog myDog = new Dog();  
dogs.SetT(myDog); // 实际接受的是Animal类型的参数，但可以接受Dog类型的对象

在这个例子中，MyIn实现了IMyIn接口，尽管它实际上接受的是Animal类型的参数。这就是逆变的一个应用，它允许传入更一般的类型（父类），而不需要改变接口的声明。

协变和逆变在泛型编程中非常有用，它们允许程序员以更灵活和类型安全的方式编写代码，减少不必要的类型转换和错误。通过正确地使用协变和逆变，可以创建出更加通用和可重用的代码。