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

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--;
}

所以它编译但它没有运行.

1. 它有关于来自代码的指针和整数之间的比较的警告

   assert(s->elems != NULL);
   

2. 它在某个地方被打破,它不会打印出这里定义的三个名字

   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()只是因为调用它而不会退出它.请注意,当出现问题时,以非零状态退出是常规的 -​​ 退出零表示成功.