ООП в Tp Опции

[klem4]

Как реализовать такое на TP, используя объекты ? Пробовал приведением к типу, не выходит ...

{$mode objfpc}
type
  TA = class
    constructor Create;
    procedure P; virtual;
  end;

  TB = class(TA)
    constructor Create;
    procedure P; override;
  end;

constructor TA.Create;
begin end;

procedure TA.P;
begin writeln('TA') end;

constructor TB.Create;
begin Inherited Create end;

procedure TB.P;
begin writeln('TB') end;

var
  A : ^TA;
begin
  GetMem(A, sizeof(TA));
  A^ := TB.Create;
  A^.P;
end.

{$mode TP}
type
  TA = object
    constructor Create;
    procedure P; virtual;
  end;

  TB = object(TA)
    constructor Create;
    procedure P; virtual;
  end;

constructor TA.Create;
begin end;

procedure TA.P;
begin writeln('TA') end;

constructor TB.Create;
begin Inherited Create end;

procedure TB.P;
begin writeln('TB') end;

var
  A : ^TA;
begin
  GetMem(A, sizeof(TA));
  A^.Create;
  TB(A^).P;
end.

Добавлено:
Вопрос решен

  TB(A^).Create;

[Bokul]

TB(A^).Create(3);

А что мы делаем тут? Выходит VMP предка будет указывать на VMT наследника?

Он пытается привести ^TFigure к ^TCircle, и создать экземпляр объекта, или я чего-то не заметил?

Я так и полностью и не понял, запутанно все.