Правильний спосіб видалення елемента із пов’язаного списку

У цьому інтерв'ю Slashdot цитується Лінус Торвальдс:

Я бачив занадто багато людей, які видаляють запис, пов'язаний окремо у списку, відслідковуючи запис "prev", а потім видаляючи його, роблячи щось подібне

if (prev)
  prev-> next = entry-> next;
else
  list_head = entry-> наступний;

і коли я бачу такий код, я просто переходжу "Ця людина не розуміє покажчиків". І це, на жаль, досить часто.

Люди, які розуміють покажчики, просто використовують "вказівник на вхідний вказівник" та ініціалізують його з адресою list_head. А потім, переходячи список, вони можуть видалити запис, не використовуючи жодних умовних умов, просто виконавши "* pp = entry-> next".

Як розробник PHP, я не торкався покажчиків після вступу до С в університеті десятиліття тому. Однак я відчуваю, що це такий тип ситуацій, з яким я, принаймні, повинен бути знайомий. Про що говорить Лінус? Якщо чесно, якщо мене попросили застосувати пов'язаний список і видалити елемент, вищезгаданий «неправильний» спосіб - це шлях, який я б пройшов. Що мені потрібно знати, щоб кодувати, як найкраще каже Лінус?

Я запитую тут, а не про Stack Overflow, оскільки у мене фактично не виникає проблем із цим у виробничому коді.

Використання моїх навичок L331 MS Paint:

Оригінальним рішенням є вказівка ​​на Nodes via curr. У такому випадку ви перевіряєте, чи має наступний вузол після currцього значення видалення, і якщо так, скидаєте покажчик currвузла next. Проблема полягає в тому, що не існує вузла, який би вказував на голову списку. Це означає, що для перевірки це має бути окремий випадок.

Лінус (ймовірно) пропонує замість цього не зберегти вказівник на поточний досліджуваний вузол, а скоріше вказівник на вказівник на поточний вузол (позначений міткою pp). Операція така ж - якщо ppвказівник вказує на вузол з правильним значенням, ви скинете ppвказівник.

Різниця полягає в самому початку списку. Поки немає Вузла, який би вказував на голову списку, насправді є вказівник на голову списку. І це точно такий же покажчик на вузол, як і інший nextвказівник на вузли . Отже, для початку списку не потрібне спеціальне застереження.

Приклад коду

// ------------------------------------------------------------------
// Start by pointing to the head pointer.
// ------------------------------------------------------------------
//    (next_ptr)
//         |
//         v
// [head]----->[..]----->[..]----->[..]----->[to_remove]----->[....]
Node** next_ptr = &list->head;

// ------------------------------------------------------------------
// Search the list for the matching entry.
// After searching:
// ------------------------------------------------------------------
//                                  (next_ptr)
//                                       |
//                                       v
// [head]----->[..]----->[..]----->[..]----->[to_remove]----->[next]
while (*next_ptr != to_remove) // or (*next_ptr)->val != to_remove->val
{
    Node* next_node = *next_ptr
    next_ptr = &next_node->next;
}

// ------------------------------------------------------------------
// Dereference the next pointer and set it to the next node's next
// pointer.
// ------------------------------------------------------------------
//                                           (next_ptr)
//                                                |
//                                                v
// [head]----->[..]----->[..]----->[..]---------------------->[next]
*next_ptr = to_remove->next;

Якщо нам потрібна певна логіка, щоб знищити вузол, то ми можемо просто додати рядок коду в кінці:

// Deallocate the node which is now stranded from the list.
free(to_remove);