C未定义的行为 - 单链表

时间:2016-01-23 00:05:58

标签: c gdb singly-linked-list

我已经实施了一个单一链接列表,我注意到了一些非常奇怪的行为,但无法确定其发生的确切原因。我尝试使用gdb来确定问题是什么,看起来每当我计算列表的大小时,就会出现问题。这是我用来测试我的实现的程序,以下是实际的实现。

#include <stdio.h>
#include "singlylinked.h"

slist initialize(void); /* initializes test singly linked list */

slist initialize(){
    int i, a[] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
    slist l = sl_alloc();
    int a_size = sizeof(a)/sizeof(a[0]);
    for(i=0;i<a_size;i++){
        sl_add(l, (void *)&a[i]);
    }
    return l;
}

int main(){
    slist l = initialize();
    int i, size = sl_size(l);
    for(i = 0; i < size; i++){
        printf("%d ", *(int *)sl_get(l,i));
    }
    fputc('\n',stdout);
    return 0;
}

现在实际的实施,我只会发布测试中使用的方法:

/* allocates an empty slist */
slist sl_alloc(){
    return (slist) calloc(1, sizeof(struct node));
}

/* adds val to linked list */
void sl_add(slist l, void *val){
    node *current, *new;
    new = calloc(1, sizeof(struct node));
    new->content = val;
    new->next = NULL;
    if((current = *l)){
        while(current->next){
            current = current->next;
        }
        current->next = new;
    } else {
        *l = new;
    }
}

/* returns ith value in singly linked list l */
void *sl_get(slist l, int i){
    node *current;
    int j; /* counter */
    void *result = NULL;
    if((current = *l)){
        int size = sl_size(l);
        if(i < size){
            for(j = i; j > 0; j--){
                current = current->next;
            }
            result = current->content;
        } 
    }
    return result;
}

/* returns the size of the singly linked list */
int sl_size(slist l){
    int size = 0;
    node *current;
    if((current = *l)){
        do {
            size++;
            current = current->next;
        } while (current);
    }
    return size;
}

现在我定义sliststruct node

typedef struct node **slist;

typedef struct node {
    void *content;
    struct node *next;
} node;

编辑:奇怪的行为是这样的:当我尝试打印出来的东西时,它会在列表中打印出错误的值。当我使用gdb运行程序时,这会在第一次调用sl_size后开始。

1 个答案:

答案 0 :(得分:4)

问题在于您对列表的初始化。

您将数组a[]的10个元素添加到您在initialize()中创建的列表中。唯一的问题是你在列表节点中存储指向数组a []中数据的指针。不幸的是,这个数组是函数的本地数组!从initialize()返回后,此数组不再有效,并且指针不再指向无效位置。因此,您期望指向的数字将被“垃圾”值替换。