会员
周边
众包
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
躺柒
博客园
首页
新随笔
联系
订阅
管理
随笔 - 788
文章 - 0
评论 - 17
阅读 -
49126
读编程与类型系统笔记04_类型安全
合集 - 读编程与类型系统(12)
1.
编程与类型系统读后总结与感想
2023-01-25
2.
读编程与类型系统笔记01_类型简介
2023-01-08
3.
读编程与类型系统笔记02_基本类型
2023-01-09
4.
读编程与类型系统笔记03_组合
2023-01-10
5.
读编程与类型系统笔记04_类型安全
2023-01-11
6.
读编程与类型系统笔记05_函数类型
2023-01-12
7.
读编程与类型系统笔记06_函数类型的高级应用
2023-01-13
8.
读编程与类型系统笔记07_子类型
2023-01-14
9.
读编程与类型系统笔记08_面向对象变成的元素
2023-01-15
10.
读编程与类型系统笔记09_泛型数据结构
2023-01-17
11.
读编程与类型系统笔记10_泛型算法和迭代器
2023-01-18
12.
读编程与类型系统笔记11_高级类型及其他
2023-01-19
1.
避免基本类型偏执
1.1.
把值声明为基本类型,并对其意义做一些隐含的假定时
1.1.1.
例如:使用number表示邮编
1.1.2.
例如:使用string表示电话号码
1.2.
定义类型来显式捕捉值的含义,从而避免错误解释值
1.2.1.
新类型只是简单地封装了一个数字或字符串
1.2.2.
消除由于不兼容的假定而导致的众多问题
1.2.3.
使代码的可读性变得更好
2.
实施约束
2.1.
通过构造函数实现
2.1.1.
readonly,可以保证在构造之后,值会始终有效
2.1.2.
声明为private,并通过一个getter来访问,这样就只能获取该值,不能设置该值
2.1.3.
强制使值有效
2.1.4.
构造函数不返回值
2.1.4.1.
要么完成初始化
2.1.4.2.
要么抛出异常
2.1.5.
应该仅初始化对象的成员
2.2.
通过工厂实现
2.2.1.
场景
2.2.1.1.
不想抛出异常
2.2.1.2.
想返回表示失败的值
2.2.1.3.
构造函数做不到
2.2.1.4.
构造和验证对象的逻辑很复杂
2.2.1.4.1.
构造函数不应该做太繁重的工作
2.3.
基本类型不允许我们直接施加某些限制
2.3.1.
创建新的类型
2.3.1.1.
封装额外的约束
2.3.1.2.
保证不会包含无效的值
3.
添加类型信息
3.1.
类型转换
3.1.1.
一个表达式的类型转换为另一个类型
3.1.2.
有些必须使用额外的代码来完成
3.1.2.1.
显式类型转换
3.1.3.
有些能够由编译器自动完成
3.1.3.1.
隐式类型转换
3.2.
在类型系统之外跟踪类型
3.2.1.
Eithe类型
3.2.1.1.
在赋值后,类型检查器不再知道实际的value被存储为TLeft还是TRight
3.2.1.2.
检查this.isLeft()是否为true
3.2.1.3.
getLeft()实现执行必要的检查
3.2.1.4.
并按照需要处理无效调用
3.2.1.5.
把值强制转换为对应的类型
3.2.1.5.1.
类型检查器忘记了我们在赋值时提供的类型
3.2.1.5.2.
正确使用时,强制转换是一种很强大的技术,允许我们改进值的类型
3.3.
常见类型转换
3.3.1.
向上转换
3.3.1.1.
将派生类解释为基类
3.3.2.
向下转换
3.3.2.1.
从父类转换到派生类
3.3.2.2.
大多数强类型语言不会自动完成
3.3.2.3.
不是安全的
3.3.3.
拓宽转换
3.3.3.1.
从固定位数的整数类型转换为另外一个更多位数的整数类型
3.3.3.1.1.
如:8位无符号整数转为16位无符号整数
3.3.3.2.
安全的
3.3.4.
缩窄转换
3.3.4.1.
将位数更多的整数转换为位数更少的整数
3.3.4.2.
具有危险性
3.4.
在运行时存储额外的类型信息
3.4.1.
包含一个is操作符
3.4.1.1.
检查某个值是否是特定类型的实例
3.4.2.
其代价是为每个对象实例在内存中存储额外的数据
3.5.
隐藏和恢复类型信息
3.5.1.
同构集合
3.5.1.1.
包含相同类型的项的集合
3.5.1.2.
不需要隐藏类型信息
3.5.2.
异构集合
3.5.2.1.
包含不同类型的项的集合
3.5.2.2.
需要隐藏一些类型信息
合集:
读编程与类型系统
好文要顶
关注我
收藏该文
微信分享
躺柒
粉丝 -
50
关注 -
0
+加关注
0
0
升级成为会员
«
上一篇:
读编程与类型系统笔记03_组合
»
下一篇:
读编程与类型系统笔记05_函数类型
posted @
2023-01-11 08:40
躺柒
阅读(
41
) 评论(
0
)
编辑
收藏
举报
刷新页面
返回顶部
登录后才能查看或发表评论,立即
登录
或者
逛逛
博客园首页
【推荐】还在用 ECharts 开发大屏?试试这款永久免费的开源 BI 工具!
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
相关博文:
·
读编程与类型系统笔记02_基本类型
·
读编程与类型系统笔记07_子类型
·
类型安全的方式
·
32.C和C++的类型安全
·
Java基础语法- 04-类型转换
阅读排行:
·
【.NET】调用本地 Deepseek 模型
·
CSnakes vs Python.NET:高效嵌入与灵活互通的跨语言方案对比
·
DeepSeek “源神”启动!「GitHub 热点速览」
·
我与微信审核的“相爱相杀”看个人小程序副业
·
Plotly.NET 一个为 .NET 打造的强大开源交互式图表库
公告
昵称:
躺柒
园龄:
2年1个月
粉丝:
50
关注:
0
+加关注
<
2025年2月
>
日
一
二
三
四
五
六
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
1
2
3
4
5
6
7
8
搜索
常用链接
我的随笔
我的评论
我的参与
最新评论
我的标签
合集
学信息系统项目管理师第4版(35)
学系统集成项目管理工程师(中项)(43)
读高性能MySQL(第4版)(21)
读发布!设计与部署稳定的分布式系统(第2版)(34)
随笔及总结(26)
读改变未来的九大算法(10)
读数据压缩入门(11)
读C#代码整洁之道(8)
读编程与类型系统(12)
读函数式编程思维(6)
读Java8函数式编程(9)
读Java实战(第二版)(20)
读Java性能权威指南(第2版)(31)
读SQL进阶教程(17)
选读SQL经典实例(23)
读SQL学习指南(第3版)(13)
读图数据库实战(11)
读程序员的制胜技(15)
读像火箭科学家一样思考(16)
读程序员的README(19)
读算法霸权(13)
读元宇宙改变一切(14)
读AI3.0(10)
读千脑智能(13)
读十堂极简人工智能课(9)
读人工不智能:计算机如何误解世界(10)
读算法的陷阱:超级平台、算法垄断与场景欺骗(20)
读所罗门的密码(21)
读天才与算法:人脑与AI的数学思维(26)
读人工智能时代与人类未来(19)
读AI未来进行式(12)
读AI新生:破解人机共存密码(18)
读人工智能全传(16)
读写给大家的AI极简史(7)
读零信任网络:在不可信网络中构建安全系统(21)
读软件开发安全之道:概念、设计与实施(17)
读软件设计的要素(7)
读构建可扩展分布式系统:方法与实践(16)
读数据湖仓(9)
读数据工程之道:设计和构建健壮的数据系统(34)
读数据质量管理:数据可靠性与数据质量问题解决之道(20)
读数据保护:工作负载的可恢复性(31)
读量子霸权(18)
读算法简史:从美索不达米亚到人工智能时代(15)
读当我点击时,算法在想什么?(7)
读DAMA数据管理知识体系指南(4)
更多
随笔档案
2025年2月(25)
2025年1月(31)
2024年12月(31)
2024年11月(30)
2024年10月(31)
2024年9月(30)
2024年8月(31)
2024年7月(31)
2024年6月(30)
2024年5月(31)
2024年4月(30)
2024年3月(31)
2024年2月(29)
2024年1月(31)
2023年12月(31)
2023年11月(30)
2023年10月(31)
2023年9月(30)
2023年8月(31)
2023年7月(31)
2023年6月(30)
2023年5月(31)
2023年4月(31)
2023年3月(36)
2023年2月(28)
2023年1月(26)
阅读排行榜
1. C#代码整洁之道读后总结与感想(599)
2. 选读SQL经典实例笔记01_检索和排序(369)
3. 读C#代码整洁之道笔记01_C#的编码标准和原则(311)
4. 读C#代码整洁之道笔记04_重构C#代码识别代码坏味道(309)
5. 学信息系统项目管理师第4版系列02_法律法规(268)
评论排行榜
1. 2023年1月随笔(11)
2. 2023年10月随笔之婚宴趣事多(2)
3. 读高性能MySQL(第4版)笔记12_查询性能优化(下)(2)
4. 读Java性能权威指南(第2版)笔记18_垃圾回收E(2)
推荐排行榜
1. 读高性能MySQL(第4版)笔记01_MySQL架构(上)(2)
2. 选读SQL经典实例笔记01_检索和排序(2)
3. 读软件设计的要素01概念(1)
4. 读AI未来进行式笔记01深度学习(1)
5. 读所罗门的密码笔记01_当人类遇见机器(1)
最新评论
1. Re:2023年10月随笔之婚宴趣事多
@gz4621 wondershare mindmaster...
--躺柒
2. Re:2023年10月随笔之婚宴趣事多
大神 思维导图用的什么软件制作的?
--gz4621
3. Re:读高性能MySQL(第4版)笔记12_查询性能优化(下)
@东围居士 建议读新版。...
--躺柒
4. Re:读高性能MySQL(第4版)笔记12_查询性能优化(下)
第4版相比第3版好像缩减了好多内容?楼主推荐第3版还是第4版
--东围居士
5. Re:读Java性能权威指南(第2版)笔记18_垃圾回收E
@屠炉 没有用第三方工具,手动的。 有几个平台直接支持markdown导入,只是要调整一下图片上传即可。...
--躺柒
点击右上角即可分享
支持DeepSeek的编程助手
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 【.NET】调用本地 Deepseek 模型
· CSnakes vs Python.NET:高效嵌入与灵活互通的跨语言方案对比
· DeepSeek “源神”启动!「GitHub 热点速览」
· 我与微信审核的“相爱相杀”看个人小程序副业
· Plotly.NET 一个为 .NET 打造的强大开源交互式图表库