C++ - 在 IF 内未正确评估右移 [关闭]

Question

我有以下代码，

if (index > ((v.size() >> 1) - 1)) { }

v.size() 为 0，index 为 1。执行不会进入 if 块。但是如果我把上面的代码改成，

int limit = (v.size() >> 1) - 1;
if (index > limit) { }

在 v.size() 和 index 的值相同的情况下，执行确实进入了 if 块。

为什么会发生这种行为？谢谢。

Answer 1

您显然是在执行无符号比较。 v.size() 的返回类型很可能是 size_t，它是一个无符号整数。因此，表达式(v.size() >> 1) - 1 产生最大可能的无符号整数。除非您将其转换回有符号整数类型，否则您不会得到肯定的比较结果。

在减法之前简单地转换为ssize_t 将解决您的问题：

if (index > (((ssize_t)v.size() >> 1) - 1)) { }

---

我使用了ssize_t，因为该类型保证能够保存任何size_t 值，如果设置了最高有效位，则将其重新解释为负数。 int 不能这么说，因为在 64 位平台上通常只有 32 位。因此，像您在第二个示例中所做的那样使用 int 可能会截断一些位。