יש לי רעיון מסוים ואני לא בטוח שהוא עובד.

נגיד ואני רוצה למחוק חוליה מרשימה, מה שאני בד"כ עושה זה רץ מה-first של הרשימה עד לאיבר שה-next שלו הוא האיבר שאני רוצה למחוק, ואז אני משנה את ה-next שלו ל-next של האיבר שאני רוצה למחוק, ככה "דילגתי" על האיבר, והכל טוב יפה.
(כמובן שאני אשנה את ה-next של האיבר עצמו ל-null כדי שה-garbage collector יאסוף אותו.

חשבתי על שיטה אחרת, מה שעושים זה משנים את ה-info של האיבר שרוצים למחוק ל-info של האיבר הבא, ואז מוחקים את האיבר הבא בשיטה הישנה. ככה מחקתי איבר ביעילות של O(1) ולא O(n)...

אני מדבר כמובן על המקרה שאני לא יכול לגשת לאיבר שלפני האיבר שאני רוצה למחוק (כי אז אפשר להשתמש בשיטה הישנה), אני מדבר על המקרה שאני יכול להסתכל על האיבר שאני רוצה למחוק וקדימה.

זה יעבוד?

רעיון נחמד מאוד!. לא חשבתי עליו... אני חושב שזה יעבוד רק אם זה לא האיבר האחרון ברשימה.

וד"א: אל דאגה, אינך צריך לשנות כלום באיבר שאתה מוחק. (בפועל) ה-GC ידע שאף אחד לא מפנה לאותו איבר ולכן ימחוק אותו. (זה לא משנה שהוא מצביע על אובייקט קיים...)

וואו, כתבנו בערך את אותו הדבר

אני לא רואה סיבה שזה לא יעבוד חוץ מלאיבר האחרון כמובן.

רק מה שאמרת עם ה-Garbage collection לא מדויק. מה שמונע מאוביקט להאסף זה שמצביעים עליו, לא שהוא מצביע על משהו אחר (או יותר מדויק, מה שמונע מאוביקט להאסף זה שמצביעים עליו באופן ריקורסיבי מ-GC root).

כן, אבל בשביל מה זה טוב?..
יש מודלים מוכנים וטובים לעבודה עם רשימות מקושרות, יש ווקטורים, אין שום טעם ב"להמציא את הגלגל מחדש".

ציטוט:

(כמובן שאני אשנה את ה-next של האיבר עצמו ל-null כדי שה-garbage collector יאסוף אותו.

אין שום קשר, הגרבג קולקטור מוחק איברים שאין דרך להגיעה אליהם(אלו שאין פוינטר המצביע עליהם!).

ציטוט:

אני מדבר על המקרה שאני יכול להסתכל על האיבר שאני רוצה למחוק וקדימה.

רשימות מקושרות בעלות הצבעות קדימה\אחרוה, שקולות לגמרי לרשימות מקושרות חד-כיווניות, ולכן המקרה שאתה מתאר לא הגיוני.. מה זאת אומרת להסתכל רק על האיבר "שאני רוצה למחוק", אז תבדוק תמיד איבר אחד קדימה מראש.. בכל מקרה, כמו שכבר אמרתי אין טעם לשבור את הראש על השטויות הללו, כל הדברים הללו ממומשים ממילא בכל שפה עילית נורמלית, בצורה הטובה ביותר..