【软件构造】ADP + OOP——三、数据类型与类型检验

最新推荐文章于 2024-06-27 00:30:43 发布

Linny_m

最新推荐文章于 2024-06-27 00:30:43 发布

阅读量213

点赞数

分类专栏：软件构造

本文链接：https://blog.csdn.net/qq_52979026/article/details/118500877

版权

本文详细探讨了数据类型在编程语言中的角色，包括基本数据类型和对象数据类型。同时，阐述了静态和动态类型检查的差异，强调静态类型检查在提高程序正确性和健壮性方面的优势。此外，文章还讨论了不变性的重要性，并介绍了如何在可变与不可变类型间做出选择。最后，提到了快照图在理解和分析程序运行状态中的作用，以及数组和聚合类型的应用。

摘要由CSDN通过智能技术生成

ADP + OOP

三、数据类型与类型检验

阅读资料：

MIT 课程阅读01-静态检查

MIT 课程阅读08-可变性与不变性

1、编程语言中的数据类型

基本数据类型primitive types

int（范围 $±231 \pm 2^{31}$ ）
long （范围 $±263 \pm2^{63}$ ）
boolean（true/false）
double（浮点数）
char（单个字符，如‘A’）

对象数据类型object types

String 表示一个字符序列
BigInteger 表示任意大小的整数

根据java的规定，原始类型是小写的，对象类型以大写开头

基本数据类型	对象数据类型
int, long, byte, short, char, float, doule, boolean	Classes, interfaces, arrays, enums, annotations
只有值，没有ID，即与其他值无法区分	既有ID，也有值
immutable 不可变的	有的mutable，有的immutable
在栈stack中分配内存