Можем ли да използваме двойно свързан списък в C без динамично разпределение на паметта?

Със сигурност можете да създадете двойно свързан списък, без изобщо да използвате динамично разпределение на паметта; просто е конвенционално да се прави това.

#include <stdio.h>
#include <assert.h>
#include <inttypes.h>

enum { NODEBUG = 0, DEBUG = 1 };

static const int debug = NODEBUG;

typedef struct DList DList;
struct DList
{
    int    data;
    DList *next;
    DList *prev;
};

enum { MAX_DLIST = 100 };
struct DList dlist[MAX_DLIST];

static void add_node(DList *head, DList *node)
{
    assert(head != 0 && node != 0);
    if (head->next == 0)
    {
        assert(head->prev == 0);
        head->next = node;
        head->prev = node;
        node->next = head;
        node->prev = head;
    }
    else
    {
        assert(head->prev != 0);
        node->next = head->next;
        node->prev = head;
        head->next->prev = node;
        head->next = node;
    }
}

static void diagnode(DList *node)
{
    if (debug)
        printf(" (T = 0x%.12" PRIXPTR ", N = 0x%.12" PRIXPTR ", P = 0x%.12" PRIXPTR ")\n",
               (uintptr_t)node, (uintptr_t)node->next, (uintptr_t)node->prev);
}

static void print_list(DList *head)
{
    assert(head != 0);
    printf("List:");
    if (head->next != 0)
    {
        DList *node;
        int counter = 0;
        if (debug)
            printf("\nHEAD");
        diagnode(head);
        for (node = head->next; node != head; node = node->next)
        {
            printf(" %3d", node->data);
            diagnode(node);
            assert(counter++ < MAX_DLIST);
        }
    }
    printf(" <EOL>\n");
}

int main(void)
{
    DList head = { 0, 0, 0 };

    for (int i = 0; i < MAX_DLIST; i++)
    {
        dlist[i].data = (i * 13 + 7) % 100;
        add_node(&head, &dlist[i]);
        if (debug)
            print_list(&head);
    }
    print_list(&head);
}

Не се вижда разпределение на памет! Можете да използвате вариант на това, когато имате нещо като мениджър на буфери, където има фиксиран масив от буфери за данни, но искате LRU (най-малко използвани) политика за замяна. Вместо данните да са директно в структурата на двойно свързания списък, както в този пример, елементът data ще сочи към запис в буферния пул. След това можете да добавяте и премахвате записи от списъка, без да променяте нищо в основната структура от данни, към която е свързан вашият списък.

Ако palloc() е разпределител на пул памет, предимството да го използвате пред malloc() е, че можете да освободите цялата памет, разпределена за даден пул с едно извикване на функция, вместо да се налага сами да управлявате всички отделни освобождавания. Понякога разпределителят на пул ще бъде по-ефективен от отделното разпределение на памет с malloc(); може да разпредели голям масив от структура с фиксиран размер и след това да раздаде записи при поискване, намалявайки броя на разпределенията и по този начин намалявайки размера на режийните разходи.