Почему 3 <–1 в коде?

Question

Почему 3 <–1 в коде?

0

Взгляните на следующий код:

int start = 3;

vector<int> data;
data.push_back(0);
data.push_back(0);

for (int i=start; i<data.size()-start; i++)
    printf("In...\n");

При запуске вышеуказанного кода он будет запускать printf("In...\n"); бесконечно. Хотя он основан на условии (3<-1) цикла for, он никогда не должен этого делать. Странно, да?

Чтобы этого избежать, сначала нужно вычислить уравнение длинных условий, например:

… …

int end = data.size()-start;
for (int i=start; i<end; i++)
    printf("In...\n");

Почему это происходит?

Will Dean 22 дек. 2013, в 12:52

Источник

5

Включите / включите предупреждения вашего компилятора, и ответ должен быть перед вами.
chris 22 дек. 2013, в 10:59
0

Если вы напечатаете data.size()-start внутри цикла for вы заметите отрицательное значение :) 2-3 = -1 и i = 3 , поэтому для того, чтобы 3 стало отрицательным, потребуется некоторое время
nrathaus 22 дек. 2013, в 11:00
0

@nrathaus No data.size()-start не unsigned , и в этом проблема.
Johan 22 дек. 2013, в 11:05
0

@Johan Джохан, я очень сожалею
nrathaus 22 дек. 2013, в 11:07
0

@chris Крис предупреждений не показывал.
user3126987 22 дек. 2013, в 11:08
1

Используйте W4 для VisualStudio и -Wall для GCC. Вы подписали / неподписали несоответствие в data.size () - начало.
egur 22 дек. 2013, в 11:10

Показать ещё 4 комментария

Теги:

c++

1 ответ

Ещё вопросы

Включите / включите предупреждения вашего компилятора, и ответ должен быть перед вами.
Если вы напечатаете data.size()-start внутри цикла for вы заметите отрицательное значение :) 2-3 = -1 и i = 3 , поэтому для того, чтобы 3 стало отрицательным, потребуется некоторое время
@nrathaus No data.size()-start не unsigned , и в этом проблема.
@chris Крис предупреждений не показывал.
Используйте W4 для VisualStudio и -Wall для GCC. Вы подписали / неподписали несоответствие в data.size () - начало.

Will Dean · Answer 1 · 2013-12-22T09-54-00.000Z

size() возвращает значение без знака (типа size_t), которое приводит к тому, что выражение справа от сравнения будет передано без знака, которое затем сравнивает беззнаковое.

Таким образом, нет отрицательных чисел, где вы думаете, что есть, только очень большие положительные.

Как говорили другие люди, большинство компиляторов предупредит вас об этом, если вы повысите уровень предупреждения, а c++ не является языком, который можно безопасно использовать на низком уровне предупреждения.

Я подозреваю, что люди, которые знают, что такое «UB», не нуждаются в помощи с этим материалом… ;-)
@ Datenwolf Нет. Не для неподписанных. Это четко определено.
@BlueMoon: Также, если у меня есть отрицательное целое число со знаком, которое приведено к целому без знака?
@datenwolf Там нет UB в части сравнения, но UB происходит, когда i переполняю INT_MAX .. size_t обычно unsigned int или unsigned long. Отрицательное число преобразуется в значение без знака с использованием правила редукции по модулю (* _MAX + 1 -3), где i (как в i<... ) преобразуется в значение без знака, а затем выполняется сравнение.