已知某非空的有表头结点双向循环链表，指针 p 指向链表中某结点，试编写算法交换p 所指结点和它的前趋结点的顺序，假设该前趋结点必定存在。该算法的 C 语言函数原型为： void Exchange(DLinkList *p);

为了实现`Exchange`函数，我们可以分两步来操作，首先找到p所指结点的前驱结点，然后交换它们的位置。以下是算法的步骤以及C语言代码实现：

1. 定义函数，接受一个指向双向循环链表的指针`p`作为输入参数。

void Exchange(DLinkList *p) {
    // ...
}

2. 初始化两个临时指针`prev`和`temp`，分别指向p的前驱和后继结点。这里需要额外处理循环链表的特点。

DLinkList *prev = p->prev;
DLinkList *temp = p->next;

// 在循环链表中，p->prev可能等于p（即最后一个元素的前驱是头结点）
if (prev == NULL || prev == p) {
    prev = head;
}

3. 更新p的前驱和后继指针，使其指向彼此。

p->prev = temp;
temp->next = p;

4. 最后，将p的原前驱结点和后继结点相连。

prev->next = temp->prev;
temp->prev = prev;

5. 完成函数，此时`p`和它前驱结点的位置已经交换了。

Exchange(DLinkList *p) {
    DLinkList *prev = p->prev;
    DLinkList *temp = p->next;

    if (prev == NULL || prev == p) {
        prev = head;
    }

    p->prev = temp;
    temp->next = p;
    prev->next = temp->prev;
    temp->prev = prev;
}