NAME

LIST_EMPTY, LIST_ENTRY, LIST_FIRST, LIST_FOREACH, LIST_HEAD, LIST_HEAD_INITIALIZER, LIST_INIT, LIST_INSERT_AFTER, LIST_INSERT_BEFORE, LIST_INSERT_HEAD, LIST_NEXT, LIST_REMOVE - 이중 연결 리스트 구현

SYNOPSIS

#include <sys/queue.h>

LIST_ENTRY(TYPE);

LIST_HEAD(HEADNAME, TYPE);
LIST_HEAD LIST_HEAD_INITIALIZER(LIST_HEAD head);
void LIST_INIT(LIST_HEAD *head);

int LIST_EMPTY(LIST_HEAD *head);

void LIST_INSERT_HEAD(LIST_HEAD *head,
                        struct TYPE *elm, LIST_ENTRY NAME);
void LIST_INSERT_BEFORE(struct TYPE *listelm,
                        struct TYPE *elm, LIST_ENTRY NAME);
void LIST_INSERT_AFTER(struct TYPE *listelm,
                        struct TYPE *elm, LIST_ENTRY NAME);

struct TYPE *LIST_FIRST(LIST_HEAD *head);
struct TYPE *LIST_NEXT(struct TYPE *elm, LIST_ENTRY NAME);

LIST_FOREACH(struct TYPE *var, LIST_HEAD *head, LIST_ENTRY NAME);

void LIST_REMOVE(struct TYPE *elm, LIST_ENTRY NAME);

DESCRIPTION

이 매크로들은 이중 연결 리스트를 정의하고 조작한다.

매크로 정의에서 TYPE은 사용자 정의 구조체의 이름이며, 그 구조체에는 타입이 LIST_ENTRY이고 이름이 NAME인 필드가 있어야 한다. HEADNAME 인자는 LIST_HEAD() 매크로를 써서 선언해야 하는 사용자 정의 구조체의 이름이다.

생성

리스트의 머리는 LIST_HEAD() 매크로로 정의한 구조체다. 이 구조체에는 리스트 첫 번째 항목에 대한 포인터 하나가 들어 있다. 항목들이 이중으로 연결되어 있으므로 리스트 순회 없이 임의 항목을 제거할 수 있다. 기존 항목 뒤나 기존 항목 앞에, 또는 리스트 머리에 새 항목을 추가할 수 있다. LIST_HEAD 구조체를 다음처럼 선언한다.

LIST_HEAD(HEADNAME, TYPE) head;

struct HEADNAME이 정의하려는 구조체의 이름이고 struct TYPE이 리스트로 연결할 항목들의 타입이다. 이후 다음처럼 리스트 머리의 포인터를 선언할 수 있다.

struct HEADNAME *headp;

(이름 headheadp는 사용자가 정할 수 있다.)

LIST_ENTRY()는 리스트에서 항목들을 연결하는 구조체를 선언한다.

LIST_HEAD_INITIALIZER()는 리스트 head를 위한 초기화 값으로 평가된다.

LIST_INIT()head가 가리키는 리스트를 초기화한다.

LIST_EMPTY()는 리스트에 아무 항목도 없으면 참으로 평가된다.

삽입

LIST_INSERT_HEAD()는 새 항목 elm을 리스트의 머리에 삽입한다.

LIST_INSERT_BEFORE()는 새 항목 elm을 항목 listelm 앞에 삽입한다.

LIST_INSERT_AFTER()는 새 항목 elm을 항목 listelm 뒤에 삽입한다.

순회

LIST_FIRST()는 리스트의 첫 번째 항목을 반환하며 리스트가 비어 있으면 NULL을 반환한다.

LIST_NEXT()는 리스트에서 다음 항목을 반환하며, 현 항목이 마지막이면 NULL을 반환한다.

LIST_FOREACH()head가 가리키는 리스트를 순방향으로 순회하면서 각 항목을 차례로 var에 할당한다.

제거

LIST_REMOVE()는 항목 elm을 리스트에서 제거한다.

RETURN VALUE

LIST_EMPTY()는 리스트가 비어 있으면 0 아닌 값을 반환하고, 리스트에 한 항목이라도 있으면 0을 반환한다.

LIST_FIRST()LIST_NEXT()는 각각 처음 또는 다음 TYPE 구조체의 포인터를 반환한다.

LIST_HEAD_INITIALIZER()는 리스트 head에 할당할 수 있는 초기화 값을 반환한다.

CONFORMING TO

POSIX.1, POSIX.1-2001, POSIX.1-2008에 없다. BSD들에 있다. (4.4BSD에서 LIST 매크로들이 처음 등장했다.)

BUGS

LIST_FOREACH()에서 var를 루프 안에서 제거하거나 해제하는 것이 허용되지 않는다. 순회를 방해하게 되기 때문이다. BSD들에 있지만 glibc에는 없는 LIST_FOREACH_SAFE()에서 이 제약을 수정해서, 순회를 방해하지 않고 루프 안에서 var를 안전하게 리스트에서 제거하고 해제하는 것이 가능하다.

EXAMPLES

#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <sys/queue.h>

struct entry {
    int data;
    LIST_ENTRY(entry) entries;              /* 리스트 */
};

LIST_HEAD(listhead, entry);

int
main(void)
{
    struct entry *n1, *n2, *n3, *np;
    struct listhead head;                   /* 리스트 머리 */
    int i;

    LIST_INIT(&head);                       /* 리스트 초기화 */

    n1 = malloc(sizeof(struct entry));      /* 머리에 삽입 */
    LIST_INSERT_HEAD(&head, n1, entries);

    n2 = malloc(sizeof(struct entry));      /* 바로 뒤에 삽입 */
    LIST_INSERT_AFTER(n1, n2, entries);

    n3 = malloc(sizeof(struct entry));      /* 바로 앞에 삽입 */
    LIST_INSERT_BEFORE(n2, n3, entries);

    i = 0;                                  /* 순방향 순회 */
    LIST_FOREACH(np, &head, entries)
        np->data = i++;

    LIST_REMOVE(n2, entries);               /* 삭제 */
    free(n2);
                                            /* 순방향 순회 */
    LIST_FOREACH(np, &head, entries)
        printf("%i\n", np->data);
                                            /* 리스트 삭제 */
    n1 = LIST_FIRST(&head);
    while (n1 != NULL) {
        n2 = LIST_NEXT(n1, entries);
        free(n1);
        n1 = n2;
    }
    LIST_INIT(&head);

    exit(EXIT_SUCCESS);
}

SEE ALSO

insque(3), queue(7)


2021-03-22