c#4.0——泛型委托的协变、逆变
2010-06-22 09:02
369 查看
在编程语言中,“协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型。“逆变”则是指能够使用派生程度更小的类型。
在 .NET Framework 4 和 Visual Studio 2010 中,C# 和 Visual Basic 都支持在泛型接口和委托中使用协变和逆变,并允许隐式转换泛型类型参数。
如果泛型接口或委托的泛型参数声明为协变或逆变,则将该泛型接口或委托称为“变体”。C# 和 Visual Basic 都允许您创建自己的变体接口和委托。
在匹配方法签名和委托类型方面,非泛型委托也支持协变和逆变。这样,您不仅可以为委托指派具有匹配签名的方法,而且可以指派这样的方法:它们返回与委托类型指定的派生类型相比,派生程度更大的类型(协变),或者接受相比之下,派生程度更小的类型的参数(逆变)。
实例首先定义一个接口IColor及两个派生类
public interface IColor { } public class Red : IColor { } public class Blue : IColor { }
定义ColorDemo类用来写展示协变与逆变的逻辑
public class ColorDemo{}
编写具体实现
public class ColorDemo { //协变委托 private delegate void CovarianceDelegate<out T>(); //逆变委托 private delegate void ContravarianceDelegate<in T>(); private static string colorInfo; public void CoreMethod() { //协变 CovarianceDelegate<IColor> a1 = ColorMethod; Invoke(a1); CovarianceDelegate<Red> a2= RedMethod; Invoke(a2); a1 = a2; Invoke(a1); //逆变 ContravarianceDelegate<Red> b1 = RedMethod; Invoke(b1); ContravarianceDelegate<IColor> b2 = BlueMethod; Invoke(b2); b1 = b2; Invoke(b1); } private void Invoke(dynamic invokeObj) { Console.WriteLine("invokeObj类型为:" + invokeObj.GetType().Name); invokeObj.Invoke(); } public void RedMethod() { colorInfo = "我现在是红色"; Console.WriteLine(colorInfo); } public void BlueMethod() { colorInfo = "我现在是蓝色"; Console.WriteLine(colorInfo); } public void ColorMethod() { colorInfo = "我现在是无色"; Console.WriteLine(colorInfo); } }
运行结果
相关文章推荐
- C#深入学习:泛型修饰符in,out、逆变委托类型和协变委托类型
- <转>C# 4.0 为泛型编程引入了 协变 和 逆变 支持,这是个不错的福利,能省掉以往的一些麻烦。不过当前(Beta2)仅支持泛型接口和泛型委托。
- 泛型委托的逆变和协变
- <转>C# 4.0 为泛型编程引入了 协变 和 逆变 支持,这是个不错的福利,能省掉以往的一些麻烦。不过当前(Beta2)仅支持泛型接口和泛型委托。
- c#4.0泛型接口和泛型委托的协变和逆变
- 第五节:泛型(泛型类、接口、方法、委托、泛型约束、泛型缓存、逆变和协变)
- [译]委托和接口泛型参数类型的协变和逆变
- c#打包文件解压缩 C#中使用委托、接口、匿名方法、泛型委托实现加减乘除算法 一个简单例子理解C#的协变和逆变 对于过长字符串的大小比对
- vs2010——泛型委托的协变、逆变
- c# 委托 协变和逆变
- c#4.0新特性之(三)协变与逆变
- C#4.0新特性之(三)协变与逆变
- asp.net 泛型的 协变与逆变
- 委托中的协变和逆变(C# 编程指南)
- .NET 4.0中的泛型的协变和逆变
- C# 泛型的协变和逆变
- c#4.0新特性之协变与逆变
- c#中泛型的协变与逆变:<in T>详解
- iOS 关键字 及 泛型的使用 和 协变、逆变
- 委托的匿名方法,以及在协变与逆变中的应用