数据结构可以在C中完全抽象吗？

Question

我目前正在构建一个数据结构的个人库，我意识到它们可以通过将其中的数据完全抽象为 void *.所以假设我创建了一个链表

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

假设我正在创建一个结构链接列表，它们被定义为

struct person {
    char *name;
    int age;
};

那么，是否可以定义一个抽象的搜索方法

void *traverse(void *head, void* data) {}

要找到一个 19 岁且名叫“约翰”的人？

Answer 1

要使您的列表数据结构抽象化，只需将node_ll 结构的定义隐藏在源文件中即可。头文件只包含前向声明和 API 原型：

typedef struct node_ll node_ll;
typedef struct linkedlist { node_ll *head; } linkedlist;

static inline linkedlist make_linkedlist () {
    const linkedlist zero_ll = { 0 };
    return zero_ll;
}
void unmake_linkedlist (linkedlist *list);

void linkedlist_add (linkedlist *list, void *data);
void linkedlist_traverse_until (linkedlist *list,
                                int (*visit)(void *visit_data, void *data),
                                void *visit_data);

linkedlist_traverse_until() 函数基本上会在每个节点上调用提供的visit() 函数，除非visit() 返回 0，此时它会停止。该函数的实现知道如何访问node_ll，因为它位于具有struct node_ll 完整定义的源文件中。

while (node) {
    if (visit(visit_data, node->data)) {
        node = node->next;
        continue;
    }
    break;
}