ฉันชอบตัวอย่างโค้ด "โลกแห่งความจริง" ของตัวชี้การใช้พอยน์เตอร์ใน Git 2.0 กระทำ 7b1004b :
Linus เคยกล่าวไว้ว่า:
ฉันอยากให้ผู้คนจำนวนมากเข้าใจการเข้ารหัสในระดับต่ำมาก ๆ ไม่ใช่เรื่องใหญ่ซับซ้อนเช่นการค้นหาชื่อ lockless แต่ใช้ประโยชน์จาก pointers-to-pointers และอื่น ๆ
ตัวอย่างเช่นฉันเห็นคนจำนวนมากเกินไปที่ลบรายการที่เชื่อมโยงโดยการติดตามรายการ "prev" แล้วจึงลบรายการทำสิ่งที่ชอบ
if (prev)
prev->next = entry->next;
else
list_head = entry->next;
และเมื่อใดก็ตามที่ฉันเห็นรหัสเช่นนั้นฉันเพิ่งไป "คนนี้ไม่เข้าใจตัวชี้" และเป็นเรื่องธรรมดาที่ค่อนข้างเศร้า
ผู้ที่เข้าใจพอยน์เตอร์เพียงใช้ " ตัวชี้ไปยังตัวชี้รายการ " และเริ่มต้นด้วยที่อยู่ของ list_head และเมื่อพวกเขาเข้าไปในรายการพวกเขาสามารถลบรายการโดยไม่ต้องใช้เงื่อนไขใด ๆ เพียงแค่ทำ
*pp = entry->next
การใช้การทำให้เข้าใจง่ายทำให้เราสูญเสีย 7 บรรทัดจากฟังก์ชันนี้แม้ในขณะที่เพิ่มความคิดเห็น 2 บรรทัด
- struct combine_diff_path *p, *pprev, *ptmp;
+ struct combine_diff_path *p, **tail = &curr;
คริสชี้ให้เห็นในความคิดเห็นเพื่อ 2016 วิดีโอ " Linus Torvalds ปัญหาของตัวชี้คู่ " โดยฟิลิป Buuck
kumarชี้ให้เห็นในความคิดเห็นโพสต์บล็อก " Linus ในการทำความเข้าใจตัวชี้ " ซึ่งGrisha Trubetskoyอธิบาย:
ลองนึกภาพคุณมีรายการเชื่อมโยงที่กำหนดเป็น:
typedef struct list_entry {
int val;
struct list_entry *next;
} list_entry;
คุณต้องวนซ้ำตั้งแต่ต้นจนจบและลบองค์ประกอบเฉพาะที่มีค่าเท่ากับค่าของ to_remove
วิธีที่ชัดเจนกว่านี้คือ:
list_entry *entry = head; /* assuming head exists and is the first entry of the list */
list_entry *prev = NULL;
while (entry) { /* line 4 */
if (entry->val == to_remove) /* this is the one to remove ; line 5 */
if (prev)
prev->next = entry->next; /* remove the entry ; line 7 */
else
head = entry->next; /* special case - first entry ; line 9 */
/* move on to the next entry */
prev = entry;
entry = entry->next;
}
สิ่งที่เราทำข้างต้นคือ:
- วนซ้ำในรายการจนกว่าจะถึงรายการ
NULLซึ่งหมายความว่าเราได้มาถึงจุดสิ้นสุดของรายการ (บรรทัดที่ 4)
- เมื่อเราเจอข้อความที่เราต้องการลบ (บรรทัดที่ 5)
- เรากำหนดค่าของตัวชี้ถัดไปปัจจุบันให้กับตัวก่อนหน้า
- จึงกำจัดองค์ประกอบปัจจุบัน (บรรทัดที่ 7)
มีกรณีพิเศษด้านบน - ที่จุดเริ่มต้นของการทำซ้ำไม่มีรายการก่อนหน้า ( prevคือNULL) และเพื่อลบรายการแรกในรายการที่คุณต้องแก้ไขหัวตัวเอง (สาย 9)
อะไรไลนัสพูดคือว่ารหัสข้างต้นอาจจะง่ายขึ้นด้วยการทำให้องค์ประกอบก่อนหน้านี้ชี้ไปยังตัวชี้มากกว่าแค่ตัวชี้
โค้ดจะมีลักษณะดังนี้:
list_entry **pp = &head; /* pointer to a pointer */
list_entry *entry = head;
while (entry) {
if (entry->val == to_remove)
*pp = entry->next;
pp = &entry->next;
entry = entry->next;
}
โค้ดด้านบนคล้ายกับตัวแปรก่อนหน้า แต่สังเกตว่าเราไม่จำเป็นต้องดูกรณีพิเศษขององค์ประกอบแรกของรายการอีกต่อไปเนื่องจากppไม่ได้NULLอยู่ที่จุดเริ่มต้น เรียบง่ายและฉลาด
นอกจากนี้บางคนในเธรดนั้นแสดงความคิดเห็นว่าเหตุผลที่ดีกว่านั้นก็เพราะ*pp = entry->nextอะตอม มันเป็นที่สุดอย่างแน่นอนไม่อะตอม
นิพจน์ด้านบนมีตัวดำเนินการ dereference สองตัว ( *และ->) และหนึ่งการมอบหมายและไม่มีสามสิ่งใดในอะตอมนี้
นี่เป็นความเข้าใจผิดที่พบบ่อย แต่ก็ไม่น่าจะมีสิ่งใดใน C ที่น่าจะถือว่าเป็นอะตอม (รวมถึง++และ--โอเปอเรเตอร์)!
