时间戳

首页 > 解决方案 > >= 使用 var 名称返回 true，但使用当前值返回 false

c - >= 使用 var 名称返回 true，但使用当前值返回 false

问题描述

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

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

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;
}

但是当我尝试测试它时，我得到了 akward 的结果：

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 在实例化新堆栈时返回非零值的原因。

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

谢谢。

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

标签： c

解决方案

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

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

推荐阅读