로컬 포인터변수가 쓸데없이 왜 있느냐는 질문 같네요.

맞습니다. 필요 없어 보입니다.

가독성면에서, 변수명을 head 로 해서, 리스트 전체의 head 를 인자로 주도록 하는 편이 함수를 사용할 때 혼동을 줄일 수 있어서, head 로 명명했을 것 같고, head 로 이름지었는데, 그걸 계속 바뀌는 노드를 표현하는 변수로 쓰기가 "가독성"관점에서 좋지 않아서, 로컬변수를 하나 마련했다고 생각됩니다.

리스트는 노드의 연결 집합으로서, 노드 구조체 변수와 리스트 구조체 변수가 각각 존재해야 합니다.

그러나 트리의 경우에는, 트리 자체가 재귀적인 형식의 자료구조입니다. 그래서 트리 노드 자신이 트리이기도 합니다.

그러므로 리스트에서는 노드 변수, 리스트 변수를 각각 제어해 주는 경우가 있고요. 트리는 트리 변수가 트리 그 자체이므로 트리 변수만 제어해 주면 됩니다.

이러한 내용을 읽고 계신 책에서도 아마 강조하고 있을 것입니다.

질문하신 코드에서, 리스트 코드의 경우에는 리스트가 노드의 연결체이므로 리스트의 첫 노드의 주소값을 넣어주면 첫 노드부터 쭉 찾아 들어가면서 값을 출력하도록 해 놓은 코드이고요.

트리의 코드는, 트리가 이미 구성되어 있다면 트리의 서브 트리 주소가 left와 right 변수에 이미 저장되어 있기 때문에, 트리의 루트 노드의 주소값을 매개변수로 넣고 계속 내려가면서 key 값을 갖는 노드를 찾는 코드입니다.

제가 크게 착각을 했습니다. 혼란을 드려 죄송합니다.

daewon님 말씀대로 head = head->link에서 바뀌지 않습니다.

아래처럼 리스트의 주소값을 받아 내부의 헤드 변수를 이용한다면(보통 이렇게 사용하지 않겠지만) 바뀔수 있습니다.

void print_list(List *plist)
{
    for(; plist->head != NULL; plist->head=plist->head->link)
        ...
}

void print_list(ListNode *head)
{
    for(ListNode *p = head ; p != NULL ; p = p->link)
        printf("%d->",p->data);
 }

위 경우에는 우선 head에 저장된 주소값을 p에 복사한 후에 p의 값을 변경하는 일반적인 코드입니다. 그래서 head의 값이 바뀌지 않고요.

위와 같이 복사해서 쓰지 않고, 질문하신 것처럼 아래와 같이 그냥 head를 이용한다면 함수 호출시 넘겨준 주소값이 바뀌어 버립니다. head = head->link에서 바뀝니다.

void print_list(ListNode *head)
{
    for(; head != NULL ; head = head->link)
        printf("%d->",head->data);
 }

보통 head는 리스트의 머리를 뜻하기 때문에, 값을 출력할 때에는 책처럼 head 포인터 변수를 복사해서 사용하시고 수정하시면 안됩니다.

리스트의 머리쪽에 값을 새로 넣거나 리스트의 머리쪽 노드를 지우는 경우에만 head를 변경합니다.