单链表实现List ADT的position定义为何指向ai前驱而非ai本身？

首先附上《Data Structures and Algorithms》中的原文表述：

若列表为a1, a2, ... , an，对于单链表而言，采用略有不同的position定义会更加便捷。此处当i=2、3、…、n时，position i为指向存储了ai指针的节点的指针。

这种设计的核心目的是简化单链表的插入、删除操作，规避无前置节点指针的操作困境，具体逻辑如下：

• 单链表的每个节点仅持有指向后继节点的指针，没有前驱节点的引用，节点结构通常定义为struct Node { T data; Node* next; }。如果我们将position i定义为直接指向a_i的指针，那么当我们需要在第i位插入新节点，或者删除第i位的节点时，必须额外从头遍历链表找到a_i的前驱节点，才能修改前驱节点的next指针完成操作，这会凭空多出O(n)的时间开销。
• 当需要操作链表头节点（a_1）时，指向a_1的指针甚至没有对应的前驱节点，还要单独写一套边界处理逻辑，代码冗余度高，也更容易出现遗漏边界的bug。
• 按照书中的定义，position i本身就指向a_i的前驱节点，不管操作的是链表中间还是尾部的节点，都可以直接修改当前position指向节点的next指针完成增删，不需要额外遍历查找前驱，也不需要单独处理特殊位置的操作逻辑，代码实现会简洁很多，运行效率也更高。
• 这种定义也和工业界常用的链表迭代器底层实现逻辑对齐，本质上是用「前驱节点的next指针地址」作为位置标识，支持直接修改该地址的指向完成节点变更，不需要额外的上下文信息。

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