C++单链表两节点能否互指？为何部分写法及反转链表代码报heap-use-after-free错误

单链表没有任何规则禁止两个节点通过next指针互相存储对方地址。只要两个节点的内存是你合法申请、未被释放的，哪怕把链表做成循环链表、成环，都是完全合法的操作，不会触发任何内存错误。你遇到的heap-use-after-free（堆内存释放后使用）报错，本质和链表结构没有关系，纯粹是悬空指针的问题。

为啥你之前写的ptr1->next=ptr会报错 #

顺着代码执行流捋就很清楚：

• 这个报错的触发逻辑和你往next里写什么值完全无关。执行ptr1->next = ptr这行的本质是两步操作：先顺着ptr1存的地址找到对应的内存块，再给这个块里的next成员赋值。如果这步的时候，ptr1指向的y节点内存已经被代码提前释放了——哪怕你往next里写的是NULL，只要你对这块已释放的内存做写操作，内存检测工具就会报heap-use-after-free。
• 你加上ptr->next = NULL之后不再报错，是因为调整了代码顺序：你在所有节点内存都未被释放的状态下做赋值操作，不再提前释放y节点还留着悬空的ptr1指针去写已回收的内存。你之前的报错根本不是“两个节点不能互指”导致的，是代码内存管理逻辑混乱的问题。

反转链表代码报错的真实原因 #

你写的那段反转逻辑触发报错，和“互指”完全无关，是实打实的代码bug：

• 没有处理边界场景：如果链表长度小于2（比如只有head一个节点，或者head的next就是NULL），你代码里强行执行b = head->next->next，本质是访问NULL指针的成员。当NULL附近的地址刚好落在之前被释放的堆内存区域时，检测工具就会报heap-use-after-free。哪怕链表长度是2，走完循环后，你也没有把原来的头节点（现在应该是反转后链表的尾节点）接到链表尾部，最终返回的结构是两个孤立的断节点，根本不是合法的反转链表结构。这种断链会导致部分节点的内存泄漏，泄漏的内存块被内存分配器重新分配给其他逻辑后，你再用旧的节点指针访问时，也会触发同类报错。
• 写了无意义的空语句：head->next; 这行代码单独存在，既没有赋值操作、也没有条件判断，对程序运行没有任何作用。

你不需要遍历到链表末尾的设定是完全没问题的：只要指针指向的内存合法，你想怎么指就怎么指，检测工具不会因为你提前指向了某个节点就报错。

内容的提问来源于stack exchange，提问作者Shivansh Bhardwaj