Тривиальный код

Код

var b:byte; begin b:=255; inc(b); ..... ShowMessage(IntToStr(b)); end;

Понятно, что возникает переполнение (вот боюсь ошибиться в терминах)
И нигде ничего об этом не оповещает...
Вопросы
1. Как отследить оприсанную ситуацию?
2. Есть ли подобные ситуации,имеется ввиду приводящие к неправильному
результату, но молчаливо.

Это сообщение отредактировал(а) Girder - 2.11.2005, 10:53

Цитата(zalex @ 31.10.2005, 23:54)

1. Как отследить оприсанную ситуацию?

Да вроде только самому. Именно поэтому вначале решения какой-либо задачи необходимо
продумать все максимальные значения каждой переменной, и только потом заносить
ее в раздел объявления.
А в приведенном коде никакого переполнения не возникнет, а просто в b присвоится 0, т.к.
если к максимальной границе в ходе выполнения программы прибавить некое число, то
счетчик перемещается на нижнюю границу диапазона типа.
Компилятору ведь пофиг что у тебя там будет. Главное, что ты написал все правильно с его
точки зрения. А на приведенный частный случай у него имеется решения.
Следовательно на первый вопрос, ИМХО, никак.

Цитата(zalex @ 31.10.2005, 23:54)

2. Есть ли подобные ситуации,имеется ввиду приводящие к неправильному результату, но молчаливо.

По моему вопрос поставлен не особо некорректно. Что значит приводят к неправильному результату? Если ты неправильно совмещаешь типы данных, то ты соответственно получишь и неверный результат. Как написал выше, вначале все надо обмозговать, а только потом
реализовывать. Тогда и придешь к правильному результату. А если вообщем, то с такими
ситуациями я не сталкивался.

В вышеприведенном коде все вычисляется на этапе компиляции, поэтому в Runtime все проходит гладко.

А в таком коде при установленной опции компилятора Overflow checking ({$Q+} ) будет ругань:

Код

procedure TForm1.Button4Click(Sender: TObject); var b,bb:byte; begin b:=1; for bb:=1 to 255 do   inc(b); ShowMessage(IntToStr(b)); end;

Это сообщение отредактировал(а) Girder - 1.11.2005, 10:00

ОК, действительно вставило. Такой вопрос - никомц не казалось, что директивы эти отрабатываются как то заторможенно. Т.е. не сразу что ли. Вот поставил директиву (Д7) - и никакого результата. А потом через нектр время - сработало.

>Вот поставил директиву (Д7) - и никакого результата
Может, не перебилдил сначала?

В статусном регистре проца всегда существует флаг, показывающий было ли переполнение после последней арифметической операции. Вывод: попробовать зачитать на асме

ОК, и с директивами разобрался, а Асм он вообще рулит. Спасибо.