将节点移动到单链表的开头

Question

在 Pascal 中，当我有一个带有这样定义的节点的单链表时，

pNode = ^Node;
Node = record
    data : data;
    next : pNode;
end;

当我像这样遍历列表时

while y<>z do begin
        if y^.data < x^.data then begin
          { HERE I WOULD LIKE TO MOVE y IN FRONT OF X }
        end;
        y:=y^.next;
end;

其中 x 是枢轴（列表的开头），y 是“索引”，z 是列表的尾部（结尾）（是的，我正在尝试对单链表执行快速排序）。我将如何完成评论中的任务？

我做了程序insertAfter：

procedure List.insertAfter(n : pNode; var what : data);
var newn : pNode;
begin
  new(newn);
  newn^.data := what;
  newn^.next := n^.next;
  n^.next := newn;
end;

和insertInstead

procedure List.insertInstead(n : pNode; var what : data);
begin
    List.insterAfter(n, n^.data);
    n^.data:=what;
end;

同样deleteAfter(n : pNode)

procedure List.deleteAfter(n : pNode);
var q : pNode;
begin
    q := n^.next;
    n^.next := n^.next^.next;
    dispose(q);
end;

和delete(n : pNode)

procedure List.delete(n : pNode);
begin
    if n^.next <> tail then begin
        n^.data := n^.next^.data;
        deleteAfter(n);
    end
    else begin
        dispose(tail);
        tail:=n;
        tail^.next := nil;
    end;
end;

现在当我放入迭代时，而不是评论

list.insertInstead(x,y^.data);
list.delete(y);

，它不起作用，大概是因为y^.next现在没有指向与移动之前相同的节点。

所以问题是：如何将节点移动到开头，y^.next 仍然指向同一个节点？

PS.：我已经尝试过明显的：使用和辅助变量来存储移动前y的实际值，但它似乎随着y而变化。

这里是原始代码：Stack、List、Quicksort。

Answer 1

也许最简单的方法就是改变（交换）节点的值。

{ HERE I WOULD LIKE TO MOVE y IN FRONT OF X }
tmp := x^.data
x^.data := y^.data
y^data := tmp

更新：这是类似的答案：https://stackoverflow.com/a/1536046/2490538

兹德拉维姆。

Answer 2

我想我可能会看到问题所在。插入代码的第一行

 list.insertInstead(x,y^.data);

工作正常。它在 x 之后立即放置一个新节点并用 y 的数据填充它（因此您现在有效地在节点 x 之后拥有节点 y 的副本。

但我不认为第二行

 list.delete(y);

做你想做的事。它确实从列表中“删除”节点 y（如您所愿），但通过将数据从 y 之后的节点移动到 y 的位置并删除该节点来实现。所以现在 y.next 指向原始 y 之后的节点之后的节点。也许图表会有所帮助。

在 list.delete(y) 之前

 node:     ... - y - a - b - c - ... - z
 data:     ... - Y - A - B - C - ... - Z
                     ^ 
                     y.next points here (data is A)

list.delete(y)之后

 node:     ... - y - b - c - ... - z
 data:     ... - A - B - C - ... - Z
                     ^ 
                     y.next points here (data is B)
                 ^
                 y points here (data is A)

所以如果你在你的行中增加 y

 y:=y^.next;

在您的迭代循环中，您将错过测试数据 A。您可以通过删除 y:=y^.next; 来解决此问题。线。但是那行中的while循环仍然会有问题

 while y<>z do begin

因为指向节点 y 的指针不再改变（因为您删除了 y := y^.next），所以 y 永远不会等于 z。解决此问题的最简单（但可能不是最优雅）的方法可能是将行替换为

 while y^.next <>z do begin

并添加一个最终案例来测试最后一个节点。

然后主循环看起来像（未经测试）：

 while y^.next <> z do begin
         if y^.data < x^.data then begin
                 list.insertInstead(x,y^.data);
                 list.delete(y);
         end;
 end;
 if y^.data < x^.data then begin
         list.insertInstead(x,y^.data);
         list.delete(y);
 end;

或者，通过定义一个新的过程

 procedure list.moveiflessthan(x,y : pnode);
 begin
      if y^.data < x^.data then begin
              list.insertInstead(x,y^.data);
              list.delete(y);
      end;
 end;

你得到

 while y^.next <> z do
         if y^.data < x^.data then 
                 list.moveiflessthan(x,y);
 if y^.data < x^.data then
         list.moveiflessthan(x,y);

如果您到达列表末尾（我尚未检查），可能仍然会出现最终错误，但我相信您可以解决这个问题...