c - strcat 时的未定义行为

Question

in = "(A + B) * C - D * F + C";
#define MAXL 256

我的代码在 case ')' 处有问题。

我的代码未完成，因为它在某处遗漏了几行代码以将堆栈中的所有最终 char = operators 添加到 tempExp，我可能很快就会弄清楚™。我现在需要的是你输入为什么这行 while(c[0] != '(') strcat(tempExp, c); 会导致未定义的行为。

非常感谢!

注意:这个乱码 c[0] = *((char*)pop(s)) 的原因是 pop 返回一个 void* 我不能为了本练习的目的而改变。

void convertIntoPost(char * in, char ** out)
{
    int i;
    Stack * s = createStack();
    char tempExp[MAXL] = "temp: ", c[2];
    c[1] = '\0';
    printf("\n%s\n", tempExp);
    for(i = 0; i <= strlen(in); ++i)
    {
        printf("i: %d", i);
        c[0] = in[i];
        if(isalpha(c[0]) || isalnum(c[0]))
        {
            c[0] = in[i];
            printf("\nc passed isalpha OR isalnum: %s\n", c);
            strcat(tempExp, c);
        }
        else
        {
            switch(in[i])
            {
                case ' ' : break;
                case '(' :
                    push(s, &in[i]);
                    break;
                case ')' :
                    c[0] = *((char*)pop(s));
                    printf("c in case ')': %s", c); /* Show expected result */
                    printf("\n%s", tempExp); /* Just checking tempExp and see no problem */
                    while(c[0] != '(')
                        strcat(tempExp, c);
                    printf("\n%s", tempExp); /* Program stopped before it gets here */
                    break;
                default :
                    while(!isEmpty(s) && (priority(in[i]) <= priority(c[0] = *((char*)pop(s)))))
                        strcat(tempExp, c);
                    push(s, &in[i]);
            }               
        }            
    }
    printf("\nThis is in: %s", in);
    printf("\n%s", tempExp);
    *out = (char*)malloc(strlen(tempExp) + 1);
    *out = strdup(tempExp);
    makeEmpty(s);
}

int priority(char c)
{
    if(c == '(')
        return(0);
    else if(c == '+' || c == '-')
        return(1);
    else if(c == '*' || c == '/')
        return(2);
}

Answer 1

除了 Grantly 指出的无限循环之外，您还有其他几个问题，主要是因为两件事:

1. 您的循环包含 in 的字符串终止符，因此您将在 switch 语句中以默认情况结束，实际上您将调用该语句， priority('\0') 这会导致您的第二个问题。您还将使用指向字符串终止符的指针调用 push，如果 push 假定指针不指向字符串的末尾，您也可能会遇到问题。

2. 第二个问题是 priority 函数，因为它不会为所有导致未定义行为的分支返回值，如果您传递了一个不期望的字符在您的条件下(例如字符串终止符)。您需要添加一个明确的 else 子句。