VPF::Ошибка на пустом месте - Форум программистов

Matematik

Дата 28.11.2013, 23:48 (ссылка)

(голосов:1)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1027
Регистрация: 11.3.2006

Репутация: 17
Всего: 50

Привет.
Наткнулся в программе на глюк. Получал на пустом месте 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.

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

Это сообщение отредактировал(а) Matematik - 29.11.2013, 01:02

Poseidon

Дата 29.11.2013, 01:36 (ссылка)

(нет голосов)

Загрузка ...

Delphi developer

Профиль
Группа: Комодератор
Сообщений: 5273
Регистрация: 4.2.2005
Где: Гомель, Беларусь

Репутация: 53
Всего: 133

Мне даже почему-то не хочется объяснять почему так. Вроди у 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 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1027
Регистрация: 11.3.2006

Репутация: 17
Всего: 50

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

Illusion Dolphin

Дата 29.11.2013, 08:31 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник Клуба
Сообщений: 1198
Регистрация: 3.5.2003

Репутация: 36
Всего: 63

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

Код


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);

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

Присоединённый файл ( Кол-во скачиваний: 5 )

t373942_1.png 26,38 Kb

--------------------

В мире всего две бесконечности: вселенная и человеческая глупость... На счёт вселенной я не уверен.
Шифрование и организация фотографий - Photo Database 4.5

Illusion Dolphin

Дата 29.11.2013, 09:07 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Участник Клуба
Сообщений: 1198
Регистрация: 3.5.2003

Репутация: 36
Всего: 63

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

Код


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 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1027
Регистрация: 11.3.2006

Репутация: 17
Всего: 50

На утро ошибка кажется вполне логичной, 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

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

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| Delphi: Общие вопросы \| Следующая тема »