如何在双循环链表节点p之后正确地插入新节点s？

在双循环链表中，在节点p之后正确地插入新节点s通常需要以下几个步骤：

1. **检查头结点**：如果p是头结点，那么直接将s设置为新的头结点，并调整头指针和尾指针指向s。

2. **普通情况**：如果不是头结点，首先找到p的下一个节点next，然后更新节点p的next指针，使其指向新节点s。

3. **更新新节点**：新节点s的前驱指针设置为p，后继指针设置为next，因为双循环链表的特点，如果next不是尾节点，那么它的前驱应该是p；如果next是尾节点，那么s应该成为新的尾节点，同时头指针也要指向它。

4. **特殊情况处理**：如果s是最后一个节点并且它是尾节点，那么还需要更新尾指针。

下面是伪代码示例：

// 假设链表的结构为 Node {
//   data: 数据,
//   prev: 指向prev节点的指针,
//   next: 指向前一个节点的指针,
//   tail: 如果是尾节点，prev也指向自己
//}

if p == head and p == tail: // s作为新的头和尾
    s.prev = s.next = s; // 新节点双向链接自身
    head = tail = s;
else if p == head:        // s作为新的头
    s.next = head;
    head.prev = s;
    head = s;
else:                     // p的next之后插入s
    p.next = s;
    s.prev = p;
    if s.next != null:
        s.next.prev = s;