Счетчик цикла в отладчике

[Elvisnya]

Всем добрый день. Столкнулся со следующей проблемой. Если добавить переменную i в WatchList (Ctrl+F5), то в этом WatchList'е в первом случае (коде) она будет изменяться в следующей последовательности 0,1,2,3,4,5,6. Вроде бы всё ОК. Но во втором коде переменная i будет изменяться так: 6,5,4,3,2,1 - фигня какая то! У меня цикл идёт на увеличение, а переменная уменьшается . Может кто знает почему такое происходит? Turbo Delphi 2006

procedure TForm1.ButtonTestClick(Sender: TObject);
var
  i:integer;
begin
  for i:= 0 to 5 do
    ListBox1.Items.Append(IntToStr(i));
end;

procedure TForm1.ButtonTestClick(Sender: TObject);
var
  i:integer;
begin
  for i:= 0 to 5 do
    ListBox1.Items.Append('Текст');
end;

[Elvisnya]

Нашёл. Оказывается что бы счётчик в циклах

for to do

всегда считал от меньшего к большему (например от 0 к 10) нужно ставить

{$O-}

В это место

implementation

{$R *.dfm}

{$O-}

Что это за команда и почему происходит "баг" из верхнего поста читать ниже:
http://www.cyberforum.ru/delphi-begi...ead169152.html

[evg_m]

{$O-}
отключение оптимизатоа кода.

Компьютеру удобнее если цикл выполняется сверху вниз (9,8,7,6,...,0). Поэтому если внутреннему коду без разницы в каком порядке выполнять (второй пример не зависит от i) то он меняет порядок на более оптимальный (по его мнению).

[Пепел Феникса]

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

[chertovich]

Сообщение от evg_m

{$O-}
отключение оптимизатоа кода.

Компьютеру удобнее если цикл выполняется сверху вниз (9,8,7,6,...,0). Поэтому если внутреннему коду без разницы в каком порядке выполнять (второй пример не зависит от i) то он меняет порядок на более оптимальный (по его мнению).

Не компьютеру удобно, а удобно ассемблировать в команду LOOP ассемблера

[Sibedir]

Более того, если вы напишите

  for i:= 5 to 10 do
    ListBox1.Items.Append('Текст');

всеравно, i будет меняться от 6 до 1. Компилятор в Delphi тем и славиться, что производит хорошую оптимизацию кода (ну, обычно, по крайней мере если код не совсем говнокод с отсутствием логики).

procedure TForm1.Button1Click(Sender: TObject);
var
  i, j, k: Integer;
  b, e: Cardinal;
begin
  b := GetTickCount;
  for i := 1 to 100000000 do
    for j := 6 downto 1 do
      k := 0;
  e := GetTickCount;
  if k = 0 then
    ShowMessage (IntToStr(e-b));
end;

procedure TForm1.Button2Click(Sender: TObject);
var
  i, j, k: Integer;
  b, e: Cardinal;
begin
  b := GetTickCount;
  for i := 1 to 100000000 do
    for j := 5 to 10 do
      k := 0;
  e := GetTickCount;
  if k = 0 then
    ShowMessage (IntToStr(e-b));
end;

{$O-}
procedure TForm1.Button3Click(Sender: TObject);
var
  i, j, k: Integer;
  b, e: Cardinal;
begin
  b := GetTickCount;
  for i := 1 to 100000000 do
    for j := 0 to 5 do
      k := 0;
  e := GetTickCount;
  ShowMessage (IntToStr(e-b));
end;
{$O+}

Обобщая: Во втором цикле нам без разницы как i перебирать, а компу так (от 6 до 1) будет быстрее. Поэтому лучше не трогать оптимизацию, если не понимаете, как она работает.

P.S.: Хотя нюансы конечно же есть. Вот, немного подкорректировал, и картина уже несколько изменилась:

procedure TForm1.Button1Click(Sender: TObject);
var
  i, j, k: Integer;
  b, e: Cardinal;
begin
  k := 0;
  b := GetTickCount;
  for i := 1 to 100000000 do
    for j := 6 downto 1 do
      inc (k);
  e := GetTickCount;
  if k > 0 then
    ShowMessage (IntToStr(e-b));
end;

procedure TForm1.Button2Click(Sender: TObject);
var
  i, j, k: Integer;
  b, e: Cardinal;
begin
  k := 0;
  b := GetTickCount;
  for i := 1 to 100000000 do
    for j := 0 to 5 do
      inc (k);
  e := GetTickCount;
  if k > 0 then
    ShowMessage (IntToStr(e-b));
end;

procedure TForm1.Button3Click(Sender: TObject);
var
  i, j, k: Integer;
  b, e: Cardinal;
begin
  k := 0;
  b := GetTickCount;
  for i := 1 to 100000000 do
{$O-}
    for j := 5 to 10 do
      inc (k);
{$O+}
  e := GetTickCount;
  if k > 0 then
    ShowMessage (IntToStr(e-b));
end;

[Somebody]

Сообщение от chertovich

Не компьютеру удобно, а удобно ассемблировать в команду LOOP ассемблера

Loop тормозная, так что при оптимизации по скорости любой нормальный компилятор сделает dec ecx + jnz.

[Serge_Bliznykov]

Somebody, точно так оптимизатор Delphi и делает: