.NET 泛型中的逆变 和 协变

1 Interface1<string> obj1 = null;
2 
3 Interface1<object> obj2 = obj1
4 
5 // 这个赋值操作是不允许的, obj1 和 obj2是两个完全不相同的对象

 1 // 定义接口
 2 
 3 Interface Interface1<out T>{
 4 
 5 }
 6 
 7 // 在这种情况下表达式是成立的
 8 
 9 Interface1<string> obj1 = null;
10 
11 Interface1<object> obj2 = obj1

 1 // 定义接口
 2 
 3 Interface Interface1<out T>{
 4 
 5 }
 6 
 7 
 8 
 9 Interface1<string> obj1 = null;
10 
11 Interface1<object> obj2 = obj1
12 
13  
14 
15 // 如果我们在Interface1 接口中定义了一个 void Add<T>(T obj) 方法
16 
17 // 那么 obj2.Add(123)  这个语句就可以成立, 但是obj2 实际上指向是一个Interface1<string> 对象, Add 方法也只能接收一个string 的值, 那个这个方法的调用就不是安全的了, 会出现异常
18 
19 // 所以微软的协变使用out 作为关键字也是在说out 标注的参数只能用于返回不能用于输入

 1 // 如我们定义了一个委托
 2 
 3 delegate void DelegateTest <T>(T obj);
 4 
 5 // 定位委托变量
 6 DelegateTest<object> dt1 = obj =>{};
 7 
 8 // 委托DelegateTest 只有入参没有返回值
 9 // 那么我们可不可以进行下列操作呢
10 
11 DelegateTest<string> dt2 = dt1 
12 
13 // 按道理这个操作是安全的  dt1 接受一个object 类型的入参, 我们使 dt2 = dt1 那么我们调用委托的时候 dt2("abc")  "abc" 符合dt1的入参类型 object 才对的, 为什么会不行呢
14 // 这是因为 dt1  和 dt2 是两个完全不相同的委托, 和 案例1 中的情况是一样的
15 
16 // 如果我们定义委托的时候T标注为逆变这个赋值表达式就可以成立了
17 delegate void DelegateTest <in T>(T obj);
18 // 标注逆变的作用就是告诉编译器, 我这个参数只会作为入参, 不会作为返回值, 起约束作用

// 我们C# 中的  系统委托 Func 就是同时使用逆变和协变的

// Func 委托的定义
public delegate TResult Func<in T, out TResult>(T arg);

Func<object, string> fuc1 = obj => obj.ToString();
Func<string, object> fuc2 = fuc1;
            
string obj1 = fuc1(123);
object obj2 = fuc2("abc");