Версия для печати темы

Автор: klem4 8.01.2007 1:37

Как реализовать такое на 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;

Автор: klem4 8.01.2007 2:03

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

Работает:

{$mode TP}
uses crt;

type

  TA = object
    constructor Create;
    procedure P; virtual;
  end;

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

constructor TA.Create;
begin end;

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


constructor TB.Create(some: Integer);
begin Inherited Create end;

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

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

Не работает:

{$mode TP}
type

  TFigure = object
    constructor Create;
    destructor Done;
    procedure   Show; virtual;
    procedure   Refresh;
    enabled: Boolean;
  end;

  TCircle = object(TFigure)
    constructor Create(centrX, centrY, radius: Word);
    procedure   Show; virtual;
    cx, cy, r: Word;
  end;


constructor TFigure.Create;
begin end;

destructor TFigure.Done;
begin end;

procedure TFigure.Show;
begin end;

procedure TFigure.Refresh;
begin end;

constructor TCircle.Create(centrX, centrY, radius: Word);
begin inherited Create; end;

procedure TCircle.Show;
begin end;

var
  T: ^TFigure;

begin
  TCircle(T^).Create(1, 1, 1);
end.

Автор: Bokul 8.01.2007 2:25

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

Автор: volvo 8.01.2007 2:35

Type
  PTCircle = ^TCircle;
...
var
  T: ^TFigure;
begin
  T := new(PTCircle, Create(1, 1, 1));
end.

?

Автор: Bokul 8.01.2007 2:40

volvo, но он же пытается сделать обратное.

Автор: volvo 8.01.2007 2:55

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

В результате что должно получиться? Указатель на предка должен хранить адрес потомка... А я что предложил?

Автор: Bokul 8.01.2007 3:21

TB(A^).Create(3);

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

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

Автор: klem4 8.01.2007 3:32

Да, volvo прав, спасибо.

Автор: Bokul 8.01.2007 4:06

Все-равно интересно так будет или нет?

Автор: volvo 8.01.2007 4:23

Будет, и что в этом особенного? VMT инициализируется в конструкторе, конструктор был вызван для TB, вот и все... Если бы в TCircle не добавились новые поля, в связи с чем размер экземпляра объекта увеличился, можно было бы извращаться так и дальше (хотя New/Dispose придумали в расширенном виде именно для удобства, так почему не пользоваться ими, особенно функциональной, а не процедурной формой New)...

НО поскольку поля все же были добавлены - TypeCast (в этом направлении) уже не пройдет... Ты даже сам написал, почему...