首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

协变、逆变与不变

型变(variance)是类型系统里的概念,包括协变(covariance)、逆变(contravariance)和不变(invariance)。这组术语的目的是描述泛型情况下类型参数的父子类关系如何影响参数化类型的父子类关系。也就是说,假设有一个接收一个类型参数的参数化类型 T 和两个类 A,B,且 B 是 A 的子类,那么 T[A] 与 T[B] 的关系是什么?如果 T[B] 是 T[A] 的子类,那么这种型变就是「协变」,因为参数化类型 T 的父子类关系与其类型参数的父子类关系是「同一个方向的」。如果 T[A] 是 T[B] 的子类,则这种关系是「逆变」,因为参数化类型 T 的父子类关系与类型参数的父子类关系是「相反方向的」。类似地,如果 T[A] 和 T[B] 之间不存在父子类关系,那么这种型变就是「不变」1。

03
您找到你想要的搜索结果了吗?
是的
没有找到

数据仓库专题18-数据建模语言IDEF(转载)

IDEF的含义是集成计算机辅助制造(Integrated  Computer-AidedManufacturing,ICAM)DEFinition。最初的IDEF方法是在美国空军ICAM项目建立的,最初开 发3种方法:功能建模(IDEF0)、信息建模(IDEF1)、动态建模(IDEF2),后来,随着信息系统的相继开发,又开发出了下列IDEF族方法: 数据建模(IDEF1X)、过程描述获取方法(IDEF3)、面向对象的设计(OO设计)方法(IDEF4)、使用C++语言的OO设计方法 (IDEF4C++)、实体描述获取方法(IDEF5)、设计理论(rationale)获取方法(IDEF6)、人-系统交互设计方法(IDEF8)、 业务约束发现方法(IDEF9)、网络设计方法(IDEF14)等。根据用途,可以把IDEF族方法分成两类:

02

如何使用StarUML画类图[通俗易懂]

此篇文档旨在介绍类图以及如何通过StarUML工具画类图。 StarUML官网下载地址:http://staruml.io/download **什么是类图** 类图用于描述系统中所包含的类以及它们之间的相互关系,帮助简化对系统的理解。 **类与接口的表现形式** 矩形框: 它代表一个类(Class)。类图分三层,第一层显示类的名称,如果是抽象类,则就用斜体显示。第二层是类的特性,通常就是字段和属性。第三层是类的操作,通常是方法或行为。前面的符号,+ 表示public,- 表示private,# 表示protected。 接口图:与类图的区别主要是顶端的<>显示。第一行是接口名称,第二行是接口方法。 在系统分析与设计阶段,类通常分为三种:实体类、控制类、边界类。 实体类:实体类来源于需求说明中的名词,如学生、商品等。 控制类:控制类一般是由动宾结构的短语(动词+名词)转化来的名词,如增加商品对应有一个商品增加类。 边界类:主要包括界面类,如对话框、窗口、菜单等。

04
领券