有序ListSet交集函数中初始化哑节点的作用是什么？

我在大学作业中需要实现一个带有intersect方法的ListSet类，该方法用于求两个有序集合的交集。我无法理解为何需要执行以下代码：

SetNode<E> head = new SetNode<>(null,null);
SetNode<E> curNode = head;

以下是我实现的intersect方法完整代码：

@Override
public void intersect(Set<E> set) {

    Iterator<E> iteratorSet = set.iterator();
    Iterator<E> thisIterator = this.iterator();

        
    SetNode<E> head = new SetNode<>(null,null);
    SetNode<E> curNode = head;

    Optional<E> optionalSet = getOptional(iteratorSet);
    Optional<E> optionalThis = getOptional(thisIterator);

    while (optionalSet.isPresent() && optionalThis.isPresent()) {
        SetNode<E> nextNode;
        int compare = optionalThis.get().compareTo(optionalSet.get());
        if(compare == 0) {
            nextNode = new SetNode<>(optionalThis.get());
            curNode.next = nextNode;
            curNode = nextNode;
            optionalThis = getOptional(thisIterator);
            optionalSet = getOptional(iteratorSet);
        }
        else if(compare < 0)
            optionalThis = getOptional(thisIterator);

        else
            optionalSet = getOptional(iteratorSet);

    }
    this.head = head.next;

}

这两行代码创建的是哑节点（哨兵节点），核心作用是简化链表构建逻辑，避免处理空链表或首个节点的特殊情况：

• 要是直接用this.head构建交集链表，会面临两种麻烦：
  1. 交集为空时，得专门写代码把this.head设为null；
  2. 找到第一个匹配元素时，需要单独初始化this.head，后续添加元素的逻辑又不一样，代码会分裂成两种分支。
• 用哑节点当临时链表的“假头部”，你只需要统一执行curNode.next = 新节点的操作，不管当前是不是第一个匹配元素，逻辑完全一致，不用额外做判断。
• 最后把this.head指向head.next，自动跳过哑节点：如果交集为空，head.next就是null，正好符合空集合要求；如果有元素，head.next就是第一个有效节点。

举个直白的例子：没有哑节点时，第一个元素要写this.head = new SetNode<>(val); curNode = this.head;，后面的元素要写curNode.next = new SetNode<>(val); curNode = curNode.next;；有了哑节点后，所有元素都用同一段代码处理，既简洁又不容易出错。

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