协变和逆变
来源:互联网 发布:网络共享器 编辑:程序博客网 时间:2024/05/01 11:11
什么叫协变(covariance)和逆变(contravariance)?
在编程语言的类型框架中,协变和逆变是指宽类型和窄类型在某种情况下(如参数、泛型、返回值)替换和交换的特性。简单地说,协变是用一个窄类型替换宽类型,而逆变泽则是用宽类型覆盖窄类型。看如下代码:
class Base { public Number doStuff() { return 0; }}class Sub extends Base { @override public Integer doStuff() { return 0; }}
子类的 doStuff 方法返回值的类型比父类方法要窄(Integer extend Number),此时 doStuff 方法就是一个协变方法,同时根据 Java 的覆写定义来看,这又属于覆写。那什么是逆变呢?代码如下:
class Base { public void doStuff(Integer i) { }}class Sub extends Base { public void doStuff(Number n) { }}子类的 doStuff 方法的参数类型比父类要宽,此时就是一个逆变方法,子类扩大了父类方法的输入参数,但是根据覆写定义来看,doStuff 不属于覆写,只是重载而已。
- 协变和逆变
- 协变和逆变
- 协变和逆变
- 协变和逆变
- C# 4 协变和逆变
- 委托中的协变和逆变
- c# 委托 协变和逆变
- scala中的协变和逆变
- C# 中的协变和逆变
- 什么是协变和逆变
- C# 协变和逆变
- Java协变和逆变
- 第六节:协变和逆变
- Scala之协变和逆变
- 协变和逆变之疑问
- C# 协变和逆变
- C#的协变和逆变
- C# 协变和逆变
- Android NDK 开发教程二:概述
- 打开UltraEdit,提示 “文件可能不是DOS格式”
- Android测试教程(2):测试基础
- Android OpenGL ES 开发教程(2):关于OpenGL ES
- 查看端口占用情况,定位应用程序
- 协变和逆变
- window.close() 直接关闭页面
- Asp.net(c#)实现多线程断点下载
- Google memchek 内存检测
- sqlplus登录、连接命令
- 将多层相似性度量应用在推荐系统kNN算法中
- OpenCV-图像输入输出(平滑处理)
- iphone创建空的项目(手动添加视图)
- XCode 4.2.1 项目的几个模版说明