【JAVA】 赋值（别名）

赋值（assignment）

赋值是用等号运算符（=）进行的。它的意思是**“取得右边的值，把它复制到左边”**（take the value of the right-hand side(often called the rvalue) and copy it into the left-hand side(often called the lvalue)）。右边的值可以是任何常数、变量或者表达式，只要能产生一个值就行。但左边的值必须是一个明确的、已命名的变量。也就是说，它必须有一个物理性的空间来保存右边的值。举个例子来说，可将一个常数赋给一个变量（A=4;），但不可将任何东西赋给一个常数（比如不可以4=A）。

对主数据类型的赋值是非常直接的。由于主类型容纳了实际的值，而且并非指向一个对象的句柄，所以在为其赋值的时候，可将来自一个地方的内容复制到另一个地方。例如，假设为主类型使用“A=B”，那么B处的内容就复制到A。若接着又修改了A，那么B根本不会受这种修改的影响。作为一名程序员，这应成为自己的常识。

但在为对象“赋值”的时候，情况就变了。对一个对象进行操作时，真正操作的是句柄。所以倘若“从一个对象到另一个对象”赋值，实际就是将句柄从一个地方复制到另一个地方。就比如说使用c=d，那么c和d最终会指向最初只有d指向的对象。见下例：

//: operators/Assignment.java
// Assignment with objects is a bit tricky.
import static net.mindview.util.Print.*;
class Tank {
int level;
}
public class Assignment {
	public static void main(String[] args) {
		Tank t1 = new Tank();
		Tank t2 = new Tank();
		t1.level = 9;
		t2.level = 47;
		print("1: t1.level: " + t1.level + ", t2.level: " + t2.level);
		t1 = t2;
		print("2: t1.level: " + t1.level + ", t2.level: " + t2.level);
		t1.level = 27;
		print("3: t1.level: " + t1.level + ", t2.level: " + t2.level);
	}
} 
/* Output:
1: t1.level: 9, t2.level: 47
2: t1.level: 47, t2.level: 47
3: t1.level: 27, t2.level: 27
*///:~

看来改变t1的同时也改变了t2！这是由于无论t1还是t2都包含了相同的句柄，它指向相同的对象（最初的句柄位于t1内部，指向容纳了值9的一个对象。在赋值过程中，那个句柄实际已经丢失；它的对象会由“垃圾收集器”自动清除）。
这种特殊的现象通常也叫作“别名(aliasing)”，是Java操作对象的一种基本方式。但假若不愿意在这种情况下出现别名，又该怎么操作呢？可放弃赋值，并写入下述代码：
n1.level = n2.level;
这样便可保留两个独立的对象，而不是将n1和n2绑定到相同的对象。但这样做会使对象内部的字段处理发生混乱，并与标准的面向对象设计准则相悖。

将一个对象传递到方法内部时，也会产生别名现象。

//: operators/PassObject.java // Passing objects to methods may not be // what you’re used to. 
import static net.mindview.util.Print.*; 
class Letter { char c; } 
public class PassObject { 
	static void f(Letter y) { 
		y.c = ‘z’;
 	} 
	public static void main(String[] args) { 
		Letter x = new Letter();
		x.c = ‘a’; 
		print("1: x.c: " + x.c); 
		f(x); 
		print("2: x.c: " + x.c); } 
	}
/* Output: 
1: x.c: a 
2: x.c: z
 *///:~

在许多程序设计语言中，f()方法表面上似乎要在方法的作用域内制作自己的自变量Letter y的一个副本。但同样地，实际传递的是一个句柄。所以下面这个程序行：
y.c = ‘z’;
实际改变的是f()之外的对象。输出结果如下：
1: x.c: a
2: x.c: z