Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Delphi: Общие вопросы > Ошибка на пустом месте

Автор: Matematik 28.11.2013, 23:48

Привет.
Наткнулся в программе на глюк. Получал на пустом месте AV.
Долго обрезал лишее, получил такой "псевдокод". Тут другая ошибка - OutOfMemory, но смысл тот же.

Код


program Project2;

{$APPTYPE CONSOLE}

uses
  madExcept,
  madLinkDisAsm,
  System.SysUtils;

var
  L: string;

procedure Test(const A: string);
var S: string;
begin
  S := A;
  S := S + S;
  L := S;
  Writeln(A + ' ');
end;

begin
  try
    Test('X');
    Test(L);
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message, #13#10, E.StackTrace);
  end;
  Readln;
end.

Может я что-то не понимаю? Очень нужен свежий взгляд.

Автор: Poseidon 29.11.2013, 01:36

Мне даже почему-то не хочется объяснять почему так. Вроди у GunSmoker'a в задачках есть подобное и объясняется.

Код


procedure Test(const A: string);
var S: string;
begin
  S := A;
//  S := S + S;
  L := S + S;
  Writeln(A + ' ');
end;

Автор: Matematik 29.11.2013, 06:33

Бегло посмотрел все задачки уGunSmoker'a и не нашёл объяснения.

Автор: Illusion Dolphin 29.11.2013, 08:31

Попробую догадаться:
Упростил до

Код


procedure Test(const A: string);
var S: string;
begin
  S := A; 
  S := S + S; 
  L := S; //вот тут вместо L записывается что-то другое, а L теряется, при этом, L которое передалось по const A всё ещё указывает на старое L, но его уже нету - получаем AV
  Writeln(A + ' ');
end;
begin
  try
    L := 'sdsdfdsfs';
    Test(L);

Всё равно как-то неочевидно, плохое поведение делфи, имхо, хотя что просили - то и получили.

Автор: Illusion Dolphin 29.11.2013, 09:07

И поправьте меня если я не прав, но тут тоже не всё чисто:

Код


procedure Test(const A: string);
var S: string;
begin
  S := A;
//  S := S + S;
  L := S + S;
  Writeln(A + ' ');
end;

Ошибки нету из-за того, что предыдущее L ещё существует т.к. на него ссылается S, но если S перезаписать когда-либо, а потом использовать A, то будет та же ошибка.

Автор: Matematik 29.11.2013, 10:18

На утро ошибка кажется вполне логичной, A это L (т.к. const) и refCnt=1. Перезаписываю L, старое осводожнается т.к. RefCnt=0, но А по-прежнему указывает на старое уже уаленное L. Получаю Oops! smile

Код


procedure Test(const A: string);

  procedure dbg;
  begin
    Writeln(StringRefCount(A));
  end;

var S: string;
begin
  S := A;           dbg;
  S := S + S;       dbg;
  L := S;           dbg;
  L := S + S;       dbg;
  Writeln(A + ' '); dbg;
end;

Код


-1
-1
-1
-1
X
-1
2 <- две ссылки S и A(L)
1
0
0
EInvalidPointer: Invalid pointer operation

И ведь специально такое не придумаешь.