Java不是没有指针,而是对指针进行了伪装:使用上泛化、强化和简单化,概念上淡化和弱化。具体描述如下:
C++中可以有对象类型的变量和对象指针类型,两者的区别如下:
Object oo = Object();
Object * oop = new Object();
也就是说当使用new方式时,是动态为对象分配内在并将地址赋给oop这个指针变量。
JAVA中只有一种相关类型:对象类型,可是它的表现形式却是这样的:
Object oo = new Object();
比较一下,原来它就是使用了C++的动态内在分配方式创建了一个对象,并把地址返回给了oo变量,也就是说oo本质上就是一个指针变量。引申一下:JAVA中的对象类型本质上应该叫做“对象指针”类型。那么传统的对象类型呢?在JAVA里已经不见了踪影!
既然没有了传统的对象类型,那么对象指针变量前面的*也就可以不要了。对象指针变量也就可以简称为对象变量了,反正也不会和其它概念混淆!所有的对象变量都是指针,没有非指针的对象变量,想不用指针都不行,这就是指针的泛化和强化。
不叫指针了,就叫对象变量,这就是概念上的淡化和弱化。没有了指针的加减运算,也没有了*、->等运算符,这是对指针的简单化。
这可以从很多方面得到验证。
首先,JAVA强调所有的对象赋值和传递都是引用,解释如下:
Object a=new Object();
并不是将新生成的对象赋给a,a是对新生成对象的引用:
Object a=new Object();
Object b;
b=a;
b并不是一个新对象,它是对a对象的引用。好复杂啊!
其实呢,a是指针,b也是指针,将a的值赋给b,也就是将a所存储的地址赋给b,b自然指向了a所指向的对象。
其实,JAVA强调两个对象的相等比较不是比较两个对象的值是否相同,是比较两个对象是不是相同的引用。解释如下:
Object a=new Object();
Object b=a;
a==b为真,两个对象引用相同。
String a=new String("abc");
String b=new String("abc");
a==b为假,两个对象引用不同。
不太明白是吧?
其实呢,==的意义并没有变。a是指针,b也是指针,a、b存储的都是地址,当两个变量存储了同一个对象的地址时,这两个地址当然相等,a==b自然是真。当两个变量存储了不同对象的地址,这两个地址值当然不同,a==b自然为假。
然后,一个问题出现了,怎么生成两个完全相同的对象呢?
在Thinking in Java中用了很长的篇幅去解释clone的用法,因为只有克隆才能真正生成两个完全相同的对象--在C++中本来很简单的问题变得复杂了--不过也没什么,有利必有弊嘛,反正用的时候也不多。
最后,再看看链表的问题,用C做例子吧(可以移植到C++):
struct linktable{
int a;
float b;
struct linktable c;
}
是不行的,因为在定义c时需要确定它要占用的内存,struct linktable还没有定义完,没法确定,象下面这样做吧:
struct linktable{
int a;
float b;
struct linktable * c;
}
c是指针,它占用的内存大小是固定的,与它指向的数据类型的空间无关,因此可以确定。
再看JAVA,号称没指针也能做链表:
class linktable{
int a;
float b;
linktable c;
}
其它也没什么,不是说了吗,JAVA的对象变量实质上就是指针变量,c就是个指针:linktable c; 和 struct linktalbe * c; 本质上完全相同!