Проблема с изменением значений в динамической структуре

[whatever]

Добрый день. Уже который день убиваю себе мозг, и не могу найти слабое место.

type
  PTree=^TTree;
  TTree=record
    L,R:PTree;
    sod:integer;
  end;
{-------------------}
procedure build_S(var F:textfile; var Q:PTree);
begin
  while not EOF(F) do
    begin
      if Q=nil then
        begin
          readln(F,Q^.sod);//!!!
        end
      else begin
        Q^.R^.L:=Q;
        build_S(F,Q^.R);
      end;
    end;
end;

Идея: прочитать из файла числа, записать по порядку в Q^.sod(вроде как слева на право, первый Q^.L=nil, остальные Q^.R до определенного момента содержат значения мз текстовика.

Проблема: не получается сохранить данные в Q^.sod. пробовал отладку клавишей F7, доходит до места обозначеного в коде "!!!", затем вылетает. при этом, если в процедуре, в разделе VAR(которого у меня нет, ибо незачем) объявить I:integer и читать в нее, то все получается. если в VAR'e объявить какое-нибудь W:PTree, то в него тоже нормально читает, а в мой злополучный Q не хочет ни при каких условиях, хотя он тоже объявлен через var, при объявлении процедуры.

Пробовал урезать процедуру до простейшего

procedure build_S(var Q:PTree);
begin
Q^.sod:=5555;
end;

и тот же результат.
Объясните пожалуйста, ЧТО тут может быть не так.

[Ol'ga_new]

А какую ошибку выдает? Может файл не открыт?

[whatever]

я же говорю, в I читает, файл открыт. кароче, вот вся прога (ну не вся конечно, но та часть, которую я сейчас терзаю).

program nevazhno;

{$APPTYPE CONSOLE}

uses
  SysUtils;
type
  PTree=^TTree;
  TTree=record
    sod:integer;
    L,R:PTree;
  end;

VAR
  T:textfile;
  S:PTree;

procedure build_S(var F:textfile; var Q:PTree);
begin
  while not EOF(F) do
    begin
      if Q=nil then
        begin
          readln(F,Q^.sod);
        end
      else begin
        Q^.R^.L:=Q;
        build_S(F,Q^.R);
      end;
    end;
end;

BEGIN
  assign(T,'source.txt');
  {$i-}
  reset(T);
  {$i+}
  if IOResult<>0 then
    begin
      writeln('file not found');
      readln;
      HALT;
    end;
  new(S);
  S:=nil;
  build_S(T,S);
  writeln(S^.sod);
  readln;
END.

вот так. ошибок вообще не выдает, компилируется нормально.

[Utkin]

procedure build_S(var Q:PTree);

Любопытно. Это указатель на твое дерево, а где самое дерево? Чето я его не вижу... Есть

new(s);

а затем сразу

S:=nil;

Что-то мутновато как-то. Хотите причину всех бед? Вы не представляете алгоритм. И далее, нет комментариев, помогающих это делать.

[whatever]

ну, с S:=nil я намудрил конечно, не отрицаю. однако нил я поставил уже после туевой хучи эксперимантов, пытался подтосовать под процедуру (хотя умом я понимаю, что он и так сразу нил).

и что каcается PTree и TTree - деревьев тут нет, просто такое обозначение мне привычнее, с тем же успехом мог назвать PKust и TKust или еще что-нибудь. вопрос в другом, почему я не могу изменять содержимое параметра, заданого через var (имеется ввиду Q)?

[Utkin]

Повторю вопрос на другом уровне. Указатели это только ссылка на данные. Где сами данные, которые вы пытаетесь изменить?

[whatever]

Хм... Данные находятся в текстовике source.txt. По средствам

  readln(F,Q^.sod)

пытаюсь считать в этот самый Q^.sod из F - текстовика.
sod:integer объявлен в записи TTree. У меня возникают подозрения, что у нас наступает диалог глухонемых. Ладно, ставлю вопрос иначе:
Почему так:

procedure build_S(var F:textfile; var Q:PTree);
begin
  Q^.sod:=555;
  writeln(Q^.sod);
end;

не работает (читай: тупо вылетает), а вот так:

procedure build_S(var F:textfile; var Qq:PTree);
var
  Q:ptree;
begin
  Q^.sod:=555
  writeln(Q^.sod);
end;

все нормально, вся програма прогоняется до конца без ошибок?

[Utkin]

type
  PTree=^TTree;
  TTree=record
    sod:integer;
    L,R:PTree;
  end;

Посмотри на этот код внимательно. Указатель всегда должен на что-то указывать. Вот твой должен указывать на структуру TTree, правильно? А на что он указывает в действительности? На какой-то адрес, где эта структура не существует (а если существует, то покажите мне участок кода, где она создается). То есть тычет пальцем в небо.
Теперь почему твой код работает? А потому что попадает на свободный участок памяти. А не работает, потому что в тот момент твой указатель тыкает куда-нибудь где место уже занято. И оба варианта неверные.

[whatever]

В общем, я согласен, что не прав. Но не могу понять, чем вам мой type не угодил? В яндексе, на запрос "дерево pascal" первая же ссылка выдает

Type 
   Tree=^s; 
   S=record 
   Inf: <тип хранимой информации>; 
      Left , right : tree ; 
End ;

Что есть тоже самое, что и у меня, только обозначения другие. И на лекциях мы также делали (хотя писали мелом на доске и не компилировали, при переносе из тетради в дэлфи в большенстве случаев не работало). Я понимаю, насколько сложно бывает что-то объяснить дураку (в данном случае мне), но, по моему дилетантскому мнению, в указаном вами куске кода все нормально.

[Stilet]

readln(F,Q^.sod);//!!!

А автор не забыл выделить память?
В твоем случае new нужен при каждом считывании а не в самом начале.

Но не могу понять, чем вам мой type не угодил?

А Уткин не о типе говорит а о значении переменной этого типа.
Как я сказал - ты не выделил для нее память при считывании, потому, как сказал Уткин "эта структура не существует"