每天学一点Thinking in java: 7 赋值（别名）

赋值（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