JAVA中的"指针"

Java不是没有指针，而是对指针进行了伪装：使用上泛化、强化和简单化，概念上淡化和弱化。具体描述如下：

      C++中可以有对象类型的变量和对象指针类型，两者的区别如下： 

Cpp代码  

1. Object oo = Object();   
2. Object * oop = new Object();   

 Object oo = Object();  Object * oop = new Object(); 

       也就是说当使用new方式时，是动态为对象分配内在并将地址赋给oop这个指针变量。

      JAVA中只有一种相关类型：对象类型，可是它的表现形式却是这样的：

Java代码  

1. Object oo = new Object();   

 Object oo = new Object(); 

      比较一下，原来它就是使用了C++的动态内在分配方式创建了一个对象，并把地址返回给了oo变量，也就是说oo本质上就是一个指针变量。引申一下：JAVA中的对象类型本质上应该叫做“对象指针”类型。那么传统的对象类型呢？在JAVA里已经不见了踪影！

      既然没有了传统的对象类型，那么对象指针变量前面的*也就可以不要了。对象指针变量也就可以简称为对象变量了，反正也不会和其它概念混淆！所有的对象变量都是指针，没有非指针的对象变量，想不用指针都不行，这就是指针的泛化和强化。

      不叫指针了，就叫对象变量，这就是概念上的淡化和弱化。没有了指针的加减运算，也没有了*、->等运算符，这是对指针的简单化。

      这可以从很多方面得到验证。

      首先，JAVA强调所有的对象赋值和传递都是引用，解释如下： 
      

Java代码  

1. Object a=new Object();  

Object a=new Object();

       并不是将新生成的对象赋给a，a是对新生成对象的引用：     

Java代码  

1. Object a=new Object();   
2. Object b;   
3. b=a;   

Object a=new Object(); Object b; b=a; 

      b并不是一个新对象，它是对a对象的引用。好复杂啊！
      其实呢，a是指针，b也是指针，将a的值赋给b，也就是将a所存储的地址赋给b，b自然指向了a所指向的对象。

      其实，JAVA强调两个对象的相等比较不是比较两个对象的值是否相同，是比较两个对象是不是相同的引用。解释如下： 

Java代码  

1. Object a=new Object();   
2. Object b=a;   

Object a=new Object(); Object b=a; 

       a==b为真，两个对象引用相同。 

Java代码  

1. String a=new String("abc");   
2. String b=new String("abc");   

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＋＋）：

Cpp代码  

1. struct linktable{   
2.   int a;   
3.   float b;   
4.   struct linktable c;   
5. }   

struct linktable{   int a;   float b;   struct linktable c; } 

       是不行的，因为在定义c时需要确定它要占用的内存，struct linktable还没有定义完，没法确定，象下面这样做吧：

Cpp代码  

1. struct linktable{   
2.   int a;   
3.   float b;   
4.   struct linktable * c;   
5. }   

struct linktable{   int a;   float b;   struct linktable * c; } 

      c是指针，它占用的内存大小是固定的，与它指向的数据类型的空间无关，因此可以确定。

      再看JAVA，号称没指针也能做链表：

Java代码  

1. class linktable{   
2.   int a;   
3.   float b;   
4.   linktable c;   
5. }   

class linktable{   int a;   float b;   linktable c; } 

      其它也没什么，不是说了吗，JAVA的对象变量实质上就是指针变量，c就是个指针：linktable c; 和 struct linktalbe * c; 本质上完全相同！