LinkedList的clone方法实现为何要先将克隆对象置为初始空状态？

以下是Java中LinkedList类clone()方法的对应实现源码：

public Object clone() {
    LinkedList<E> clone = superClone();

    // Put clone into "virgin" state
    clone.first = clone.last = null;
    clone.size = 0;
    clone.modCount = 0;

    // Initialize clone with our elements
    for (Node<E> x = first; x != null; x = x.next)
        clone.add(x.item);

    return clone;
}

首先明确superClone()的本质：它调用的是Object类的本地clone方法，属于内存级按位浅拷贝，刚生成的克隆对象虽然是独立的LinkedList实例，但内部字段值和原对象完全一致：first/last指针直接指向原链表的头尾节点，size、modCount的数值也和原对象完全相同。之所以要先清空成初始空白状态再重新添加元素，核心原因有三点：

• 避免新旧链表共享底层Node节点，保证两个链表的结构完全独立。如果直接返回按位复制的对象，克隆链表和原链表会共用同一套Node节点链，后续对克隆链表做增删改操作时，修改Node的prev/next指针会直接破坏原链表的结构，完全违背克隆方法的基本独立性要求。
• 复用成熟的插入逻辑，减少冗余代码和潜在bug。把克隆对象重置为空链表后，直接调用已有的add()方法逐个插入元素，不需要单独为克隆场景写一套Node创建、指针绑定、计数更新的逻辑。add()方法本身是经过长期生产验证的成熟实现，后续哪怕LinkedList内部的节点插入逻辑迭代修改，clone方法也不需要同步调整，维护成本极低，也能避免手写节点绑定逻辑容易出现的断链、环形引用、边界场景（空链表、单节点链表）处理错误等问题。
• 保证内部状态一致性。按位复制过来的modCount是原对象的修改计数值，如果直接复用，克隆对象初始化完成后会自带一个和实际修改次数不匹配的modCount，后续用迭代器遍历的时候会无故抛出并发修改异常，重置后通过add方法累加modCount，才能保证对象内部状态和实际结构完全匹配。

注意：这个实现并没有做元素级别的深拷贝，插入时传入的x.item是原元素的引用，克隆链表和原链表还是会持有相同的元素对象，这也是Java集合类clone方法的通用约定：只保证集合本身的结构独立，不负责对集合内存储的元素做深拷贝。

内容的提问来源于stack exchange，提问作者cnidaye