인프런 커뮤니티 질문&답변

매서드에 매개변수 struct Node*node에 전달인자 &n1 받았다

-> 반복문이 실행된다

->node->value = node->next->value; 를 통해 n1의 value값이 변경되었다 1->3으로

->그렇기 때문에 마지막 실행문인 node = node -> next -> next; 가 실행되었을 때 n1의 포인터값도 n2가 가르키는 null 로 바뀌어야 한다.

-> 그로인해 node->next 가 null바뀌어서 반복문을 탈출한다.

저는 문제를 풀 때 이렇게 이해를 했습니다. 그래서 다시 main으로 돌아와서 while반복문을 돌 때 3만 출력하고 current->next 가 null을 가리키게 되어 탈출하 그런 생각을 했었습니다...

다른 분 질문도 보니 저랑 똑같이 이해하셨더라구요. node = node -> next -> next; 실행문을 통해 node->next가 null을 가리키는 건 이해가 되는데 이 실행문을 통해 n1.next가 null이 아닌 그대로 n3를 가리킨다는 게 이해가 안되어요..

근데 실제론 매서드에서 전달인자를 받아와 선언된 Node node 에 있는 Node* next 의 값만 바뀌어서 반복문에서 탈출되고 메인에선 똑같이 n1.next = &n3 가 된다 이렇게 이해했습니다.

여기서, node->value = node->next->value; 이 실행문을 통해서 n1.value 값은 바뀌는데 node = node -> next -> next; 이 실행문을 통해서 n1.*next 는 왜 안 바뀌는가? 이게 제 질문의 요지였습니다.

"지역변수이기 때문에 main에서부터 참조받은 n1 변수를 변경하지 않는다."

이 말은 강사님께 질문드리기 전에 gpt랑 여러번 대화를 시도한 끝에 도출해낸 설명입니다. 저도 이 설명이 의아해서 강사님께 똑같이 물어보게 되었습니다 ..ㅠㅠ 여러 수업을 듣다보니 개념이 확실하게 정립되지 않아 질문이 난잡하네요.. 죄송합니다..

먼저 해설을 다시 드리고 설명해보겠습니다.

이 코드는 크게 세 부분으로 나눌 수 있습니다.

1. struct Node 정의: 연결 리스트를 구성하는 기본 단위인 노드(Node)를 정의합니다. 각 노드는 정수 값을 저장하는 value와 다음 노드를 가리키는 포인터 next로 구성됩니다.

2. func 함수: 노드를 인자로 받아 연결 리스트를 순회하며, 인접한 두 노드의 값을 서로 교환(swap)합니다. 중요한 점은 노드의 연결 순서 자체를 바꾸는 것이 아니라, 노드 안에 들어있는 value만 교환한다는 것입니다. 값 교환이 끝나면 포인터를 두 칸씩 건너뛰며 다음 작업을 수행할 노드로 이동합니다.

3. main 함수:

   • n1, n2, n3 세 개의 노드를 생성합니다.

   • n1 -> n3 -> n2 순서로 노드들을 연결하여 연결 리스트를 만듭니다.

   • func 함수를 호출하여 리스트의 값을 변경합니다.

   • 마지막으로, 리스트의 첫 번째 노드(n1)부터 시작하여 각 노드의 value를 순서대로 화면에 출력합니다.

코드 흐름 단계별 설명

코드가 실행되는 과정을 구조체 시각화와 함께 단계별로 살펴보겠습니다.

1. main 함수 시작 및 초기 상태

main 함수에서 n1, n2, n3 노드가 생성되고, 포인터 next를 통해 다음과 같이 연결됩니다.

• n1.next는 n3를 가리킵니다.

• n3.next는 n2를 가리킵니다.

• n2.next는 NULL입니다.

따라서 초기 연결 리스트의 상태는 다음과 같습니다.

          [ n1 ]         [ n3 ]         [ n2 ]
        +-------+      +-------+      +-------+
        | 값: 1 | ---> | 값: 3 | ---> | 값: 2 | ---> NULL
        +-------+      +-------+      +-------+

2. func(&n1) 호출

func 함수가 n1의 주소값을 인자로 받아 호출됩니다. 이제 func 함수 내의 node 포인터는 n1을 가리킵니다.

3. while 루프 - 첫 번째 반복

