C# 委托之协变和逆变
2012-11-06 16:03
405 查看
C# 委托之协变和逆变
MSDN: 协变当委托方法的返回类型具有的派生程度比委托签名更大时,就称为协变委托方法。因为方法的返回类型比委托签名的返回类型更具体,所以可对其进行隐式转换。这样该方法就可用作委托。
协变使得创建可被类和派生类同时使用的委托方法成为可能。
看看下面的代码,Test1Handler只是要求返回Base类型对象即可,而Test1方法返回Derived类型对象。由于Derived继承自Base,自然可以进行隐性转换,因此这种委托方法是被允许的。这样的方式就叫协变。
改一下MSDN的表达方式:
当委托方法(Test1)的返回类型(Derived)直接或间接继承自委托签名(Test1Handler)的返回类型(Base)时,就称为协变委托方法。因为委托方法(Test1)的返回类型(Derived)可以隐式转换为委托签名(Test1Handler)的返回类型(Base)。这样该方法就可用作委托。
class Program
{
public static Derived Test1()
{
Console.Write("协变");
Console.ReadKey();
return new Derived();
}
static void Main(string[] args)
{
// 协变
Test1Handler t1 = Test1;// new Test1Handler(Test1);
Base b = t1();
}
}
public class Base { }
public class Derived : Base { }
public delegate Base Test1Handler();
MSDN: 逆变
当委托方法签名具有一个或多个参数,并且这些参数的类型派生自方法参数的类型时,就称为逆变委托方法。因为委托方法签名参数比方法参数更具体,因此可以在传递给处理程序方法时对它们进行隐式转换。
这样逆变使得可由大量类使用的更通用的委托方法的创建变得更加简单。
在下面的代码中,传递给t2的是继承自Base的Derived对象,自然在执行Test2(t2)时可以自动隐性转换为Base类型,并不会出现转换错误。这样的方式就是逆变了。
改一下MSDN的表达方式:
当委托签名(Test2Handler)的参数类型(Derived)继承自委托方法(Test2)参数类型(Base)时,就称为逆变委托方法。因为在调用委托(t2)时可以隐式将传递的参数类型(Derived)转换为委托方法(Test2)所需的参数类型(Base)。
class Program
{
static void Main(string[] args)
{
// 逆变
Test2Handler t2 = Test2;// new Test2Handler(Test2);
t2(new Derived());
}
private static void Test2(Base b)
{
Console.Write("逆变");
Console.ReadKey();
}
}
public class Base { }
public class Derived : Base { }
public delegate void Test2Handler(Derived d);
相关文章推荐
- C#委托及其有趣的协变、逆变
- C#中委托的匿名方法,及其在协变与逆变中的应用
- C# 语言特性系列(1) 委托 - 协变和逆变
- C#- -委托中的协变与逆变(变我没商量)
- 委托中的协变和逆变(C# 编程指南)
- 委托中的协变和逆变(C# 编程指南)
- 委托中的协变和逆变(C# 编程指南)
- C#深入学习:泛型修饰符in,out、逆变委托类型和协变委托类型
- c#打包文件解压缩 C#中使用委托、接口、匿名方法、泛型委托实现加减乘除算法 一个简单例子理解C#的协变和逆变 对于过长字符串的大小比对
- 委托中的协变和逆变(C# 编程指南)
- <转>C# 4.0 为泛型编程引入了 协变 和 逆变 支持,这是个不错的福利,能省掉以往的一些麻烦。不过当前(Beta2)仅支持泛型接口和泛型委托。
- <转>C# 4.0 为泛型编程引入了 协变 和 逆变 支持,这是个不错的福利,能省掉以往的一些麻烦。不过当前(Beta2)仅支持泛型接口和泛型委托。
- c# 委托 协变和逆变
- 深入理解 C# 协变和逆变
- C#笔记 -- 协变、逆变
- c#中的协变与逆变
- 深入理解 C# 协变和逆变
- c# 协变和逆变的理解
- C#高级程序设计(五)——代理中的协变和逆变
- C# 4.0新特性——“协变”与“逆变”以及背后的编程思想(转)