使用void指针模拟C语言中的通用链表

Question

我是C语言的新手，我认为这里的指针可能有问题。 任何帮助，将不胜感激！

我有一个看起来像这样的链表结构：

ll.h：

#ifndef LLTEST_LL_H
#define LLTEST_LL_H

#include <stdlib.h>

typedef struct _listNode {
    void *data;
    struct _listNode *next;
} listNode;

typedef struct {
    int logicalLength;
    int elementSize;
    listNode *head;
    listNode *tail;
} linkedlist;

typedef struct table {
    const char* name;
    size_t col_count;
    size_t length;
} table;

typedef struct db {
    const char* name;
    size_t table_count;
    table** tables;
} db;

void list_append(linkedlist *list, void *element);
void create_list(linkedlist *list, int elementSize);
void create_db(const char* db_name, db** db);

#endif //LLTEST_LL_H

main.c中

#include <errno.h>
#include <fcntl.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/un.h>
#include <sys/socket.h>
#include <unistd.h>
#include <string.h>
#include "ll.h"

linkedlist databases_list;

void create_list(linkedlist *list, int elementSize)
{
    list->logicalLength = 0;
    list->elementSize = elementSize;
    list->head = NULL;
    list->tail = NULL;
}

void list_append(linkedlist *list, void *element)
{
    listNode *node = malloc(sizeof(listNode));
    node->data = malloc(list->elementSize);
    node->next = NULL;
    memcpy(node->data, element, list->elementSize);

    if(list->logicalLength == 0) {
        list->head = list->tail = node;
    } else {
        list->tail->next = node;
        list->tail = node;
    }

    list->logicalLength++;
}

listNode* find_database_node(char *name){

    listNode *node = databases_list.head;
    //bool result = true;
    listNode *found_node = NULL;

    while(node != NULL) {
        db *item = (db *)node->data;

        if (strcmp(item->name, name) == 0){
            found_node = node;
            break;
        }

        node = node->next;
    }

    return found_node;
}

void get_db_pool(char *name, db *value){
    listNode *node = find_database_node(name);

    if(node != NULL){
        value = (db *)node->data;
    }
    else{
        value = NULL;
    }
}

void set_db_pool(db* value){
    list_append(&databases_list, (void *)value);
}

void create_db(const char* db_name, db** db) {
    if (*db == NULL) {
        *db = malloc(sizeof(db));
    }

    (*db)->name = db_name;
    (*db)->table_count = 0;
    (*db)->tables = NULL;
}

int main() {

    create_list(&databases_list, sizeof(db *));
    char* db_name= "mydb";
    db* db1 = NULL;
    create_db(db_name, &db1);
    set_db_pool(db1); //<--this line

    return 0;
}

在我标记为“ <-此行”的行上，当我检查（db）databases_list.head-> data的名称参数时，我看到的是“ \\ 222 \\ 017”而不是我期望的“ mydb”（例如当我检查db1-> name时）。 我究竟做错了什么？

Answer 1

我认为您的测试代码所在的行可能存在缺陷。

create_list(&databases_list, sizeof(db *), NULL);

当您执行sizeof（db *）时，您实际上得到的是指针的大小而不是db结构。 您实际上应该在做sizeof（db）。 由于元素大小仅设置为指针的大小，因此您不会复制足够的数据，并且在回读时会从内存中读取损坏的数据，从而导致值不正确。

Answer 2

我已经对代码进行了修改，并进行了一些修改，以适应某些偏见，因此我的行号可能与您的行号略有不同。 当我在valgrind下运行它时，我抱怨：

==55831== Invalid write of size 8
==55831==    at 0x100000EC7: main (ll17.c:78)
==55831==  Address 0x100a7c350 is 8 bytes after a block of size 8 alloc'd
==55831==    at 0x1000066F1: malloc (vg_replace_malloc.c:303)
==55831==    by 0x100000EB9: main (ll17.c:73)
==55831== 
==55831== Invalid write of size 8
==55831==    at 0x100000ECF: main (ll17.c:78)
==55831==  Address 0x100a7c348 is 0 bytes after a block of size 8 alloc'd
==55831==    at 0x1000066F1: malloc (vg_replace_malloc.c:303)
==55831==    by 0x100000EB9: main (ll17.c:73)

73行如下所示：

void create_db(const char* db_name, db** db) {
    if (*db == NULL) {
        *db = malloc(sizeof(db));  // 73
    }

这为指针（严格来说是指向指针的指针）而不是db结构分配了足够的空间。

• 您应该避免使用与它们的（基本）类型同名的变量，这会使除编译器之外的所有人困惑。

您确实需要：

void create_db(const char* db_name, db** db) {
    if (*db == NULL) {
        *db = malloc(sizeof(**db));
    }

完成该更改后，代码可以在valgrind下运行。 根据我的valgrind构建，它泄漏很多，但是最近我已从Mac OS X 10.10 Yosemite升级到10.11 El Capitan，并且我不相信我的抑制文件可以为我提供任何有用的信息。 它是在优胜美地（Yosemite）之下建立的，而且我也收到valgrind跟踪的“未知fcntl调用”。