编程语言中包含基本数据类型如int、long、boolean等，以及对象类型如String。静态类型检查在编译时进行，关注语法和类型匹配，而不涉及值。动态检查则在运行时检查值的相关问题，如除以零等异常情况。Immutability指的是数据创建后不可变，final关键字用于确保类、变量或方法的不可变性。
- Data type in programming languages
基本数据类型：int、long、boolean、double、char
对象数据类型：例如String、BigInteger
- Static and dynamic data type checking
静态检查：编译阶段进行检查
包括：语法错误、类名（函数名）错误、参数数目错误、参数类型错误、返回值类型错误
动态检查：运行阶段的时候进行检查
包括：非法的参数值（比如分母为0）、非法的返回值（区别返回值类型错误)、越界、空指针
静态检查关于“类型“的检查，不考虑值。
动态检查是关于值的检查。
注意：如果分母为float和double类型的0的时候，结果为Infinity。但是int会报错（动态检查）
为什么？因为被除数为float或者double时，此时的除数0为一个非常接近于0的小数但却并非为0，故而结果为无穷大，因此结果为Infinity。
- Mutability and Immutability
改变一个变量：将该变量指向另一个值的存储空间
改变一个变量的值：将该变量当前指向的值的存储空间写入一个新的值
Immutability: 数据一旦被创建，其值是不能改变的。如果是引用类型，其指向的对象也是不可以被改变的。
可以使用final关键字.final类无法派生子类，final变量无法改变值、引用，final方法无法被子类重写
扫一扫
6180
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
