Question

file stack.h

typedef struct
{
    void *elems;
    int elem_size;
    int log_len;
    int alloc_len;
    void (*free_fn)(void *);
} stack;

void stack_new(stack *s, int elem_size, void (*free_fn)(void *));
void stack_dispose(stack *s);
void stack_push(stack *s, void *value);
void stack_pop(stack *s, void *address);

和实现文件stack.c

#include <string.h>
#include <stdlib.h>
#include <stdio.h>
#define assert(condition) if(!condition) printf("assert fail\n");exit(0) 

void strfree(void *elem);

int main()
{
    stack s;
    int i;
    char *copy, *top;
    const char *friends[] = {"joe", "castiel", "lily"};
    stack_new(&s, sizeof(char *), strfree);
    for(i=0; i<3; i++)
    {
        copy = strdup(friends[i]);
        stack_push(&s, &cp);
    }

    for(i=0; i<=3; i++)
    {
        stack_pop(&s, &top);
        printf("%s\n", top);
    }
    stack_dispose(&s);
    return 1;
}

void strfree(void *elem)
{
    free(*(char **)elem);
}

void stack_new(stack *s, int elem_size, void (*free_fn)(void *))
{
    assert(elem_size > 0);
    s->alloc_len = 4;
    s->free_fn = free_fn;
    s->log_len = 0;
    s->elem_size = elem_size;
    s->elems = malloc(s->alloc_len * s->elem_size);
    assert(s->elems != NULL);
}

void stack_dispose(stack *s)
{
    int i;
    if(s->free_fn)
    {
        for(i=0; i<s->log_len; i++)
        {
            s->free_fn((char *)s->elems + i * s->elem_size);
        }
    }
    free(s->elems);
}

void stack_push(stack *s, void *v)
{
    if(s->log_len == s->alloc_len)
    {
        s->alloc_len *= 2;
        s->elems = realloc(s->elems, s->alloc_len*s->elem_size);
        assert(s->elems != NULL);
    }
    memcpy((char *)s->elems+s->log_len*s->elem_size, v, s->elem_size);
    s->log_len++;
}

void stack_pop(stack *s, void *address)
{
    assert(s->log_len > 0);
    void *source =  (char *)s->elems + (s->log_len - 1) * s->elem_size;
    memcpy(address, source, s->elem_size);
    s->log_len--;
}

所以它编译但不会运行。

它有关于指针和整数的比较的警告，它来自代码
```
assert(s->elems != NULL);
```
它在某处被破坏，它不会打印出这里定义的三个名称
```
const char *friends[] = {"joe", "castiel", "lily"};
```

我知道代码有点太多，但我真的希望得到一些帮助，我的灵魂就在这里。

Answer 1

一个问题是您的assert宏：

#define assert(condition) if(!condition) printf("assert fail\n");exit(0)

无论条件是真还是假，都会执行exit(0);（再次查看生成的代码）。如果您想要断言，请使用标准#include <assert.h>。

您首先发现的问题是：

assert(s->elems != NULL);

根据定义，这相当于：

if (!s->elems != NULL)
    printf("assert fail\n");
exit(0);

!s->elems是一个整数，0或1，与空指针常量相比较。因此警告。编写宏时，将参数括在括号中。至少：

#define assert(condition) if(!(condition)){printf("assert fail\n");exit(1);}

这仍然不是一个好的宏，但至少它会摆脱第一个编译错误，并且只有因为它被调用而调用它时stack_new()才会退出。请注意，当出现问题时，以非零状态退出是常规的 - 退出零表示成功。

Answer 2

使用GDB在调试器中运行代码，以逐行查看它的作用。谷歌“gdb备忘单”开始使用-g编译您的代码。

用通用样式在C中实现堆栈

2 个答案: