Java内部类this$0字段产生的一个bug

首先查看下面一段代码，我指出了问题代码的所在，读者先自己思考一下这段代码会有什么问题。

这是用clone方法完整拷贝一个二项堆（BinomialHeap）结构的代码。二项堆中包含一个内部类BinomialHeapEntry，这个内部类的对象即二项堆中的每一个结点，除了包含结点对应的关键字外，还记录父节点parent，下一个兄弟结点sibling和第一个孩子结点child三个指针。二项堆的根表通过每棵二项树根节点的sibling指针链接。

cloneBinomialTree(BinomialHeapEntry root)方法递归拷贝一个根节点（含根节点）下的整个二项树，clone方法中遍历根表中每个树根结点，拷贝对应的二项树，然后将新的head指针赋给拷贝后的新堆。

public class BinomialHeap<E> implements Cloneable {
        transient BinomialHeapEntry head; // 根表中的第一个元素
        int size;                         // 整个二项堆的大小（结点数）
 
        private class BinomialHeapEntry {
                E element;
                transient BinomialHeapEntry parent = null, child = null,
                                sibling = null;
                transient int degree = 0;

                private BinomialHeapEntry(E element) {
                        this.element = element;
                }

                // 获得孩子结点的迭代器
                private Iterable<BinomialHeapEntry> children {...}
        }

        @Override
        public BinomialHeap<E> clone() {
                // TODO Auto-generated method stub
                BinomialHeap<E> clone;
                try {
                        clone = (BinomialHeap<E>) super.clone();
                } catch (CloneNotSupportedException e) {
                        // TODO Auto-generated catch block
                        e.printStackTrace();
                        throw new InternalError();
                }
                
                BinomialHeapEntry newHead = null, curRoot = null;
                // 遍历根表
                Iterator<HeapEntry<E>> rootIt = this.roots().iterator();
                while(rootIt.hasNext()){
                        BinomialHeapEntry root = (BinomialHeapEntry) rootIt.next();
                        // 拷贝根节点下的整棵二项树
// BUG引入的地方
                        BinomialHeapEntry newRoot = cloneBinomialTree(root);
                        if(curRoot == null){
                                newHead = newRoot;
                        } else {
                                curRoot.sibling = newRoot;
                        }
                        curRoot = newRoot;
                }
                
                clone.head = newHead;
                return clone;
        }
        
        // 拷贝根节点（含根节点）下的整棵子树
        private BinomialHeapEntry cloneBinomialTree(BinomialHeapEntry root){
                BinomialHeapEntry newRoot = new BinomialHeapEntry(root.element());
                BinomialHeapEntry curChild = null;
                // 遍历根节点的所有孩子结点
                Iterator<HeapEntry<E>> childIt = root.children().iterator();
                while(childIt.hasNext()){
                        BinomialHeapEntry child = (BinomialHeapEntry) childIt.next();
                        // 递归拷贝孩子节点下的子树
                        BinomialHeapEntry newChild = cloneBinomialTree(child);
                        newChild.parent = newRoot;
                        if(curChild == null){
                                newRoot.child = newChild;
                        } else {
                                curChild.sibling = newChild;
                        }
                        curChild = newChild;
                }
                newRoot.degree = root.degree;
                return newRoot;
        }

}

　　先回顾一下Java内部类的一些知识，非静态的Java内部类作为外部类的一个成员，只能通过外部类的对象来访问，要创建一个内部类对象，也需要通过外部类对象来创建，即：outerObject.new InnerClass()。这时，所创建的内部类对象会产生名称为this$0的一个字段，该字段保存的是创建这个内部类对象的外部类对象引用，即刚才的outerObject。这个引用使得一个内部类对象可以自由的访问外部类的成员变量。

在回顾上面二项堆拷贝的代码，在调用cloneBinomialTree方法拷贝二项树时，我们试图通过new BinomialHeapEntry()来创建一个新的结点，把新的结点作为新二项堆中的结点，但事实上我们实际调用的是this.new BinomialHeapEntry()，也就是说创建的新结点中，this$0是指向老的二项堆(this)而不是新的正在拷贝的二项堆(clone)。这使得我们得到拷贝的新二项堆之后，通过新二项堆的任一结点访问和修改整个堆的信息时，修改的都是老的二项堆，最后产生了一系列奇怪的结果。

要想修复这个bug很简单，把clone方法中的BinomialHeapEntry newRoot = cloneBinomialTree(root)即红色注释下的语句，修改为BinomialHeapEntry newRoot = clone.cloneBinomialTree(root)。这样cloneBinomialTree方法中创建的结点都是通过clone对象创建，问题也就解决了。

问题其实比较简单，这确实是以后在编程中值得注意的一点：拷贝内部类对象时考虑清楚拷贝后的对象this$0字段是否指向的是你希望指向的外部类对象。