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

[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]

Ошибка в том, что элементы массива типа TShape, а создаются с типом TBar(TShape) и таким образом не передаются размеры

Ты действительно считаешь, что поведение

    PLetter^[ i ]^ := PSample^;

, где PLetter[ i ] - типа PTShape, а PSample - создан как PSample := new(PTLetterShape, Create);, то есть, фактически, ты присваиваешь TShape <- TBar, разумеется, все отсутствующие в TShape поля перенесены гарантированно не будут, по правилам присваивания предку значения-потомка - это ошибка?

Это ошибка, только чья?

А между тем, если сделать два вот таких простых движения:
1) описание типов

type
  // PTLetterShape = PTBar;
  PTLetterShape = ^TLetterShape; // Угу, указатель - так указатель, незачем делать двойную работу
  TLetterShape = TBar;

  TPLetter = array[1..maxint div sizeof(PTShape)] of PTShape;
  PPLetter = ^TPLetter;

  PTLetterBox = ^TLetterBox;
  TLetterBox = object(TBar)
  private
    PSample: PTLetterShape; // <--- Вот это - движение №1
    procedure PLetterCreate;
    procedure PLetterDestroy;
  protected
    // Дальше все как было в объекте
  end;

2) метод TLetterBox.LettersLoadFromFile(const FileName: string);

  for i := 1 to ColCount*(RowCount-1) do
  begin
    PTLetterShape(PLetter^[i])^ := PSample^; // Это - движение №2, 14 строк ниже - повтори его. 
    PLetter^[i]^.SetXY(LeftShift+((i-1) mod ColCount)*(PLetter^[i]^.GetWidth+ColDistance),
                    TopShift+((i-1) div ColCount)*(PLetter^[i]^.GetHeight+RowDistance));
    readln(f,s);
    PLetter^[i]^.Title.SetCaption(s);
  end;

, то все заведется как положено, и будет рисоваться рамка. Просто изменение типа PSample ничего не даст. Объяснить причину сможешь?

P.S. На самом деле первое движение можно не делать, а второе сделать чуть более хитро:

    PTLetterShape(PLetter^[i])^ := PTLetterShape(PSample)^;

, это тоже должно сработать, лень проверять