随谈.net 2.0中委托的协变和逆变特性

.net 2.0中委托增加了两个特性：Covariance和Contravariance，从而在匹配方法和委托签名的时候引入了一定的弹性。这两个单词似乎是来自数学中关于矩阵的概念，颇难找到合适的词汇来翻译，这里就姑且直译为“协变”和“逆变”吧。个人感觉MSDN上的定义非常绕口，这里就不直译了，还是先来用伪代码来描述新的匹配过程吧,其实代码也不算严格的伪代码了^_^：

    }

 

           

可以看到，与之前的版本相比，.net 2.0在匹配方法和委托签名的过程中对返回类型和参数类型不再要求严格相同，增加了对如下两种情况的许可：

1． 返回类型方面（协变）

允许方法的返回类型是委托签名中定义的返回类型的继承类。如：

 

      public delegate object DemoDelegate();

    }

2． 参数类型方面（逆变）

允许方法的参数是委托签名中对应位置上参数的基类。如：

 

    public delegate void DemoDelegate(string s);

    }

两者综合起来的例子：

                      

    public delegate object DemoDelegate(string s);

    }

 

 

可能MSDN上关于这两个特性的例子只是为了从语法上描述的方便，窃以为并不是非常的合适。引入这两个特性，其本身充分迎合了软件设计中“宽进严出”的准则。但是在具体的应用中，除了作为一种代码重用的手段，我并没有找到太多的适用场景，所以一直没有认真关注过。最近在读WPF Unleashed，里面第三章提到了Contravariance,在WPF中逆变性似乎被大规模的应用，但好像也顶多只是应用的规模大而已。Google了两天，没有找到特别有意义的玩意，如果你有好的想法，还望不吝赐教。

P.S.近期偶将贴出WPF Unleashed第三章的翻译，敬请期待。可怜偶始终找不到完整版的WPF Unleashed……