C++ STL list::end() 尾後迭代器實現原理：哨兵節點設計

核心結構

std::list 內部採用雙向循環鏈表，維護一個哨兵節點（_Node_base），該節點不存儲數據，僅作為頭尾連接點：

• _M_impl._M_node._M_next 指向第一個元素（begin()）。
• _M_impl._M_node._M_prev 指向最後一個元素。
• end() 返回指向哨兵節點本身的迭代器。

為什麼 --end() 合法？

哨兵節點的 _M_prev 指向尾元素，迭代器的 operator--() 實現為 _M_node = _M_node->_M_prev;，因此 --end() 正好指向最後一個有效元素。

示意圖

[哨兵] <-> [節點1] <-> [節點2] <-> ... <-> [節點N] <-> [哨兵]
  ^                                              ^
 end()                                         --end() (最後元素)

標準要求

C++ 標準規定 end() 可遞減（需容器非空），且 *--end() 等價於 back()。這得益於哨兵節點統一了頭尾邊界條件，簡化迭代器實現。