• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号
登陆 注册

C#中的协变(Covariance)和逆变(Contravariance)

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

    ● 协变和逆变的定义是什么？给我们带来了什么便利？如何应用？
　　● 对于可变的泛型接口，为什么要区分成协变的和逆变的两种？只要一种不是更方便吗？
　　● 为什么还有不可变的泛型接口，为什么有的泛型接口要故意声明成不可变的？
　　● 复合的可变泛型接口遵循哪些规则？
　　● 协变和逆变的数学定义是什么？如何利用数学模型解释C#4里的协变和逆变的规则？

前言

    协变和逆变是c#4.0引入的新概念，主要是针对于泛型而言的。有了它们，我们可以更准确的定义泛型委托和接口。

    首先举个栗子，比如IEnumerable<T> 接口是协变的，我们实现了一个这样的函数：

static void PrintPersonName(IEnumerable<Person> persons)
{
    foreach (Person person in persons)
    {
        Console.WriteLine(person.Name);
    }
}

    那么PrintPersonName这个方法就可以接受任何Person类的子类型列表作为它的参数。比如，若Student是Person的子类，那么可以这样调用：

IList<Student> students = new List<Student>();
PrintPersonName(students);

    在C#4.0之前，上面的语句是无法通过编译的，因为IEnumerable接口是不可变（invariant）的。PrintPersonName方法只能接受Person列表作为其参数。如果Person的子类想实现同样的功能就必须自己PrintName方法，或者将PrintPersonName方法定义为泛型方法：

static void PrintPersonName<T>(IEnumerable<T> persons) where T : Person
{
    foreach (Person person in persons)
    {
        Console.WriteLine(person.Name);
    }
}

    上述方法可以运行的很好，但是不如直接协变接口这样简单明了。

协变和逆变的定义

  1、不可变

    如果一个接口的泛型参数没有in或out修饰符，它就是不可变的。比如IList<T>。我们既不能这样：

IList<Person> personList1 = null;
IList<Student> stuList = null;
personList1 = stuList; // 编译错误：无法将IList<Student>隐式转换为IList<Person>

    也不能这样：

IList<Person> personList1 = null;
IList<Student> stuList = null;
stuList = personList1; // 编译错误：无法将IList<Person>隐式转换为IList<Student>

    只能这样：

IList<Person> personList1 = null;
IList<Person> personList2 = null;
personList1 = personList2;

  2、协变

    如果一个接口的泛型参数有out修饰符，它就是协变的。比如IEnumerable<out T>。我们既可以这样：

IEnumerable<Person> persons1 = null;
IEnumerable<Person> persons2 = null;
persons1 = persons2;

    也可以这样：

IEnumerable<Person> persons = null;
IEnumerable<Student> students = null;
persons = students; // 可以将IEnumerable<Student>隐式转换为IEnumerable<Person>

    但不能这样：

IEnumerable<Person> persons = null;
IEnumerable<Student> students = null;
students = persons; // 无法将IList<Person>隐式转换为IList<Student>

  3、逆变

    如果一个接口的泛型参数有in修饰符，它就是逆变的。比如IComparer<in T>。我们既可以这样：

IComparer<Person> personComparer1 = null;
IComparer<Person> personComparer2 = null;
personComparer1 = personComparer2;

    也可以这样：

IComparer<Person> personComparer = null;
IComparer<Student> studentComparer = null;
studentComparer = personComparer; // 可以把IComparer<Person>隐式转换为IComparer<Student>

    但不能这样：

IComparer<Person> personComparer = null;
IComparer<Student> studentComparer = null;
personComparer = studentComparer; // 无法将IComparer<Student>隐式转换为IComparer<Person>

    4、小结

  • 协变和逆变是一对互斥的概念
  • 只有接口和委托的泛型参数可以是协变或逆变的
  • 协变的泛型参数只能作为方法的返回值的类型
  • 逆变的泛型参数只能作为方法的参数的类型

C#中协变和逆变的设计

    在C#4.0的基础类库中，一些接口的泛型参数分别用了in或out修饰，比如：

public interface IEnumerator<out T> : IDisposable, IEnumerator
{
    T Current { get; }
}
public interface IComparable<in T>
{
    int CompareTo(T other);
}

    而另一些却没有：

public interface IList<T> : ICollection<T>, IEnumerable<T>, IEnumerable
{
    T this[int index] { get; set; }
    void Insert(int index, T item);
    void RemoveAt(int index);
}
public interface IEquatable<T>
{
    bool Equals(T other);
}

    那么问题来了：

    1、为什么 IComparable<in T> 被声明成逆变的而 IEquatable<T> 却被声明成不可变的？

    2、为什么 IList<T> 被声明为不可变的？

    简单来说，既然协变的接口的泛型参数只能作为函数的返回值，而逆变的接口的泛型参数只能作为函数的参数，那么像 IList<T> 这种 T 既要做为返回值又要作为参数的情况，自然只能声明为不可变的了。

    3、为什么一个泛型参数不可以即是协变的又是逆变的？

    简单来说是为了在编译期进行类型安全检查。

   

    本文参考：http://www.cnblogs.com/1-2-3/archive/2010/09/27/covariance-contravariance-csharp4.html

鲜花
握手
雷人
路过
鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
More+
上一篇：
（水题）Codeforces-327C-MagicFive发布时间：2022-07-13
下一篇：
c++计算器后续（3）发布时间：2022-07-13
热门推荐
More+
热门话题
More+
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服（服务时间 9:00～18:00）

在线QQ客服
地址：深圳市南山区西丽大学城创智工业园
电邮：jeky_zhao#qq.com
移动电话：139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap