Условный вопрос

[Utkin]

Как-то возникла ситуация:
Условие то-то тогда сообщим об ошибке
действие

А не лучше ли
Условие то-то тогда сообщим об ошибке иначе действие

Просто если условие истинно сообщаем об ошибке и покидаем функцию, действие же должно выполняться в случае если проверка дала false. В принципе одно и тоже но как обстоят дела в отношении быстродействия?

[Alex Cones]

Мдаа... Вопросы гуру не всегда понятны простым смертным.
Я слышал о разнице в скорости между While, Repeat и For, но для полноценного\неполноценного if - нигде.

[Utkin]

Подобные операции выполняются в цикле, обработка строк. Здесь каждый тик имеет значение .

[Stilet]

Utkin

Во-первых: Оптимизатор бдит - о бдя его страшна
Во-вторых: ты описал совершенно разные стратегии, тут все зависит от того когда нужно действие выполнить, а вжруг оно всегда должно выполняться, тогда первый код неверен.

[SuperVisor]

Ну, что можно сказать по этому поводу....

var
  Form1: TForm1;
  Bol: Boolean = True;
  st: integer=0;

implementation

{$R *.dfm}

procedure lotofIfelse;
var
  Ku: Pansichar;
begin
  if Bol=True then
  begin
    inc(st);
  end
  else
  begin
    GetMem(Ku, 1024);
    FreeMem(Ku, 1024);
    GetMem(Ku, 1024);
    FreeMem(Ku, 1024);
    GetMem(Ku, 1024);
    FreeMem(Ku, 1024);
  end;
end;

procedure lotofIfexit;
var
  Ku: Pansichar;
begin
  if Bol=True then
  begin
    inc(st);
    exit;
  end;

  GetMem(Ku, 1024);
  FreeMem(Ku, 1024);
  GetMem(Ku, 1024);
  FreeMem(Ku, 1024);
  GetMem(Ku, 1024);
  FreeMem(Ku, 1024);
end;

procedure TForm1.Button1Click(Sender: TObject);
var
  i: integer;
  SD: TDatetime;
  s: string;
begin
  SD:=NOW();

  for i:=0 to high(integer) do
    lotofIfelse;

  s:=formatdatetime('hh:nn:ss.zz',now()-SD);

  SD:=NOW();

  for i:=0 to high(integer) do
    lotofIfexit;

  s:=s+#13+formatdatetime('hh:nn:ss.zz',now()-SD);

  ShowMessage(S);
end;

Результат ниже.

[Utkin]

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

Я так и подозревал, в общем иначе будет быстрей чем просто действие после условия. Не зря задал такой вопрос. Только, такой результат всегда? В смысле не вызвана ли задержка операциями ОС?

[SuperVisor]

Результат постоянный.
Сейчас попробую действия со строками и памятью - видно будет. Комп в покое оставлю. )) Здесь результат выложу.

Нет, все-таки exit отрабатывет быстрее..
Если после условия идет очень громоздкая и объемная конструкция, то else проигрывает. Но, опять же, это лишь доли секунды...
Ниже приведены 2 результата.

Однако закралось такое подозрение, что компилятор улавливает махинации с условием, поэтому я немного его подкорректировал - начал менять переменные в операторе for:

for i:=0 to 100000000 do
  begin
    Bol:=((i mod 100)=0);
    Bol2:=((i mod 33)=0);
    Bol3:=((i mod 2)=0);

И задал в процедурах условие:

if Bol or Bol2 or bol3 or not (Bol and Bol2 and bol3) then

Следующие 2 изображения - результат работы этого цикла.

Делаем выводы.. )))
Кому интересно, что делалось и не делалось - исходник приложил.

[Luke]

Скажем так, то что на практике это проверили это хорошо... Но все, расскажу как все происходит...

Условие надо составлять так, чтобы _предполагаемо_ оно было как можно чаще true.

    call ds:SomeProc
    cmp eax, SomeExpression
    jne NE
    call SomeProcIfExpressionIsTrue
    jmp NextCode
    NE:
    call SomeProcIfExpressionFalse
    NextCode:

В это варинанте в обоих вариантах выполняются два перехода и два вызова. Чтож, а если вместо вызова SomeProcIfExpressionFalse() у нас будет просто код? Притом много? Тогда вместо jne придеться использовать jmp. Точнее придеться прыгать (jne) на метку, где будет стоять jmp IfFalse. Вот и выгода. + безусловный переход короче на байт=)

[DeKot]

Есть же директивы {$ +I} и {$ -I} - отключение проверки на ошибку системными методами.
Директива возвращает code < ошибки> или ноль ( нет ошибки).
Вот с ними и следует работать -

if Result = 0 then < продолжаeм программу>
  else  < действия в случае возникновения ошибки>;
  { можно case ... of (коды ошибок)}

try... finally

- для ошибок не определяемых системой.

[JTG]

действие же должно выполняться в случае если проверка дала false

try... finally, не?