<p>核心是定义模板节点结构体：template<typename T> struct ListNode { T data; ListNode* next; ListNode(const T& val) : data(val), next(nullptr) {} }，直接持T实例避免指针管理问题，next必须初始化为nullptr。</p>
如何定义节点结构体并支持任意类型
单向链表的核心是节点，必须能存任意类型数据，且不破坏原有类型的构造/析构逻辑。用 T 作为模板参数，节点内直接持有一个 T 实例（非指针），避免额外内存分配和生命周期管理混乱。
常见错误是把 data 声明为 T* —— 这会导致用户必须手动 new/delete，且无法自动调用 T 的析构函数；另一个坑是忘记给 next 初始化为 nullptr，导致野指针访问。
正确写法示例：
template <typename T>
struct ListNode {
T data;
ListNode* next;
ListNode(const T& val) : data(val), next(nullptr) {}
};如何实现插入、删除、遍历等基础操作
所有操作都基于头指针 head，不设哨兵节点（简化逻辑，也避免用户误以为哨兵可被访问）。插入统一在头部（O(1)），若需尾插则额外维护 tail 指针；删除按值查找时需处理头节点特例。
立即学习“C++免费学习笔记（深入）”；
关键细节：
-
insert直接 new 新节点，把原head接到新节点的next，再更新head -
erase需区分是否删头节点：是则更新head并 delete 原头；否则需保存前驱指针，跳过目标节点 -
traverse用for (auto* p = head; p != nullptr; p = p->next)，避免 while 循环中重复写p = p->next导致漏判空
为什么析构函数必须递归或迭代释放内存
C++ 没有垃圾回收，ListNode* 是裸指针，不手动 delete 就会内存泄漏。不能依赖 RAII 自动释放 —— 因为链表本身不拥有节点的“容器语义”，它只是指针链。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
递归析构易爆栈（尤其长链表），所以推荐迭代写法：
~LinkedList() {
while (head != nullptr) {
ListNode* tmp = head;
head = head->next;
delete tmp;
}
}注意：如果用户传入的是自定义类型（如含资源的类），ListNode 析构时会自动调用 T 的析构函数，这点由编译器保证，无需额外干预。
如何支持 const 迭代和范围 for 循环
让链表支持 for (const auto& x : list)，需要提供 begin() / end() 和对应的迭代器类。简易做法是只实现 const_iterator，因为修改节点内容应通过显式接口（如 update），而非迭代器解引用赋值。
要点：
-
const_iterator内部只存ListNode<T>*，operator*返回const T& -
begin()返回const_iterator(head)，end()返回const_iterator(nullptr) - 比较两个
const_iterator只比指针值，不涉及T的相等判断
没实现非 const 迭代器时，别忘了把 begin()/end() 标为 const 成员函数，否则范围 for 无法调用。
链表模板看似简单，但节点内存管理、const 正确性、迭代器失效边界这三点最容易在真实项目里出问题——尤其是当 T 是带状态的类或移动语义类型时，ListNode 的拷贝/移动构造必须显式定义或 =default，否则可能触发隐式生成的浅拷贝。
