泛型接口的抗变和协变_.NET_编程开发_程序员俱乐部

中国优秀的程序员网站程序员频道CXYCLUB技术地图
热搜:
更多>>
 
您所在的位置: 程序员俱乐部 > 编程开发 > .NET > 泛型接口的抗变和协变

泛型接口的抗变和协变

 2017/3/29 5:35:56  醉秋风  程序员俱乐部  我要评论(0)
  • 摘要:1,泛型接口的协变如果泛型类型用out关键字标注,泛型接口就是协变的。这也意味着返回类型只能是T。泛型接口的抗变如果泛型类型用in关键字标注,泛型接口就是抗变的。这样,接口只能把泛型类型T用作其方法的输入,即方法的参数。这是泛型接口的抗变和协变的定义,那我们下面来用代码说明,直接上代码,1///<summary>2///泛型接口3///</summary>4///<typeparamname="T"></typeparam>
  • 标签:接口 泛型

1, 泛型接口的协变

  如果泛型类型用out关键字标注,泛型接口就是协变的。这也意味着返回类型只能是T。

    泛型接口的抗变

      如果泛型类型用in关键字标注,泛型接口就是抗变的。这样,接口只能把泛型类型T用作其方法的输入,即方法的参数。

这是泛型接口的抗变和协变的定义,那我们下面来用代码说明,直接上代码,

 1     /// <summary>
 2     /// 泛型接口
 3     /// </summary>
 4     /// <typeparam name="T"></typeparam>
 5     public interface IDisplay< T >
 6     {
 7         void Show(T item);
 8     }
 9 
10     /// <summary>
11     /// 实现泛型接口IDisaplay
12     /// </summary>
13     /// <typeparam name="T"></typeparam>
14     public class ShapDisplay<T> : IDisplay<T>
15     {
16         public void Show(T item)
17         {
18             Console.WriteLine("测试成功!");
19         }
20     }
21 
22     /// <summary>
23     /// 父类
24     /// </summary>
25     public class ParentClass
26     {
27     }
28 
29     /// <summary>
30     /// 子类
31     /// </summary>
32     public class SubClass : ParentClass
33     {
34     }

 

2, 上面定义了接口和实现了接口,接下来我们来测试实现了接口的类,上代码

 1     class Program
 2     {
 3         static void Main(string[] args)
 4         {
 5             // 用子类实例化泛型类(简称子类对象)
 6             IDisplay<SubClass> sub1 = new ShapDisplay<SubClass>();
 7 
 8             // 用父类实例化泛型类(简称父类对象)
 9             IDisplay<ParentClass> par1 = new ShapDisplay<ParentClass>();
10 
11             // 用父类类型接收子类对象(子类对象→父类类型)协变
12             IDisplay<ParentClass> parent = sub1;
13 
14             // 用子类类型接收父类对象(父类对象→子类类型)抗变
15             IDisplay<SubClass> sub = par1;
16 
17             Console.ReadKey();
18 
19         }
20     }

我们会发现代码行12和15会报错,编译不过,为什么呢?

原因很简单,因为我们在最上面是这样定义接口的时候,没有加out也没有加in,即泛型接口默认不会支持抗变和协变,所以编译会报错。

好,那我们接下来给泛型接口修改一下,如下代码

1 /// <summary>
2     /// 泛型接口
3     /// </summary>
4     /// <typeparam name="T"></typeparam>
5     public interface IDisplay<out T>
6     {
7         void Show(T item);
8     }

泛型前面加上out之后,会发现接口中的Show会报错,这又是为何呢?

根据泛型接口的协变,如果泛型类型用out关键字标注,这意味着返回类型只能是T。也就是说方法的返回类型应该是T,而我们Show方法中,方法的参数是T,所以不符合规定,报错。

那我们再来修改代码,如下

1     /// <summary>
2     /// 泛型接口
3     /// </summary>
4     /// <typeparam name="T"></typeparam>
5     public interface IDisplay<in T>
6     {
7         void Show(T item);
8     }

接口完全没问题,但是,囧,main方法中12行依然报错,wtf?

因为泛型类型是用in来标注的,这表示该泛型只支持抗变,12行代码是协变,所以会报错。

到此,泛型接口的抗变和协变也就解释完毕,总结如下3点,

①泛型接口,如果泛型类型前没有关键字out或者in来标注,则该泛型接口不支持抗变和协变,即只能是什么对象指向什么类型。

②如果泛型接口,泛型类型前有关键字out标注,则表示其方法的输出为T类型,也就是方法的返回值。同时该泛型接口支持协变,即,可以用父类的类型指向子类的对象。

③如果泛型接口,泛型类型前面有关键字in标注,则表示其方法的输入为T类型,也就是方法的参数。该泛型接口支持抗变,也就是可以用子类的类型指向父类的对象。

发表评论
用户名: 匿名