Целое число, не сравнимое с его значением

Question

У меня есть часть кода, которую я пытаюсь отлаживать, что приводит к причудливым результатам. Целое число, которое очень четко содержит значение шесть, сравнивает ложное буквальный 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 

Я компиляция с г ++ 4.8.2 на Ubuntu.

Как это может случиться?

Редактировать: Удаление всего зеленого цвета из условия не помогает. Редактировать 2: индекс и 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

Как уже отмечалось, доступ к массиву за пределами границ является неопределенным поведением, поэтому, возможно, это и есть причина. Не забудьте также проверить границы массива.

Так что, если это нормально, чтобы считать каждый 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; 

Хотя было бы лучше использовать контейнер в любом случае, конечно.