Помощь - Поиск - Пользователи - Календарь
Полная версия: ООП в Tp
Форум «Всё о Паскале» > Pascal, Object Pascal > Теоретические вопросы
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.










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


  TB(A^).Create;
klem4
Вот в чем тут проблема понять не могу, ситуация такая-же, но теперь у предка и потомка разные конструкторы, в простеньком примере проходит, а чуть посложнее уже не берет, в чем проблема ?

Работает:

{$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
Причина в том, что в наследника есть новые поля, которые при конвертации будут не заполнены и чтобы не произошло ошибки паскаль не даёт делать такое.
volvo
Type
PTCircle = ^TCircle;
...
var
T: ^TFigure;
begin
T := new(PTCircle, Create(1, 1, 1));
end.

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

В результате что должно получиться? Указатель на предка должен хранить адрес потомка... А я что предложил?
Bokul
TB(A^).Create(3);

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

Я так и полностью и не понял, запутанно все.
klem4
Да, volvo прав, спасибо.
Bokul
Цитата
А что мы делаем тут? Выходит VMP предка будет указывать на VMT наследника?

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

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