Git 2.0에서 7b1004b를 커밋 하는 포인터 사용법에 대한 포인터의 "실제"코드 예제를 좋아합니다 .
리누스는 한 번 말했다 :
저는 실제로 더 많은 사람들이 핵심 저수준 종류의 코딩을 이해하기를 바랍니다. 잠금없는 이름 조회와 같은 크고 복잡한 것은 아니지만 포인터 대 포인터 등을 잘 사용합니다.
예를 들어, "이전"항목을 추적하여 단일 링크 목록 항목을 삭제하는 사람들이 너무 많습니다. 그런 다음 항목을 삭제하려면 다음과 같이하십시오.
if (prev)
prev->next = entry->next;
else
list_head = entry->next;
그런 코드를 볼 때마다 "이 사람은 포인터를 이해하지 못합니다"로 이동합니다. 슬프게도 매우 흔합니다.
포인터를 이해하는 사람들은 " 항목 포인터에 대한 포인터 "를 사용하고 list_head의 주소로 초기화합니다. 그런 다음 목록을 탐색 할 때 조건부를 사용하지 않고 항목을 제거 할 수 있습니다.
*pp = entry->next
단순화를 적용하면 2 줄의 주석을 추가하는 동안에도이 기능에서 7 줄을 잃을 수 있습니다.
- struct combine_diff_path *p, *pprev, *ptmp;
+ struct combine_diff_path *p, **tail = &curr;
크리스는 지적 코멘트에 2016 년 비디오 "로 리누스 토발즈 (Linus Torvalds)의 더블 포인터 문제 로" 필립 Buuck .
쿠마는 지적 코멘트에 "블로그 게시물 의 이해 포인터에 리누스 ," 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;
}
우리가 위에서하고있는 것은 :
- entry가가 될 때까지 목록을 반복하여 목록
NULL끝에 도달했음을 의미합니다 (4 행).
- 항목을 발견하면 제거하려고합니다 (5 행).
- 현재 다음 포인터의 값을 이전 포인터에 할당합니다.
- 따라서 현재 요소를 제거합니다 (7 행).
위의 특별한 경우가 있습니다-반복이 시작될 때 이전 항목 ( previs NULL) 이 없으므로 목록에서 첫 번째 항목을 제거하려면 head 자체를 수정해야합니다 (9 행).
Linus가 말한 것은 이전 요소를 포인터가 아닌 포인터에 대한 포인터로 만들어 위 코드를 단순화 할 수 있다는 것 입니다.
그런 다음 코드는 다음과 같습니다.
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는 원자 적이기 때문에 논평했다고 말했습니다 . 그것은 확실히 원자가 아닙니다 .
위의 표현식에는 두 개의 역 참조 연산자 ( *및 ->)와 하나의 대입이 포함되며이 세 가지 중 어느 것도 원자가 아닙니다.
이것은 일반적인 오해하지만, C에서 슬프게도 거의 아무것도 이제까지 원자 것으로 간주되어서는 안 합니다 (포함 ++및 --사업자)!
