Парный обмен в списке ссылок в C ++

Question

void pairWiseSwap(struct node *head)
{
// The task is to complete this method
   if(!head || (head && head->next==NULL))
   return;

   if(head->next!=NULL)
   {
     int tmp = head->next->data;
     head->next->data = head->data;
     head->data = tmp;
     pairWiseSwap(head->next->next);
   }
 }

обменять элементы попарно. Как работает этот код? Как работает обратный рекурсивный вызов?

Answer 1

Как следует из названия функции, она меняет данные в каждой паре ячеек (а не в самих ячейках).

---

Очень хорошо виден обмен данными из одной ячейки со следующей:

int tmp = head->next->data;
head->next->data = head->data;
head->data = tmp;

---

Как работает обратный рекурсивный вызов?

вызов с pairWiseSwap(head->next->next); обходит пару ячеек, чьи данные были поменены местами для повторения в следующих.

---

Давайте посмотрим пример с полным кодом:

#include <stdio.h>
#include <stdlib.h>

struct node {
  struct node * next;
  int data;
};

void pairWiseSwap(struct node *head)
{
// The task is to complete this method
   if(!head || (head && head->next==NULL))
     return;

   if(head->next!=NULL)
   {
     int tmp = head->next->data;
     head->next->data = head->data;
     head->data = tmp;
     pairWiseSwap(head->next->next);
   }
}

struct node * mk(int d, struct node * nx)
{
  struct node * n = malloc(sizeof(struct node));

  if (n != NULL) {
    n->data = d;
    n->next = nx;
  }

  return n;
}

void pr(struct node * head)
{
  while (head) {
    printf("%d ", head->data);
    head = head->next;
  }
}

int main()
{
  struct node * head = mk(0, mk(1, mk(2, mk(3, mk(4, mk(5, NULL))))));

  printf("before : ");
  pr(head);

  pairWiseSwap(head);
  printf("\nafter:   ");
  pr(head);
  putchar('\n');

  /* free resources */
  while (head) {
    struct node * n = head->next;

    free(head);
    head = n;
  }
}

Компиляция и исполнение:

pi@raspberrypi:/tmp $ gcc -pedantic -Wextra h.c
pi@raspberrypi:/tmp $ ./a.out
before : 0 1 2 3 4 5 
after:   1 0 3 2 5 4 

---

Примечание

if(!head || (head && head->next==NULL))
  return;

может быть просто

if ((head == NULL) || (head->next==NULL))
  return;

потому что, если head не равно нулю в левой части ||, повторная проверка не имеет смысла, в правой части оно не равно нулю

---

Если рекурсия выполняется на head->next, а не head->next->next, функция выполняет своего рода вращение, и в результате получается 1 2 3 4 5 0