charat 越界返回什么-1?_软构3-1笔记

这一章因为之前就知道很多，所以少写一些

Java有一些基本数据类型，包括int、long、boolean、double、char

还有对象数据类型，例如String、BigInteger

注意基本数据类型的第一个字母小写，对象数据类型第一个字母大写

基本数据类型只有值没有ID，不可变，在栈中分配内存，代价低

基本数据类型既有ID也有值，在堆中分配内存，代价昂贵

Java中有将基本类型包装为对象类型的机制，例如int变为Integer。通常是在定义容器类型的时候使用它们，因为容器类型操作的元素要求是对象类型，所以需要包装。一般情况下尽量避免使用，因为会降低性能。这种转换一般是自动的。

Java是静态类型语言，也就是说在编译的时候已经知道了所有变量的类型，其中没有显式地标识的数据类型也能够推理出，比如int+int肯定还是int。在编译阶段进行类型检查

而动态类型语言是在运行阶段进行类型检查

对于捕获bug来讲，静态检查优于动态检查又肯定比无检查好的多。

静态检查：可再编译阶段发现错误，避免了将错误带入到运行阶段，可提高程序正确性/健壮性，能够检查出的错误包括语法错误、类名/函数名错误、参数数目错误、参数类型错误、返回值类型错误

动态检查检测的错误包括：非法的参数值、非法的返回值、越界、空指针

静态检查主要是关于类型的检查，而不考虑值；动态检查是关于值的检查

诸如自动整除、越界、浮点特殊值等情形是动态检查也无法检查出来的

改变一个变量：将该变量指向另一个值的存储空间

改变一个变量的值：将该变量当前指向的值的存储空间中写入一个新的值

不变性质是重要的设计原则。不变数据类型：一旦被创建，其值不能改变。如果是引用类型，也可以是不变的：一旦确定其指向的对象，不能再被改变指向其他对象。

可以用final修饰来表明是不变的。如果编译器无法确定final变量不会被改变也会提示错误。

所以，尽量使用final变量作为方法的输入参数、作为局部变量

另：final类无法派生子类，final方法无法被子类重写

String是不可变的，但StringBuilder是可变的。

使用不可变类型，对其频繁修改会产生大量的临时拷贝，需要垃圾回收。可变类型就是为了减少这种拷贝来提高效率的，也适用于在多个模块之间共享数据。相比之下，不可变类型更安全，在其他质量指标上表现更好。可变性使得难以理解程序正在做什么，更难满足方法的规约。

通过防御式拷贝给客户端返回一个全新的对象可以避免出事，但是大部分时候该拷贝不会被客户端修改，可能造成大量的内存浪费。如果使用不可变类型，则节省了频繁复制的代价。

使用局部变量不会涉及共享，只有一个引用，所以很安全。如果有多个引用（别名），使用可变类型就非常不安全。

快照图：用于描述程序运行时的内部状态、便于程序员之间的交流、便于刻画各类变量随时间变化、便于解释设计思路。

具体这个图的画法，总结一下大概就是可变的用单线不可变的用双线。

对于对象来讲，引用和值的可变性完全是不相关的。

List、Set、Map以及迭代器等都特别熟悉了，不再赘述。

可变的类也可以被包装器包装成不可变的，比如Collections.unmodifiableList()将可变的List包装成一种只能看的像List的东西。这种“不可变”是在运行阶段获得的，编译阶段无法据此进行静态检查。

空指针null和空的字符串或者空的数组不一样。非空的collection可以包含null值。对于方法的参数，null被隐式地禁止，如果允许接收null作为参数和返回值应该显式地进行声明。但总而言之，null不是什么好东西，会带来麻烦和安全问题，所应尽量避免。