c ->= 对于变量名称返回 true，对于当前值返回 false

Question

这个问题已经有答案了:

Comparison operation on unsigned and signed integers (7 个回答)

已关闭 5 年前。

我在为大学项目编码时实际上遇到了一些奇怪的问题。

我已经实现了一个堆栈结构，并尝试创建基本函数来操作它。

typedef struct _stack {
    unsigned int max_capacity;
    int* array;
    int top_position;
} stack;

int isFull(stack* s){
    return s->top_position >= (s->max_capacity - 1);
}

int isEmpty(stack* s){
    return s->top_position == -1;
}

void push(stack* s, int elt){
    if (isFull(s)) return;
    s->array[++s->top_position] = elt;
}

int pop(stack* s){
    return s->array[s->top_position--];
}

int peek(stack* s){
    return s->array[s->top_position];
}

stack* createStack(unsigned int capacity){
    stack* s = malloc(sizeof(stack));
    s->max_capacity = capacity;
    s->array = malloc(sizeof(int) * capacity);
    s->top_position = -1;
    return s;
}

但是当我尝试测试它时，我得到了令人尴尬的结果:

stack* s = createStack(5);
if(isFull(s)) printf("Stack full.\n");
printf("Stack top position : %d, stack capacity : %d\n", s->top_position, s->max_capacity);
printf("-1 >= 4 : %d\n", -1 >= 4);
printf("top position >= (capacity - 1) : %d\n", s->top_position >= (s->max_capacity - 1));

返回

Stack full.
Stack top position : -1, stack capacity : 5
-1 >= 4 : 0
top position >= (capacity - 1) : 1

我不明白为什么我的函数 isFull 在实例化新堆栈时返回非零值。

我设置了严格相等条件而不是大于或等于，现在它工作正常，但我需要了解我的错误的深层原因，你能帮助我并解释一下为什么第一个版本不是工作？

谢谢。

编辑:这个问题实际上并不是评论中链接的答案的重复。实际上我并没有想到我是在比较有符号和无符号的值。

Answer 1

这是因为您正在将无符号值与有符号值进行比较。在此期间，您的有符号值将提升为无符号值，并且转换为无符号值时的 -1 比您的最大容量变量大得多。

混合类型时要小心。要解决此问题，您可以将 max_capacity 设置为有符号值，或者在进行比较之前将其显式转换为有符号 int。