通常用术语引用变量来指向一个为实例动态分配的存储空间的任何变量。例如,下面代码中的 fido: Dog fido = new Dog(); 实际上,高级语言中的所有变量都提供了一个符号指针(symbolic reference)指向一个底层的数据存储区。请看下面这段代码: int x; Dog fido; 每个变量都代表一个可以存放数据值的数据存储区。为了将来的存取(引用),我们可以用 x 存储 5 这样的整数值。用 fido 我们可以存储一个动态分配给用户定义数据类型的存储空间的底层地址(在内存中)。重点是,在两种情况下,变量 "holds" 了一个标量值。
在两种情况下,我们都可以用赋值操作存储数据值:
int x = 5; // 1. int y = x; // 2. x 的值也存在于 y 中 Dog fido = new Dog(); // 3. Dog myDog = fido; // 4. fido 的值也存于 myDog Dog spot = null; // 5. 在第二行,y 被初始化为 x 的值。第四行中,myDog 被初始化为 fido 的当前值。但是,要注重:fido 中的值并不是 Dog 的实例;而是 java 解释器对存储 Dog 实例的位置 (在内存中)的 “记忆(recollection)” 。因此,我们可以使用两个引用变量中的任何一个来存取 Dog 的这个实例。 对于对象,变量所在的上下文决定了其只是简单的求取一个对象内存地址的值还是实际启动一些功能更强的操作。当使用变量时用到了 "." 时,例如,fido.bark(),表达式的求值就包含了将对象与类定义中的相应方法绑定,也就是说,调用一个方法并执行方法中隐含的操作。但是,当象"... = fido;" 这样使用时,求值就只是简单的取地址了。 请考虑下面代码中发生在( )中的表达式求值: String sound = "Woof."; // 1. fido.bark(sound); // 2. void bark(String barkSound) {...} int numberBarks = 4; // 3. fido.bark(numberBarks); // 4. void bark(int times) {...} 在第一行,String 实例 "Woof." 被动态分配了一个存储空间并将存储地址/位置保存到 sound 中。在第二行,bark() 的参数的值是存放在引用变量 sound 中的简单标量值(内存地址),因为传入一个标量值比另外拷贝一个字符串实例更符合逻辑。也就是说,参数是存放在 sound 中的标量值的拷贝。 在第四行,bark() 参数的值是存放在 numberBarks 中的简单的标量值。在两种情况中,以参数形式传入的数据都与方法中定义的各自的参数类型匹配。而且,两种情况中,方法调用都涉及到拷贝一个数值并将拷贝传入的操作。 后一种情况中,调用过程通常称为传值调用(call by value),因为被调用方法从 int 型变量 numberBarks 中收到的是一个最终值(ultimate value) (4) 的拷贝。当参数类型为非原始类型(一个定义的类)时, 调用过程通常被称为传引用调用(call by reference),因为被调用方法收到的是一个引用值的拷贝。 下面看看参数在被调用的方法中如何被使用的。在后一种情况中,int 型参数 times 在方法中实际上被更改(递减)了:
Dog bruno = new Dog(); ... System.out.println(bruno); 此例中,println() 参数的表达式的值仅是一个引用变量(没有用 "." ),因此只是标量值被拷贝并传入。在两种情况中,上下文即在 println() 中求取最终值,为了显示都需要将结果自动转换为字符串。最终,println() 方法中(实际上是在 bruno 中的另一轮的调用之后),"."被用到了对象上,其效果是 ".toString()"。 引用参数传递调用的很重要的一点:假如一个方法接收到了一个对象的引用,它可以潜在地修改该对象的状态: class Person { ... void walkDog(Dog dog) { if (dog.barksAtEverything() && dog.tugsAtLeash()) dog.setGentle(false); } ... } 因此,在设计类时,设计者应该决定类的哪些状态变量可以被改变以及被谁改变。