《 Java 编程思想》CH05 初始化与清理
用构造器确保初始化
在 Java 中，通过提供构造器，类的设计者可确保每个对象都会得到初始化。Java 会保证初始化的进行。构造器采用与类相同的名称。
- 由于构造器的名称必须与类名完全相同，所以“每个方法首字母小写”的风格在这里不适用。
- 构造器方法可以有参数，这样可以在初始化对象时提供实际参数。
- 不接受任何参数的构造器叫做“默认构造器”。
- 构造器一种特殊类型的方法，它没有返回值
方法重载
因为可以要用多种方式来创建并初始化一个对象，所以就需要多个构造器，而构造器的名称又需要和类名相同，所以必须允许方法名相同而形式参数不同的构造器存在，所以 Java 中有方法重载。
class Rock {
Rock() {
// 默认构造器
}
Rock(int i) {
// 带参数的构造器
System.out.println("i=" + i);
}
void print() {
System.out.println("i = null");
}
void print(int i) {
System.out.println("i = " + i);
}
}
// 初始化
Rock r1 = new Rock(); // 调用默认构造器
Rock r2 = new Rock(1); // 调用带参数的构造器
r2.print();
r2.print(1);
区分重载方法
方法签名是由方法名和参数类型列表构成的，所以用参数类型列表区分重载方法。不能用返回值区分重载方法
设计基本类型的重载
由于基本类型可能会从一个“较小”的类型自动提升为一个“较大”的类型，所以在重载方法中需要特别注意：
- 常数值当作
int处理 - 实参的数据类型小于形参的数据类型时，会自动提升
- 对于 char 类型，如果找不到以 char 作为形参的方法的话，会把 char 类型提升成 int 类型
- 如果实参大于形参的话，需要显式的强制转换否则会报编译错误
默认构造器
- 默认构造器是一个没有形式参数的构造器，其作用是创建一个“默认对象”
- 如果类中没有构造器，编译器会自动创建一个默认构造器
- 如果类中已经有了一个构造器了，编译器则不会自动创建默认构造器
this 关键字
由于同一类型的对象都可以调用相同的方法，为了在方法中区分不同的对象，会把对象的引用作为参数传递给方法，a.fun(1)在编译器内部会被翻译成ClassName.fun(a, 1)，我们可以通过this关键字在方法中访问到对象的引用。
- 在方法内部调用同个类的另一个方法不需要使用
this,直接调用即可。 - this 可以在方法内部作为参数传递给另一个方法，也可以作为返回值（可以构造出链式操作）
在构造器中调用构造器
- 可以利用 this 来实现在构造器中调用构造器，这样可以避免重复代码。
- this 在一个构造器中只能调用一次构造器
- 必须将构造器置于最开始处，否则编译器会报错
public class Flower {
int petalCount = 0;
String s = "initial value";
Flower(int petals) {
petalCount = petals;
System.out.println("int arg ,petalCount = " + petalCount);
}
Flower(String ss) {
s = ss;
System.out.println("string arg ,s = " + s);
}
Flower(String s, int petals) {
this(petals);
// this 只能调用一次构造器
this.s = s;
System.out.println("string & int arg, s = " + s + ", petalCount = " + petalCount);
}
Flower() {
this("hello", 24);
}
public static void main(String[] args) {
Flower flower = new Flower();
System.out.println("flower.petalCount = " + flower.petalCount);
System.out.println("flower.s = " + flower.s);
}
}
// int arg ,petalCount = 24
// string & int arg, s = hello, petalCount = 24
// flower.petalCount = 24
// flower.s = hello
static 的含义
static 方法就是没有 this 的方法，在 static 中不能调用非静态方法，但是反过来可以。
清理：终结处理和垃圾回收
- 对象可能不会被垃圾回收
- 垃圾回收不等于“析构”
- Java 未提供“析构函数”或相似的概念，要做类似的清理工作，必须手动创建一下执行清理工作的普通方法
- 垃圾回收只与内存有关
- 对与垃圾回收有关的任何行为来说（尤其是 finalize() 方法），它们必须同内存及其回收相关
- finalize() 的需求通常是用于一种特殊情况，即通过某种创建对象方式以外的方式为对象分配了存储空间，这种情况主要发生在使用了“本地方法”的情况下，本地方法是一种在 Java 中调用非 Java 代码的方式。如在非 Java 代码中调用了 malloc，为了释放内存，我们需要在 finalize() 中调用对应的本地方法进行 free。
- finalize() 方法的执行机制：一旦垃圾回收器准备释放对象占用的存储空间，首先调用其 finalize() 方法，并且在下一次垃圾回收动作发生时，才会真正回收对象占用的内存。
你必须实施清理
Java 中没有用于释放对象的 delete，因为垃圾回收器会自动帮你释放存储空间，因此 Java 中没有析构函数。但是垃圾回收不能完全代替析构函数，如果希望进行除释放存储空间之外的清理工作，我们需要明确调用某个 Java 方法。例如某个类打开了一个文件，垃圾回收不能自动帮我们关闭这个文件。为什么这个工作不能有 finalize() 方法来完成呢，原因其实在上面已经说明了，对象可能不会被垃圾回收，也就是说 finalize() 方法可能永远都不会被调用。
如果 JVM 没有面临内存耗尽的情况，它是不会浪费时间去执行垃圾回收以恢复内存的。
终结条件
虽然我们不能用 finalize() 方法来进行“清理”，但是我们可以利用它验证某个对象的终结条件。还是刚才那个打开文件的例子，假设在文件没有关闭的时候，垃圾回收将对象回收了，这就会产生一些非常难找的 bug。而 finalize() 可以帮助我们发现这种 bug。
class Book {
boolean checkedOut = false;
Book(boolean checkOut) {
checkedOut = checkOut;
}
void checkIn() {
checkedOut = false;
}
protected void finalize() {
if (checkedOut) {
System.out.println("Error: checked out");
}
// super.finalize();
}
}
public class TerminationCondition {
public static void main(String[] args) {
Book novel = new Book(true);
novel.checkIn();
new Book(true);
System.gc();
}
}
// Error: checked out
如上面这个例子，我们希望 Book 在被回收前已经 checkIn 了，所以我们在 finalize() 中写了一个条件语句来判断。
-
System.gc()强制 GC - 应该总是假设基类的 finalize() 也需要做某些时间，所以我们应该在 finalize() 函数的末尾加入
super.finalize();
垃圾回收器如何工作
垃圾回收器会提高对象在堆上创建的速度，这是因为 Java 的堆的实现与 C++ 的不同，其更像是一个传送带，每分配一个对象，它就往前移动一格，所以“堆指针” 只是简单的移动到尚未分配的空间，这意味 Java 中在堆上的分配速度非常快。当然，如果只是简单的像传送带一样工作的话，Java 的堆会占用大量的虚拟内存，进而导致频繁的页面调度，并可能会导致内存资源耗尽，因此需要有垃圾回收器的介入。垃圾回收会一边回收空间一边对堆进行“紧凑”操作。
几种常见的垃圾回收机制：
- 引用计数：一种简单但比较慢的垃圾回收机制。
- 每个对象都有一个引用计数器，当引用连接对象时，引用计数加一，当引用离开作用域或被置 null 时，引用计数减一。
- 这种方法无法处理“循环引用”的情况。
- 停止-复制（stop-and-copy)：
- 其依据的思想是：对任何“活”的对象，一定能最终追溯到其存活在堆栈或静态存储区域之中。因此，可以从堆栈和静态存储区开始，遍历所有的引用，并递归查找该对象所包含的所有对象，即可找到所有“活”的对象。
- 该机制会先暂停程序的运行，然后将所有存活的对象从当前堆复制到另一个堆，然后更新引用
- 当对象被复制到新的堆中时，没复制的则相当于被回收了，同时可以实现“紧凑”的目标。
- 该机制会有以下两个缺点：
- 需要两个堆，进而需要维护比之前大一倍的空间
- 如果只有少量垃圾甚至没有垃圾，而这时如果进行垃圾回收的话，开销太大了。
- 标记-清扫（mark-and-sweep)：
- 与 stop-and-copy 机制依据的思想是一样的也是，用同样的方式找到“活”的对象
- 每当它找到一个“活”的对象，就会给该对象一个标记，这个过程中不会回收任何对象。只有当全部标记工作完成时，才会进行清理。
- 清理的过程中，没有被标记的对象被释放，但不会做任何复制动作。
- 为了避免存储空间的“碎片化”，JVM 需要做紧凑操作
JVM 中采用的垃圾回收机制：
- 一种结合的 stop-and-copy 和 mark-and-sweep 的自适应垃圾回收算法
- 内存分配以较大的“快”作为单位，较大的对象可以独占一个块。每个块都有相应的代数（generation count）来记录它是否存活。
- 垃圾回收会对上次回收操作之后新分配的快进行整理，这样有助于解决有大量短命对象的情况。
- 垃圾回收机制会定期进行完整的清理——大型对象仍然不会被复制（只是其代数会增加），而那些含有大量小型对象的快会被复制并整理。
- 当只有少量或没有垃圾产生时，则转为使用 mark-and-sweep 算法。
Java 中 JIT（Just-In-Time）技术：
这种技术可以把程序全部或部分翻译成本地机器码，而不是通过 JVM，进而提升程序的运行速度。
当需要装载某个类时（第一次创建这个类时），编译器会找到其.class 文件，然后将该类的字节码装入内存，此时有两种做法：
- JIT 直接编译所有代码，但这个做法会有两个缺点：
- 加载动作分散在整个程序中，累加起来要话更多时间
- 可能会增加可执行代码的长度，进而导致页面调度
- 惰性评估（lazy evaluation）：，即 JIT 只在必要时才编译，这样不会执行的代码就不会被 JIT 所编译。
成员初始化
Java 尽力保证：所有变量在使用前都能得到适当的初始化。
局部变量没有默认初始值，如有在未初始化前使用它会报错编译错误，而类变量则有默认初始值。
指定初始化
Java 允许在定义类成员变量的时候为其赋值进行初始化。非基本类型也可以，同时可以使用已经函数或已经初始化好的变量进行初始化，但要保证初始化顺序的正确。
public class InitialValues {
boolean t = false;
char c = 'a';
byte b = 1;
short s = 2;
int i = func(s);
long l = 4 + i;
float f = (float)5.0; // 浮点数字面量是 double 类型的
double d = 6.0;
String reference = new String("hello world"); // 非基本类型也可以
int func(short s) {
return s*2;
}
}
构造器初始化
- 无法阻止自动初始化的进行，它将在构造器之前执行。
- 类变量的定义顺序决定了初始化的顺序
- 静态数据的默认值与类变量一致
- 对于静态变量，Java 可以将多个初始化语句组合成一个静态块，其和静态变量初始化一样在类加载时执行。顺序与定义时的顺序相同
- 对于非静态变量，Java 中也可以将多个初始化语句组成一个块，在实例初始化执行。
- 对于以上两种块，既可以可以把它当成一条初始化语句来看待。
public class InitialValues {
boolean t = false;
char c = 'a';
byte b = 1;
short s = 2;
int i = 3;
long l = 4;
float f;
double d;
String reference;
{
f = (float) 1.0;
d = 2*f;
reference = new String("hello");
reference = reference + f + d;
}
static {
System.out.println("hello");
}
static int a;
static {
System.out.println("A is " + a);
a = 2;
}
}
对象的创建过程：
- 第一次创建类或者访问其静态数据或方法，JVM 会加载其 .class 文件，此时执行所有静态初始化（按定义的顺序执行）。
- 当 new 该类时，首先会在堆上分配空间，因为堆在分配前被置零了，所以本类型的默认值都是 0，非基本类型的引用的默认值则是 null。
- 按顺序执行非静态的初始化
- 执行构造器
数组初始化
数组是同类型的、用一个标识符名称封装到一起的一个对象序列或基本类型数据序列。
定义方式：
int[] a; //建议使用这种
int a[]; //这样也可以， 但是不能指定数组的类型。`int a[3];` 这样是不允许的
int[] a;这样只是定义了一个数组的引用，我们可以使用new来创建一个数组，也可以直接初始化数组：
int[] a = new int[3]; // 使用 new 来创建一个数组，这时真实数据会分配在堆中，所以默认值都为“零”
int[] b = {1, 2, 3}; // 直接初始化一个长度为3的数组
Integer[] c = new Integer[3]; // 创建一个对象数组，保存引用，这时初始值都为 null
Random rand = new Random(2);
int len = rand.nextInt(20);
int[] c = new int[len]; // 长度不一定要是一个字面值，可以是变量
数组初始化的坑点：
InitialValues initialValues = new InitialValues();
initialValues.printInitialValues();
String[] stringArray = {"hello", "world"};
// initialValues.printStringArrary({"hello", "world"}); // 编译错误
initialValues.printStringArrary(stringArray);
initialValues.printStringArrary(new String[]{"hello", "world"}); //正确打开方式
int[] intArray = {1, 2, 3, 4};
// initialValues.printIntArray({1, 2, 3, 4}); // 编译错误
initialValues.printIntArray(intArray);
initialValues.printIntArray(new int[]{1, 2, 3, 4});
可变参数列表
在方法中，用ClassName... ArgName的形式可以定义可变参数列表，在方法中，ArgName 本质上是一个数组。在可变列表中可以使用任何类型，包括基础类型。这里传入基本类型时，没有依赖自动装包和解包，这意味着，ClassName 为 int 时，ArgName 是一个 int[]，而不是 Integer。在重载方法时，应该只在一个方法中使用可变参数列表
static void printArray(Object... args) {
for(Object arg: args) {
System.out.print(arg + " ");
}
System.out.println();
}
static void f(int required, int... args) {
System.out.println("Required: " + required);
for(int i: args) {
System.out.print(i + " ");
}
System.out.println();
}
public static void main(String[] args) {
printArray(1, 2, 3, 4, 5);
f(1);
f(1, 2, 3);
Integ
}
枚举类型
- 按照命名习惯，枚举值一般用全大写字母
- 为了使用 enum，需要创建一个该类型的引用
- enum 会自动创建一些实用的函数，如
toString()显示其名称，ordinal()表示声明顺序 - enum 适合与 switch 一起使用
enum EnumDemo {
HELLO, WORLD,
};
EnumDemo e1 = EnumDemo.HELLO;
System.out.println(e1); // 自动调用toString()
System.out.println(e1.ordinal());
for(EnumDemo e: EnumDemo.values()) {
System.out.println("EnumDemo: " + e + " ordinal " + e.ordinal());
}
// HELLO
// 0
// EnumDemo: HELLO ordinal 0
// EnumDemo: WORLD ordinal 1
本文首发于Code & Fun
