整数不比较等于它的值

Question

我有一段代码正在尝试调试，这会产生奇怪的结果。一个非常清楚地包含值 6 的整数将 false 与文字 6 进行比较。
在我的代码中，这段代码：

int allGreen = 0;
int index = 0;
while (ch->fb[index]->selection_color() == FL_GREEN) 
{
    ++allGreen;
    ++index;
}
std::cout << allGreen << std::endl;
std::cout << std::boolalpha << (allGreen == 6) << std::endl;

产生输出：

6
false

我在 Ubuntu 上使用 g++ 4.8.2 进行编译。

这怎么可能发生？

编辑：从条件中删除所有绿色无济于事。 编辑 2： index 和 allGreen 是相等的，正如预期的那样。两者都不等于 6，尽管两者都是 6。

Answer 1

ch->fb 数组的大小是多少？如果是 6 或更少，则可能是编译器在此处优化未定义的行为。

当看到一些简单的循环时

while ( a[i] ) i++;

编译器可以假设i 永远不会超出a 数组，否则程序会调用未定义的行为。即i 介于0 和size of a - 1 之间。

稍后，如果编译器看到类似i == 8 的东西，则8 大于size of a - 1，它会将这个条件替换为false。

为了确定，您可以查看汇编代码。

Answer 2

字面量“6”不是整数，也没有值 6。

Answer 3

正如 deniss 已经指出的那样，越界访问数组是未定义的行为，所以也许这就是原因。确保也检查数组的边界。

因此，如果可以计算数组的每个 selection_color，您可以尝试：

const int MAX_FB_VALUES = 6;

// ...

int countOfGreen = 0;

for (int i = 0; i < MAX_FB_VALUES; ++i)
{
    if(ch->fb[i]->selection_color() == FL_GREEN)
        ++countOfGreen;
}

std::cout << countOfGreen << std::endl;
std::cout << std::boolalpha << (countOfGreen == MAX_FB_VALUES) << std::endl;

当然，尽管使用容器会更好。