Pop 在特定功能中只工作一次

Question

我将堆栈实现为链表，我想创建一个函数来判断括号是否井井有条，例如：(()) 是好的 ())( 是坏的。函数的逻辑现在不好，但我不知道为什么 pop() 只工作一次。这是我的代码（stog 是堆栈，sljedeci 是下一个）：

struct stog {
    int x;
    stog *sljedeci;
};

typedef struct stog stog;

stog *top;
char pop() {
    stog *temp;
    temp = (stog*)malloc(sizeof(stog));
    temp = top;
    char n = temp->x;
    top = temp->sljedeci;
    top->x = temp->sljedeci->x;
    free(temp);
    return n;
}



void init() {
    top = NULL;
}

void push(char x) {
        stog *temp;
        temp=(stog*)malloc(sizeof(stog));
        temp->x = x;
        temp->sljedeci = top;
        top = temp;
    }

 void Brackets(const char* msg) {
    char z;
    for (int i = 0; i < strlen(msg); i++) {
        if (msg[i] == '(') {
            push('(');
        }
        if (msg[i]==')'){
            z = pop();
            printf("Bad\n");    
        }       
    }
}

int main() {

    const char* msg = "(())";
    init(); 
    Brackets(msg);
    return 0;
}

输出是：

不好

应该是：

不好 不好

编辑：添加了 init() 和 push() 函数

Answer 1

我们，初学者，应该互相帮助。:)

这是我有生以来第一次做你的任务。:)

对于初学者来说，始终使用英文单词作为标识符。否则程序文本可能无法阅读。

不清楚为什么数据成员 x 的类型是 int 而不是 char，尽管堆栈处理字符串的字符。

struct stog {
    int x;
    stog *sljedeci;
};

您没有显示所有堆栈实现，例如函数pop 无效。它会产生内存泄漏。

首先，您分配了内存并将其地址分配给指针temp，然后在下一行您立即重新分配了指针。所以分配的内存不会被释放。

temp = (stog*)malloc(sizeof(stog));
temp = top;

此声明

top->x = temp->sljedeci->x;

如果top 等于NULL，则可以调用未定义的行为。

同样在函数Brackets这个if语句中

    if (msg[i]==')'){
        z = pop();
        printf("Bad\n");    
    }   

没有意义。只要遇到字符')'，该函数将始终输出"Bad"。

这是我已经完成的解决方案。

#include <stdio.h>
#include <stdlib.h>

struct stack
{
    char c;
    struct stack *next;
};

char * top( struct stack **stack )
{
    return *stack == NULL ? NULL : &( *stack )->c;
}

int push( struct stack **stack, char c )
{
    struct stack *current = malloc( sizeof( struct stack ) );
    int success = current != NULL;

    if ( success )
    {
        current->c = c;
        current->next = *stack;

        *stack = current;
    }

    return success;
}

void pop( struct stack **stack )
{
    if ( *stack )
    {
        struct stack *current = *stack;
        *stack = ( *stack )->next;

        free( current );
    }
}

int empty( struct stack **stack )
{
    return *stack == NULL;
}

void clear( struct stack **stack )
{
    while ( *stack ) pop( stack );
}

int bracket_balance( const char *s )
{
    struct stack *stack = NULL;

    int balanced = 1;

    for ( ; *s && balanced; ++s )
    {
        if ( *s == '(' )
        {
            push( &stack, *s );
        }
        else if ( *s == ')' )
        {
            if ( ( balanced = !empty( &stack ) && *top( &stack ) == '(' ) )
            {
                pop( &stack );
            }
        }
    }

    balanced = balanced && empty( &stack );

    clear( &stack );

    return balanced;
}

int main(void) 
{
    const char * s[] = 
    {
        "", "(", ")", "()", ")(", "( ( ) )", "( )( )", "( ) ) (", "Hello"
    };

    for ( size_t i = 0; i < sizeof( s ) / sizeof( *s ); i++ )
    {
        if ( bracket_balance( s[i] ) )
        {
            printf( "\"%s\" has balanced brackets\n", s[i] );
        }
        else
        {
            printf( "\"%s\" does not have balanced brackets\n", s[i] );
        }
    }       

    return 0;
}

程序输出是

"" has balanced brackets
"(" does not have balanced brackets
")" does not have balanced brackets
"()" has balanced brackets
")(" does not have balanced brackets
"( ( ) )" has balanced brackets
"( )( )" has balanced brackets
"( ) ) (" does not have balanced brackets
"Hello" has balanced brackets

Answer 2

pop 中的这一行没有意义：

top->x = temp->sljedeci->x;

在前一行中，您将temp->sljedeci 分配给top。所以这里引用的x 成员实际上两边都是同一个成员，所以假设top 和temp->sljedeci 都不为空，它什么也不做。如果其中任何一个为 NULL，您将调用 undefined behavior，因为您取消了对空指针的引用。所以去掉这条线。

pop 也有内存泄漏：

temp = (stog*)malloc(sizeof(stog));
temp = top;

您分配内存并将其地址分配给temp，但随后您立即用top 的值覆盖该地址。

这里不需要分配更多内存，所以删除malloc调用。