Массив разнотипных объектов, ООП Опции

[sheka]

Реализовать многоразовый вывод разных картинок на экран.
Я думаю это сделать с помощью ООП: сделать массив разнотипных объектов и потом просто вызывать отрисовку.

Заголовок (Показать/Скрыть)

type
  TFirst = object
  protected
    a: integer;
    procedure Draw; virtual;
  public
    procedure Show;
    constructor Create(ia: integer);
  end;
  TSecond1 = object(TFirst)
  protected
    b: integer;
    procedure Draw; virtual;
  public
    constructor Create(ia,ib: integer);
  end;
  TSecond2 = object(TFirst)
  protected
    s: string;
    procedure Draw; virtual;
  public
    constructor Create(ia: integer;ist:string);
  end;

constructor TFirst.Create(ia: integer);
begin
  a := ia;
end;

procedure TFirst.Show;
begin
  Draw;
  writeln;
end;

procedure TFirst.Draw;
begin
  writeln('a = ',a);
end;

constructor TSecond1.Create(ia,ib: integer);
begin
  inherited Create(ia);
  b := ib;
end;

procedure TSecond1.Draw;
begin
  writeln('a = ',a);
  writeln('b = ',b);
end;

constructor TSecond2.Create(ia: integer;ist: string);
begin
  inherited Create(ia);
  s := ist;
end;

procedure TSecond2.Draw;
begin
  writeln('a = ',a);
  writeln('s = ',s);
end;


var
  a: array [1..2] of ^TFirst;
  p1: ^TSecond1;
  p2: ^TSecond2;
  i: integer;

begin
  New(p1);
  p1^.Create(5,7);
  a[1] := p1;
  New(p2);  p2^.Create(9,'mama');
  p2^.Create(9,'mama');
  a[2] := p2;
  writeln('SizeOf(p1^)  = ',SizeOf(p1^));
  writeln('SizeOf(a[1]^) = ',SizeOf(a[1]^));
  writeln('SizeOf(p2^)  = ',SizeOf(p2^));
  writeln('SizeOf(a[2]^) = ',SizeOf(a[2]^));
  for i := 1 to 2 do
    a[i]^.Show;

  for i := 1 to 2 do
    dispose(a[i]);
  readln;
end.

Тут проблемы:
1. При присваивании родителю наследника некоторые поля откидываются, т. е. это не будут полноценные объекты.
2. Сreate все таки вне цикла
3. Если делать не динамическими переменными почему-то writeln('s = ',s); строку s не выводит
4. Одним местом чувствую, что с памятью что-то не то, т. к. учитывая, что идет подгонка под родителя, то почему-то памяти выделяется как под наследника.

[volvo]

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

При присваивании статических объектов Предок <- Потомок у тебя копируются только поля, существующие в предке. Все остальные - теряются, ибо места под них не было выделено (не телепат твой TFirst, чтобы знать, что у него в будущем появится потомок TSecond, а тем более, чтобы знать, какие поля он будет содержать). Зато конструктор TSecond прекрасно знает, что этот тип - потомок TFirst, и какие поля есть у потомка, и какие поля есть у него самого, сколько памяти выделить под конкретный экземпляр. Поэтому создаем объект динамически (вызовом нужного конструктора, тогда будет выделено именно столько памяти, сколько нужно для этого конкретного объекта), и передаем разыменованный указатель в полиморфную подпрограмму. А там уже забота компилятора разобраться, какой метод ты дергаешь, статический он или виртуальный, и чей именно метод будет вызван. В моем примере Draw у базового типа виртуальный - значит, вызовется Draw из того типа, который ты создавал в arr[ i ], а потом разыменовывал. Если я уберу Virtual из описания TFirst - то реально нужный мне метод уже не вызовется, отработает только пустой Draw базового класса (кстати, совершенно легальная ситуация, когда у тебя какие-то методы статические, а на каком-то этапе ты делаешь их виртуальными, и виртуальными они уже будут у всех наследников ниже по дереву. Обратное невозможно, т.е., изначально виртуальный метод не может в одном из потомков стать статическим).

хотя бы пустой написать, чтобы таблицу связей удалил?

Хотя бы пустой напиши (для каждого типа в иерархии). Чтобы объект нормально освободил занимаемую память.