XOR 链表实现的分段错误

Question

代码非常简单，也许我遗漏了一些明显导致分段错误的内容。乍一看，双向异或链表实现代码（打算）创建三个节点，并以从左到右的方式遍历它们。

#include <iostream>

using namespace std;

typedef struct node { int data = 0; struct node* npx = NULL; }n;

n *zor(n *a, n *b) {
    return (n*)((uintptr_t) a ^ (uintptr_t) b);
}

int main() {

    n *head, *a, *b;

    head = new n;
    a = new n;
    b = new n;

    head->npx = zor(NULL, a);
    a->npx = zor(head, b);
    b->npx = zor(a, NULL);

    n* ptr = head;
    while (ptr != NULL) {
        cout << ptr->data;
        ptr = zor(ptr, ptr->npx);
    }
}

我希望在遍历列表中的所有节点后输出为“000”。

Answer 1

出了什么问题

链接正确地结合了前一个指针和下一个指针。

link = previous ^ next

可惜后来next指针恢复时

ptr = zor(ptr, ptr->npx);

尝试重构下一个

next = current ^ link

而不是

next = previous ^ link

导致下一个损坏。这意味着您需要更多的簿记来跟踪之前的节点。

可能的解决方案

n* current = head; // changed name to make code match description
n* previous = NULL; // no previous at the head
while (current != NULL) {
    cout << current->data;
    n* next = zor(previous, current->npx); // need a temp so we can update previous
    previous = current; // current becomes the next's previous
    current = next; // advance current to next
}