c - K&R 堆栈示例中可能存在错误

Question

在K&R书中，Calc程序的堆栈有

#define MAXVAL 100
int sp =0;          /* next free stack position */
double val[MAXVAL]; /* value stack*/
/* push: push f onto value stack */
void push(double f) {
    if ( sp < MAXVAL )
        val[sp++] = f;
    else 
        printf ("error: stack full, can't push%g\n",f);
} 

它可以压入 1 个额外的值，导致堆栈溢出。它应该是 (sp < MAXVAL - 1)。但很难相信这本书里有这样的错误。

Answer 1

这不是一个错误。在从 0 到 MAXVAL-1(含)的索引处分配给 val[] 是合法的。

请注意，sp++ 是一个后递增表达式，这意味着 sp 在其值之后递增用于索引val[]。因此，此示例中不存在未定义的行为。