• 조건 확인: node != NULL (n1이라서 참) && node->next != NULL (n3이라서 참). 루프가 실행됩니다.

• 값 교환:

  1. int t = node->value;

     • t에 node (즉, n1)의 값인 1이 저장됩니다. (t = 1)

  2. node->value = node->next->value;

     • n1의 값은 n1->next (즉, n3)의 값인 3으로 변경됩니다. (n1.value는 이제 3)

  3. node->next->value = t;

     • n3의 값은 t에 저장해 둔 1로 변경됩니다. (n3.value는 이제 1)

  값 교환 후 리스트의 상태는 다음과 같습니다. 노드의 연결 순서는 그대로이고 값만 바뀌었습니다.

            [ n1 ]         [ n3 ]         [ n2 ]
          +-------+      +-------+      +-------+
          | 값: 3 | ---> | 값: 1 | ---> | 값: 2 | ---> NULL
          +-------+      +-------+      +-------+
  

• 포인터 이동:

  • node = node->next->next;

  • 현재 node는 n1을 가리킵니다. node->next는 n3, node->next->next는 n2입니다.

  • 따라서 node 포인터는 이제 n2를 가리키게 됩니다.

4. while 루프 - 두 번째 반복

• 조건 확인: node != NULL (n2라서 참) && node->next != NULL (NULL이라서 거짓).

• 두 번째 조건이 거짓이므로 while 루프가 종료됩니다. func 함수가 끝납니다.

5. main 함수로 복귀 및 출력

main 함수로 돌아와 printf가 포함된 while 루프를 실행합니다.

• current 포인터는 리스트의 시작인 n1을 가리킵니다.

• 첫 번째 출력: current가 가리키는 n1의 값 3을 출력합니다. current는 다음 노드인 n3로 이동합니다.

• 두 번째 출력: current가 가리키는 n3의 값 1을 출력합니다. current는 다음 노드인 n2로 이동합니다.

• 세 번째 출력: current가 가리키는 n2의 값 2를 출력합니다. current는 다음 노드인 NULL로 이동합니다.

• current가 NULL이 되었으므로 while 루프가 종료됩니다.

최종 출력값

위의 흐름에 따라 printf 함수는 3, 1, 2를 순서대로 출력합니다. 코드에는 공백이나 줄바꿈 문자가 없으므로 모든 숫자가 붙어서 출력됩니다.

따라서 최종 출력값은 312 입니다.

전체 코드의 흐름은 위에서 설명한 것으로 이해하시면 됩니다.

그리고 질문의 요지를 다시 살펴보겠습니다.

node->value = node->next->value; 이 실행문을 통해서 n1.value 값은 바뀌는데 node = node -> next -> next; 이 실행문을 통해서 n1.*next 는 왜 안 바뀌는가? 이게 제 질문의 요지였습니다.

node->value는 node라고 새로 생긴 함수 내에 Node 형태의 구조체 를 가리킬 수 있는 포인터 변수입니다. 그 변수가 가리키고 있는 것의 value는 n1.value이고 거기에다가 뭔가를 대입하라고 하니 바뀌는 것입니다.

node = node -> next -> next는 대입을 통해서 바뀌는 값이 node->next가 아니라 포인터 변수 그 자체입니다.

= 기준으로 왼쪽부터 봅시다. 원래 node가 어떤 메모리 주소를 가지고 있었든지 상관없이 메모리 주소(node)에 다시 대입하라는 겁니다.

이건 기존에 뭘 가리키고 있든지 상관 없습니다. 함수 내에서 생긴 포인터 변수가 뭘 새로 가리킬지 정하는 것이지 n1.next와 상관 없습니다.

이제 오른쪽을 보시면 node -> next -> next입니다.

node -> next는 n3고, node -> next -> next는 n2입니다.

node 포인터는 n2를 가리키게 됩니다.

위의 코드에서 n1.next를 바꾸려는 것은 아예 없습니다.

n1.next를 바꾸려고 했다면 = 앞에 node->next가 되었어야 합니다.

완전히.. 이해했습니다...!!!!
node =&n1 이 아니라 node=n1으로 머리 속에서 이해했던 것 같아요. node와 n1을 동일시여겼던게 패착이었나보네요.

포인터가 아직 완벽히 숙지가 안 되어서 이해를 못했나봅니다. 상세한 설명 정말 감사합니다 !!

다행입니다 😀