Странность в условии

[k1r1ch]

Я не могу понять, как делфи обрабатывает это:

for z := 1 to 4 do
  if (RoomW[x + Xss[z], y + Yss[z]] = 0) and
  (Room[x + Xss[z], y + Yss[z]] = 0) and
  TestFrom(Xss[z], Yss[z]) then

Во-первых, z начинает считаться с 4 до 1, но это еще ладно. Вначале оно работает нормально (это все находится еще в одном цикле), но в определенный момент глючит. Я из под F7 выписал все значения -

if (RoomW[2 + 1, 6 + 0] = 0) and //Действительно, RoomW[3,6] = 0
(Room[2 + 1, 6 + 0] = 0) and //Действительно, Room[3,6] = 0
TestFrom(Xss[z], Yss[z]) then //По выполнению функции было бы True

Но оно просто не вызывает TestFrom и считает, что результат - FALSE, как это вообще возможно?!

[raxp]

1
2 проверьте еще раз условие

[Stilet]

Но оно просто не вызывает TestFrom

Правильно. Оптимизатор не выполняет проверки дальше если текущая дала false
Если (RoomW[x + Xss[z], y + Yss[z]] = 0) = False то при таком условии оптимизатор однозначно не захочет проходить (Room[x + Xss[z], y + Yss[z]] = 0) and TestFrom(Xss[z], Yss[z]), и правильно делает - ибо все равно в результе будет False.
Ты выбрал неверную стратегию.

[k1r1ch]

Но они все дают true!

[raxp]

приведите полный код

[k1r1ch]

program Project3;

{$APPTYPE CONSOLE}

uses
  SysUtils;

type
  TFrom = record
    X: integer;
    Y: integer;
  end;
const
  Xss: array [1..4] of integer = (1, -1, 0, 0);
  Yss: array [1..4] of integer = (0, 0, 1, -1);
  DOOR = 0;
  WALL = 1;
var
  Inp: Text;
  Width, Height, Moves, x, y, i, z, XS, YS, XE, YE: integer;
  Room, RoomW: array [1..100, 1..100] of integer;
  Temp: char;
  From: TFrom;

function TestFrom(CX, CY: integer): boolean;
begin
  TestFrom := false;
  if From.X <> 0 then
    if CY <> From.X then TestFrom := true;
  if From.Y <> 0 then
    if CX <> From.Y then TestFrom := true;
  if (From.X = - CX) and (From.Y = - CY) then
    TestFrom := false;
end;

procedure BossDoor(X, Y: integer);
var i: integer;
begin
  for i := 1 to 4 do
    if Room[X + Xss[i], Y + Yss[i]] = DOOR then
      begin
        XE := X + Xss[i];
        YE := Y + Yss[i];
        Break;
      end;
end;

procedure ClercDoor(X, Y: integer);
var i: integer;
begin
  for i := 1 to 4 do
    if Room[X + Xss[i], Y + Yss[i]] = DOOR then
      begin
        XS := X + Xss[i];
        YS := Y + Yss[i];
        From.X := Xss[i];
        From.Y := Yss[i];
        Break;
      end;
end;

begin
  try
    Assign(Inp, 'C:\Documents and Settings\Пользователь\Рабочий стол\TP\BIN\School\Input.txt');
  Reset(Inp);
  Readln(Inp, Height, Width);
  for x := 1 to Height * 2 + 1 do
    begin
      for y := 1 to Width * 2 + 1 do
        begin
          Read(Inp, Temp);
          case Temp of
            '+', '-', '|': Room[x, y] := WALL;
            '.': Room[x, y] := DOOR;
            'C': begin XS := x; YS := y end;
            'B': begin XE := x; YE := y end;
          end;
        end;
      Readln(Inp);
    end;
  ClercDoor(XS, YS);
  BossDoor(XE, YE);
  Close(Inp);
  for x := 1 to Height * 2 + 1 do
    begin
      for y := 1 to Width * 2 + 1 do
        Write(Room[x, y], ' ');
      Writeln;
    end;
  RoomW[XS, YS] := 1;
  i := 1;
  repeat
    Inc(i);
    for x := 1 to Height * 2 + 1 do
      for y := 1 to Width * 2 + 1 do
        if RoomW[x, y] = i - 1 then
          for z := 1 to 4 do
            if (RoomW[x + Xss[z], y + Yss[z]] = 0) and
            (Room[x + Xss[z], y + Yss[z]] = 0) and
            TestFrom(Xss[z], Yss[z]) then
              begin
                RoomW[x + Xss[z], y + Yss[z]] := i;
                From.X := Xss[z];
                From.Y := Yss[z];
              end;
    if i = Width * Height then
      begin
        Writeln('No way!');
        readln;
        Exit;
      end;
  until RoomW[XE, YE] > 0;
  Moves := i - 1;
  Writeln('Total moves: ', Moves);
  readln;
  except
    on E:Exception do
      Writeln(E.Classname, ': ', E.Message);
  end;
end.

Это волновой алгоритм на графе; лабиринт во вложении.
Кстати, я условие как-то писал, но мне никто не ответил и я сам решать начал - вот оно

[Stilet]

Но они все дают true!

Ты в этом точно уверен?
Поставь точку прерывания на этот IF и посмотри кто что дает.

[k1r1ch]

Ну я числа на бумажке подставил и да, все дают TRUE

[Stilet]

k1r1ch

Не пойму... Запустил твой код - все работает.
При каких значений счетчиков циклов прога глючит?

[k1r1ch]

Как работает то, пишет No way в смысле? Или прямо кол-во ходов?