Универсальное управление списком функционирует в C?

C не имеет никакого понятия "универсальных" указателей или объектов - самое близкое, которое можно получить, использует a void* указатель. Если Вы хотите, чтобы одна часть кода смогла обработать какой-либо тип данных, в значительной степени необходимо использовать void* указатели. Для типов данных с размерами, не больше, чем указатель, можно бросить между типом и void*; для больших типов данных необходимо будет использовать динамическую память и иметь void* членская точка к динамической памяти. Просто не упустите утечки памяти!

typedef struct list_node {
  struct list_node *next;
  void *data;
} list_node;

void list_insert(list_node *node, void *data) {
  // ...
}

С другой стороны, если Вы хотите сгенерировать код для каждого возможного типа данных, необходимо будет сделать это с макросами и затем инстанцировать макросов для каждого типа данных, который Вы могли бы использовать. Например:

#define DEFINE_LIST(type) \
  typedef struct list_node_##type { \
    struct list_node_##type *next; \
    type data; \
  }

#define IMPLEMENT_LIST_INSERT(type) \
  void list_##type##_insert(list_node_##type *node, type data) { \
    ... \
  }

DEFINE_LIST(int);     // defines struct list_node_int
DEFINE_LIST(double);  // defines struct list_node_double
IMPLEMENT_LIST_INSERT(int);    // defines list_int_insert
IMPLEMENT_LIST_INSERT(double); // defines list_double_insert

Ядро Linux имеет интересную реализацию универсального связанного списка в C на его linux/list.h заголовке. Это - двунаправленный связанный список с главным узлом, используемым как это:

struct mystruct {
    ...
    /* Contains the next and prev pointers */
    struct list_head mylist;
    ...
    /* A single struct can be in several lists */
    struct list_head another_list;
    ...
};

struct list_head mylist_head;
struct list_head another_list_head;

Некоторые интересные вещи в этом небольшом примере:

• Узел списка встраивается в целевой структуре, не нуждаясь ни в каком указателе данных.
• Узел списка не должен прибывать в начале целевой структуры.
• Единственная структура может быть в нескольких связанных списках одновременно.
• Следующие и предыдущие указатели в рамках списка указывают на struct list_head, не к целевой структуре (на примере выше, они указывают на &(foo->mylist) для первого списка и &(foo->another_list) для второго списка).

Все функции управления списком берут указатели на struct list_head (и большинство не заботится вообще, является ли это отдельным главным узлом или одним из встроенных узлов). Добираться от struct list_head к целевой структуре Вы используете list_entry макрос (который совпадает с containter_of макрос от linux/kernel.h заголовка), который расширяется в простое вычитание указателя.

Так как это - двунаправленный связанный список с главным узлом, Вы можете в O(1):

• Проверьте, пуст ли список, или если узел не находится ни в каком списке.
• Получите узел после или перед любым другим узлом (если узел является головой, Вы получаете первый или последний элемент списка).
• Вставьте узел после или перед любым другим узлом (если узел является головой, Вы вставляете вначале или конец списка).
• Удалите узел из списка (Вам нужен только указатель на сам узел, чтобы сделать это).
• Несколько других операций.

C и его стандартная библиотека не предлагают никакому списку определенных функций.

Но существуют библиотеки со многими полезными функциями для C, которые поддерживают типы данных, известные с других языков программирования: http://library.gnome.org/devel/glib/2.18/glib-data-types.html