子定 型课件讲述.pdfVIP

  1. 1、本文档共60页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
PPT模板集编辑说明 本模板文件只是整个模板集的一部分 ,包含各种风格和用途,后面也会一 直陆陆续续的更新,这是模板适合多 个场合,按照需要获取,使用灵活方 便,排版及各个字体限制已经设置好 ,可以直接使用也可以自动以使用 2020年 精选资料合集 1 第10章 子定型 • 子定型是类型上的一种关系,该关系隐含一 个类型的值可以代替另一个类型的值 • 和子定型有关的语言概念是记录、对象及依 赖于子类型关系的各种多态性 • 本章考虑子定型和体现子定型在程序设计中 作用的一些语言概念 2020年 精选资料合集 2 第10章 子定型 本章的主要内容 • 带记录和子定型的简单类型化演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模 型 2020年 精选资料合集 3 10.1 引 言 子定型出现在许多程序设计语言中 • Fortran语言 – 整型和实型 (浮点)表达式混合写出 – 整数到实数的转换有一些典型的子定型性质 • Pascal语言 – 子界[1..10]是整数的子区间 • 类型化面向对象语言 – 子类型的对象可以用来代替任何超类型的对象 2020年 精选资料合集 4 10.1 引 言 • 包容 – 在大多数类型化程序设计语言中,一个原则是: 当两个类型相等时,若表达式属其中一个类型, 则它同时也属另一个类型 – 有了子定型后,则用叫做 “包容” 的子定型性 质来代替这个原则: 如果A 是B 的子类型,那么类型A 的表达式也 有类型B – 如果A 是B 的子类型,那么可以用A 的元素代替B 的元素 2020年 精选资料合集 5 10.1 引 言 • 记录类型 – 记录类型R :有整型成员a和布尔型成员b , 表达式r.a和r.b都是允许的 – 记录类型S :仅有整型成员a ,s.a是合法的 – 在类型S 的元素上有意义的操作,在类型R 的元素 上也都有意义 – 包含类型S 的记录的任何表达式中,可以安全地 使用类型R 的记录去代替而不会发生类型错误 – R是S 的子类型 2020年 精选资料合集 6 10.1 引 言 • 记号A<:B将用来表示A 是B 的子类型 • 断言A<:B 的含义有两种一般的观点 1、类型A 的值的每种表示都是类型B 的值的一种表 示 2、类型A 的值的每种表示都可以按某种 “标准”的 方式转换成类型B 的值的一种表示 • 本章观点 一种语言和它的子定型性质可以由一组规则来定义 • 子定型是类型之间的关系,而继承性是实现 2020年 精选资料合集 7 之间的关系 10.2 有子定型的简单类型化演算

您可能关注的文档

文档评论(0)

159****1262 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档