Наследованые классы и динамические массивы - > Баг

[SovNarKom]

Это так и будет или лечится включением чего-нибудь?
Сразу скажу, что в Delphi всё ОК.
А FPC 2.0.0, 1.9.8 такая вот ерунда (в процессе работы acess violation...):

Код: Выделить всё

program Project1;

type

 TBaseC = class
  a,b,c: Integer;
  arra: Array of Cardinal;
 end;

 TOneClass = class(TBaseC)
  arr: Array of Cardinal;
 end;

 TMainClass = class
  A,B,C: Array of TBaseC;
 end;

 var SSS: TMainClass;
begin
 SSS:=TMainClass.Create;
 SetLength(SSS.A,1);
 SSS.A[0]:=TBaseC.Create; // кстати если TOneClass.Create - OK
 SetLength(TOneClass(SSS.A[0]).arr, 100000); // Хана! <--------------------------------
end.

[Sniper]

А в чём выражается сие ХАНА?
У меня в 2.1.1 вроде бы всё нормально..

Прочитал пост внимательнее: у меня никаких AV не наблюдается

[Romtek]

Присмотревшись к типам:

Код: Выделить всё

type

TBaseC = class
 a,b,c: Integer;
 arra: Array of Cardinal;
end;

TOneClass = class(TBaseC)
 arr: Array of Cardinal;
end;

TMainClass = class
 A,B,C: Array of TBaseC;
end;

Я подозреваю, что дело в именах A, B, C. Они перекрываются, хотя не знаю, верно ли это. Назови их другим именами.

[SovNarKom]

Romtek
Неееее... они не перекрываются.

Тест №2 - > в 1.9.8 из под Лазаря runtime error 201, в 2.0.0 IDE - OK

Код: Выделить всё

program Project1;

type

 pTArr = ^TArr;
 TArr = Array [0..0] of Byte;

var
 SSS: pTArr;
 i: Integer = 99;
begin
 GetMem(SSS, 100000);
 SSS^[i]:=99; // < --------------------------- runtime error 201 
 FreeMem(SSS);
end.

И этот метод не сработал...

[Uniser]

Смотри чего делаешь (?):

Код: Выделить всё

SSS.A[0]:=TBaseC.Create; // кстати если TOneClass.Create - OK
SetLength(TOneClass(SSS.A[0]).arr, 100000); // Хана!

В массиве A могут храниться как TBaseC, так и его наследники TOneClass, но об этом должен помнить сам программист. Если ты создал TBaseC, а потом пытаешься найти в нём поле arr, объявленное в наследнике, так чего ты хочешь от Паскаля?!
Конечно нарушение!!!

[SovNarKom]

Uniser
Ты прав,
НО в Delphi как-то работает... А ещё тут говорили что в FPC 2.1.1 :unsure:


Вот для чистоты эксперимента:

Код: Выделить всё

program Project1;
{$H+}
type

TBaseC = class end;

TOneClass = class(TBaseC)
 Ax: Array of Cardinal;
 Str: String;
 Card: Cardinal;
end;

TMainClass = class
 A:  TBaseC;
end;

var SSS: TMainClass;
begin
 SSS:=TMainClass.Create;

  {$DEFINE XAHA}

 {$IFDEF XAHA}
 SSS.A:=TBaseC.Create;
 TOneClass(SSS.A).Card:=1234567890;   // OK !!!!!!!!!!! <--------
 TOneClass(SSS.A).Str:='UPS'; // XAHA <--------------------------------
 SetLength(TOneClass(SSS.A).Ax, 100000); // XAHA <--------------------------------
 {$ENDIF}

 SSS.A:=TOneClass.Create;
 TOneClass(SSS.A).Card:=1234567890;   // OK
 TOneClass(SSS.A).Str:='UPS';// OK
 SetLength(TOneClass(SSS.A).Ax, 100000); // OK
end.

[Uniser]

В Паскале не проверял, но в Делфи можно так:

Код: Выделить всё

  if SSS.A[0] is TOneClass then 
   SetLength(TOneClass(SSS.A[0]).arr, 100000)
  else WriteLn('Это другой класс.');

[Uniser]

Может в Делфи не проверяется ошибка?
Не может программа создать TOneClass, когда её просят создать TBaseC.
Пробовал-ли заполнять массив созданный в Делфи?

[SovNarKom]

Uniser
Можно, но мне это не поможет

Я код ^ поправил малость - если у наследника поле имеет фиксированый размер - всё нормально.

[SovNarKom]

Uniser
У меня в Delphi на этом многое(!) работает и ни разу не сваливалось в acess violation... А это просто пример...

[Uniser]

Ошибка не выскакивает, но ты всё равно портишь информацию в памяти.
Проблема связана с ограниченностью функции проверяющей нарушение доступа, которая не видит нарушения в

Код: Выделить всё

 SSS.A:=TBaseC.Create;
 TOneClass(SSS.A).Card:=1234567890; 

На самом деле таким присваиванием ты можешь испортить значения в других объектах, также как запросто можешь потерять его в результате другой команды.

[SovNarKom]

Uniser
Скорее всего ты прав...

[Uniser]

Если у наследника будет много полей то в конце концов таким присваиванием

Код: Выделить всё

 SSS.A:=TBaseC.Create;
 TOneClass(SSS.A).Card:=1234567890; 

ты получишь AV

[SovNarKom]

Да вспомнил! В Delphi тоже были проблемы, я отказался от динамических массивов... да это конечно правильно при создании класса памяти выделяется только для него, да.

А вот по поводу второго примера?

[Uniser]

У меня ни в Делфи ни в Лазарусе ни в Паскале не выдаёт никаких ошибок.