1

ファイル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. どこかで壊れているので、ここで定義されている3つの名前は出力されません

    const char *friends[] = {"joe", "castiel", "lily"};

コードが少なすぎることは知っていますが、本当に助けが必要です。ここで終わりです。

4

2 に答える 2

5

1つの問題はassertマクロです：

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

はexit(0);、条件がtrueかfalseかに関係なく実行されます（生成されたコードをもう一度見てください）。アサーションが必要な場合は、標準を使用してください#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()呼び出されたからといって呼び出されても終了しません。問題がある場合は、ゼロ以外のステータスで終了するのが一般的であることに注意してください。ゼロで終了すると、成功を示します。

于 2013-02-24T04:21:15.703 に答える
1

GDBを使用してデバッガーでコードを実行し、行ごとに何が行われているかを確認します。Googleの「gdbチートシート」を使用して、コードを開始してコンパイルします-g。

于 2013-02-24T04:22:27.783 に答える