泛型之逆变和协变总结

c#

泛型

逆变

协变

• 变的概念
• 协变（Foo<父类> = Foo<子类> ）
• 逆变（Foo<子类> = Foo<父类>）
• 逆变与协变的相互作用

变的概念

1. //父类 = 子类

   ---

2. string str = "string"; 
   

   ---

3. object obj = str;//变了 
   

   ---

协变（Foo<父类> = Foo<子类> ）

1. //泛型委托：

   ---

2. public delegate T MyFuncA<T>();//不支持逆变与协变 
   

   ---

3. public delegate T MyFuncB<out T>();//支持协变 
   

   ---

4. ---

5. MyFuncA<object> funcAObject = null; 
   

   ---

6. MyFuncA<string> funcAString = null; 
   

   ---

7. MyFuncB<object> funcBObject = null; 
   

   ---

8. MyFuncB<string> funcBString = null; 
   

   ---

9. ---

10. funcAObject = funcAString;//编译失败，MyFuncA不支持逆变与协变 
    

    ---

11. funcBObject = funcBString;//变了，协变 
    

    ---

逆变（Foo<子类> = Foo<父类>）

1. public delegate void MyActionA<T>(T param);//不支持逆变与协变

   ---

2. public delegate void MyActionB<in T>(T param);//支持逆变 
   

   ---

3. ---

4. MyActionA<object> actionAObject = null; 
   

   ---

5. MyActionA<string> actionAString = null; 
   

   ---

6. MyActionB<object> actionBObject = null; 
   

   ---

7. MyActionB<string> actionBString = null; 
   

   ---

8. ---

9. actionAString = actionAObject;//MyActionA不支持逆变与协变,编译失败 
   

   ---

10. actionBString = actionBObject;//变了，逆变 
    

    ---

11. ---

在泛型参数上添加了in关键字作为泛型修饰符的话，那么那个泛型参数就只能用作方法的输入参数，或者只写属性的参数，不能作为方法返回值等，总之就是只能是“入”，不能出。out关键字反之。

逆变与协变的相互作用

1. public interface IBar<in T> { }

   ---

2. //应该是in 
   

   ---

3. public interface IFoo<in T> 
   

   ---

4. { 
   

   ---

5. void Test(IBar<T> bar); 
   

   ---

6. } 
   

   ---

7. //还是out 
   

   ---

8. public interface IFoo<out T> 
   

   ---

9. { 
   

   ---

10. void Test(IBar<T> bar); 
    

    ---

11. } 
    

    ---

有协变能力的IFoo要求它的泛型参数（IBar）有逆变能力