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

Автор: volvo 23.11.2006 14:01

Приветствую всех, зашедших в эту тему...

Такая мысль у меня зрела давно, но вот сегодня (по мотивам одного из топиков в разделе Дельфи) я все-таки решил ее материализовать... Если понравится - продолжу

Тема создана для того, чтобы помочь начинающим программировать обратить внимание на особенности ООП, которые при написании программы и (казалось бы) "неправильной" ее работе могут вызвать недоумение.

Говорю сразу, сложных задач здесь выкладывать не буду, будут простые задачки с подвохом ( или без, это уже на мое усмотрение ), поэтому огромная просьба: НЕ запускайте компилятор... Внимательно посмотрите на код, и попробуйте определить, что будет выведено на экран при его выполнении... Объяснения, почему Вам кажется, что будет именно так, только присветствуются. Но скрывайте посты тегом [SPОILER], чтобы своим ответом не сбивать остальных

Значит, задача №1:

type
  TA = object
    constructor init;

    procedure print; virtual;
  end;

  TB = object(TA)
    constructor init;

    procedure print; virtual;
  end;

constructor TA.init;
begin
  writeln('TA.init');
end;
procedure TA.print;
begin
  writeln('TA type object');
end;

constructor TB.init;
begin
  inherited Init;
  writeln('TB.init');
end;
procedure TB.print;
begin
  writeln('TB type object');
end;

procedure print(X: TA);
begin
  X.print;
end;
procedure print_const(const X: TA);
begin
  X.print;
end;
procedure print_var(var X: TA);
begin
  X.print;
end;

var obj: TB;
begin
  obj.init;
  print(obj);
  print_const(obj);
  print_var(obj);
end.

Автор: hiv 23.11.2006 17:07

Можно и усложнить ;)
добавив:

type PTA=^TA;

procedure print_ptr(X: PTA);
begin
  X^.print;
end;

Автор: klem4 23.11.2006 18:52

Вот мое предположение:

TA.Init
TB.Init
TA type object
TB type object
TB type object

Автор: мисс_граффити 23.11.2006 19:36

ИМХО:

Автор: klem4 23.11.2006 20:49

procedure print_var(var X: TA);
begin
  X.print;
end;

Автор: volvo 23.11.2006 20:57

Андрей, внимательнее... Ты не там ошибся

Автор: klem4 23.11.2006 21:08

Ну да это я перепутал мальца, но смысл то остается тотже

Автор: volvo 24.11.2006 5:34

Так... Хорошо. Тогда еще одна...

Задача №2:
Что можете сказать по поводу этого кода? Любые комментарии (без компилирования и запуска) приветствуются...

type
  PT = ^T;
  T = object
  end;

  PTint = ^Tint;
  Tint = object(T)
    value: integer;

    procedure init(X: integer);
    procedure print;
  end;

  PTfloat = ^Tfloat;
  Tfloat = object(T)
    value: double;

    procedure init(X: double);
    procedure print;
  end;

procedure Tint.init(X: integer);
begin value := X end;
procedure Tint.print;
begin write(value:4) end;

procedure Tfloat.init(X: double);
begin value := X end;
procedure Tfloat.print;
begin write(value:8:4) end;

const
  maxSize = 100;
type
  TArr = object
    arr: array[1 .. maxSize] of PT;

    constructor init;
    procedure set_index(i: integer; p: PT);

    procedure count_each(var p: PT);
  end;

constructor TArr.init;
begin end;
procedure TArr.set_index(i: integer; p: PT);
begin if i <= maxSize then arr[i] := p; end;

procedure TArr.count_each(var p: PT);
var i, count: integer;
begin
  count := 0;
  for i := 1 to maxSize do
    if typeof(arr[i]^) = typeof(p^) then inc(count);
  writeln('count = ', count);
end;


var
  obj_int: ^Tint;
  obj_float: ^Tfloat;
  any_arr: TArr;
begin
  any_arr.init;
  obj_int := new(PTint); obj_int^.value := 3;
  any_arr.set_index(1, obj_int);
  obj_float := new(PTfloat); obj_float^.value := 3.5;
  any_arr.set_index(2, obj_float);
end.

Автор: Bokul 24.11.2006 6:43

Классная тема!

Автор: volvo 24.11.2006 13:14

Что выведет, например,

any_arr.count_each(new(PTfloat));

Автор: Bokul 25.11.2006 5:00

Автор: Bokul 26.11.2006 2:33

В общем не выдержал я решил попробовать скомпилировать (не запуская) код.
Компилятору не понравилось две строчки:
1-ая

procedure Tfloat.init(X: double);
begin value := X end; {Must be in 8087 mode to compile this}

procedure TArr.count_each(var p: PT);
var i, count: integer;
begin
  count := 0;
  for i := 1 to maxSize do
    if typeof(arr[i]^) = typeof(p^)  then {Object type expected}
        inc(count);
  writeln('count = ', count);
end;

Автор: volvo 26.11.2006 2:43

А я предупреждал:

будут простые задачки с подвохом ( или без, это уже на мое усмотрение )

Автор: мисс_граффити 26.11.2006 3:41

и мне интересно.
просто в тысячный раз скинуть пузырек можно и между делом, а здесь надо посидеть подумать.
*эт я пытаюсь себя заставить зачетную работу по философии делать.... уже забила.
volvo, следующий вопрос должен был быть "как заставить компилироваться" или "как заставить выдать определенный результат, имеющий какое-то значение"?
компилироваться, думаю, будет вот так:
({$N+} не вставляла как не относящееся к названной теме)

type
  PT = ^T;
  T = object
  {
    добавляем конструктор в родительский класс - остальные пусть наследуют...
    при желании можно было просто переделать init....
  }
  constructor create; 
  end;

  PTint = ^Tint;
  Tint = object(T)
    value: integer;
    procedure init(X: integer);
    procedure print;
  end;

  PTfloat = ^Tfloat;
  Tfloat = object(T)
    value: double;
    procedure init(X: double);
    procedure print;
  end;

procedure Tint.init(X: integer);
begin value := X end;
procedure Tint.print;
begin write(value:4) end;

procedure Tfloat.init(X: double);
begin value := X end;
procedure Tfloat.print;
begin write(value:8:4) end;

const
  maxSize = 100;
type
  TArr = object
    arr: array[1 .. maxSize] of PT;

    constructor init;
    procedure set_index(i: integer; p: PT);

    procedure count_each(p: PT); {убираем var... почему - см.ответ на предыдущий вопрос}
  end;

constructor TArr.init;
begin end;
procedure TArr.set_index(i: integer; p: PT);
begin if i <= maxSize then arr[i] := p; end;

procedure TArr.count_each(p: PT);
var i, count: integer;
begin
  count := 0;
  for i := 1 to maxSize do
    if typeof(arr[i]^) = typeof(p^) then inc(count);
  writeln('count = ', count);
end;

constructor T.Create;
begin end;

var
  obj_int: ^Tint;
  obj_float: ^Tfloat;
  any_arr: TArr;
begin
  any_arr.init;
  obj_int := new(PTint);
  obj_int^.Create; 
  obj_int^.value := 3;
  any_arr.set_index(1, obj_int);
  obj_float := new(PTfloat);
  obj_float^.create; 
  obj_float^.value := 3.5;
  any_arr.set_index(2, obj_float);
  any_arr.count_each(new(PTfloat));
end.

Автор: Bokul 26.11.2006 4:22

    
obj_int := new(PTint);
obj_int^.Create;

  obj_int := new(PTint,Create);

Автор: volvo 26.11.2006 4:55

Автор: Bokul 26.11.2006 5:52

Автор: volvo 26.11.2006 6:06

Автор: Bokul 26.11.2006 6:12

Автор: volvo 26.11.2006 6:28

Потому, что при описании

procedure count_each(Var p: PT);

any_arr.count_each(new(PTfloat));

Автор: Bokul 26.11.2006 6:40

Супер, спасибо!!!

any_arr.count_each(new(PTfloat));

Автор: volvo 26.11.2006 6:59

Автор: Bokul 26.11.2006 7:58

Автор: volvo 26.11.2006 14:05

Bokul Не будет того, что ты написал:

Спойлер (Показать/Скрыть)

Дело все в том, что функция TypeOf ничего никуда не копирует... если бы она работала так, как ты написал - в нем бы вообще смысла не было: это была бы просто функция, позволяющая в Compile-Time определить тип объекта... А зачем мне тогда привязываться к VMT? Дело все в том, что TypeOf возвращает адрес VMT для объекта (или типа, в RunTime уже созданы все таблицы причем в единственном экземпляре для каждого объектного типа, что позволяет программе определить, где БУДЕТ находиться VMT экземпляра объекта, когда он будет создан)...

Цитата

Как мы узнаем, где находится его конец?

А оно нам надо?

http://zeus.sai.msu.ru:7000/programming/bp70_lr/lr21.shtml#44

Цитата

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

, так что же получается? Если объектный тип имеет таблицу виртуальных методов, то у всех его потомков тоже гарантированно будут свои таблицы, так? Таблица создается всегда, кстати... Даже если не вызвать конструктор. Конструктор - он ведь только устанавливает в экземпляре объекта ссылку на VMT, поэтому, кстати, если НЕ вызвать конструктор, а вызвать виртуальный метод - система или зависнет, или тебя просто выбросит в General Protection Fault (поскольку ты не в чистом DOS-е). Причина - программа НЕ ЗНАЕТ, где расположена VMT, но таблица-то есть...

А если таблица есть и у предка, и у потомка, то логично будет предположить, что адреса хранятся в одном и том же месте? Так зачем КОНЕЦ объекта? Компилятору важно правильно добраться до того места, где хранится адрес, а это место гарантированно существует уже в предке - следовательно, все нормально...

Так что, твои рассуждения не верны... ТАМ где ты думаешь, ошибки не будет...

Автор: мисс_граффити 26.11.2006 16:41

obj_int^.Create; 
...
obj_float^.create; 

procedure TArr.set_index(i: integer; p: PT);
begin if i <= maxSize then arr[i] := p; end;

any_arr.count_each(obj_float);

Автор: volvo 26.11.2006 16:53

мисс_граффити Да ты что? Не будет и этого Два предположения из твоих трех - ошибочны...

Если бы все было так просто, неужели же я стал бы задавать этот вопрос?

Автор: мисс_граффити 26.11.2006 17:46

Расскажешь, как на самом деле?

Автор: volvo 26.11.2006 18:51

Спойлер (Показать/Скрыть)

Значит, так... Ошибка (вернее, недочет, который выявится при некоторых установках IDE Турбо-Паскаля, ну, и естественно, в любом 32-битном компиляторе) номер один:

  for i := 1 to maxSize do
    if typeof(arr[ i ]^) = typeof(p^) then inc(count); { <--- Здесь ... }

А именно - в попытке разыменования нулевого указателя (большинство компиляторов все-таки инициализируют все элементы arr nil-ом, потому, что эта переменная размещается не в стеке, а в куче)

исправляется очень просто:

  for i := 1 to maxSize do
    if (arr[ i ] <> nil) and (typeof(arr[ i ]^) = typeof(p^)) then inc(count);

Второе:

Цитата(мисс_граффити: попытка объяснить происходящее)

в результате мы получим странный массив, в котором один элемент - указатель на TFloat, один на TInt, а остальные - на нечто непонятное.

Чем же непонятное? Указатель описан, как указатель на базовый класс, значит, в любом случае, в массиве будут указатели на экземпляры одного из типов в цепочке наследования... Другое дело, что некоторые указатели будут неинициализированы, но они все равно будут указателями на базовый класс.

[i]Вот, кстати, еще одна причина при создании класса явно инициализировать все его члены либо сразу нужными значениями, либо нулем (или соответствующим ему значением для типа поля): если бы все было проинициализировано нулями, программа вылетела бы независимо от ключей компиляции, а это лучше, чем выдывать похожий на правду результат, а при определенных условиях начать сбоить...

Третье: для того, чтобы процедура count_each работала корректно (выдавала правильный результат), достаточно передать в нее указатель на объект, с инициализированной VMT, т.е. или так, как показала мисс_граффити - передать один из ранее использованных указателей, для которого вызывался Create, или

any_arr.count_each(new(PTfloat, create));

Но, если кто-то подумал, что это - все... Нет... Есть еще кое-что... memory leaks, в связи с чем

Автор: мисс_граффити 26.11.2006 19:24

var
  TT: ^T;
  obj_int: ^Tint;
  obj_float: ^Tfloat;
  any_arr: TArr;
begin
  any_arr.init;
  obj_int := new(PTint);
  obj_int^.Create;
  obj_int^.value := 3;
  any_arr.set_index(1, obj_int);
  obj_float := new(PTfloat);
  obj_float^.create;
  obj_float^.value := 3.5;
  any_arr.set_index(2, obj_float);
  TT:=new(PT);
  TT^.create;
  any_arr.set_index(3,TT);

Автор: volvo 26.11.2006 20:32

any_arr.set_index(4, nil);

Автор: мисс_граффити 26.11.2006 20:55

те же Ptr(DSeg,$1068)
соответственно, typeof(arr[4]^)<>typeof (объект одного из классов T,TInt,TFloat)
так?
или я что-то совсем неправильно понимаю?

Автор: volvo 26.11.2006 21:31

Ну, естественно... Какой же тип у NIL-а? Вообще-то, обращение по nil^ приводит к тому, что в С++ называется UB (Undefined Behavior)... НЕЛЬЗЯ этого делать... Поэтому, какой бы результат ты не получила - он будет некорректным, если значение указателя эквивалентно NIL

Автор: Bokul 27.11.2006 1:21

Спасибо за ссылку.

var
  obj_int: ^Tint;
  obj_float: ^Tfloat;
  any_arr: TArr;
 p:pointer;
begin
  mark(p);{запоминаем в p границу текущей не занятой памяти}
  any_arr.init;
  obj_int := new(PTint);
  obj_int^.Create; 
  obj_int^.value := 3;
  any_arr.set_index(1, obj_int);
  obj_float := new(PTfloat);
  obj_float^.create; 
  obj_float^.value := 3.5;
  any_arr.set_index(2, obj_float);
  any_arr.count_each(new(PTfloat));
  release(p);{освобождаем всю занятую память - от p и до конца кучи}
end.

Автор: volvo 27.11.2006 1:45

Нет, так не пойдет... Это не выход... Ты не убираешь утечки, а просто стираешь следы их присутствия... Я имел в виду "не допускать появления утечек"...

P.S. Заметь, я не сказал "Не изменяя объекты", я сказал "Не изменяя иерархию", т.е. не добавляя новых типов перед базовым, и между предком и потомком...

Автор: мисс_граффити 27.11.2006 2:04

Цитата(volvo @ 26.11.2006 17:31)

Автор: Bokul 27.11.2006 6:20

Автор: volvo 27.11.2006 6:33

Автор: Bokul 27.11.2006 6:39

Автор: volvo 27.11.2006 6:42

Автор: Bokul 27.11.2006 6:51

any_arr.count_each(new(PTfloat, create ));

Автор: volvo 27.11.2006 6:56

Угу... Молодец... А что произойдет с локальной копией, когда закончится выполнение процедуры, ты мне можешь рассказать? Даже не так... Давай начнем с такого вопроса: куда копируется переменная, переданная "по значению"?

Автор: Bokul 27.11.2006 7:02

Автор: мисс_граффити 27.11.2006 23:11

Передавать как константу?

procedure count_each(const p:PT);

Автор: volvo 27.11.2006 23:26

Нет, ребята (и девушки тоже ) - так не пойдет... Чего вы по одной строке спрашиваете? Я тоже могу сказать, что менять надо одну их этих строк, и что? Помогло это вам? Нисколько... Мне тоже вот этот момент

var
  (***** Начиная отсюда *****)
  obj_int: ^Tint;
  obj_float: ^Tfloat;
  (***** Заканчивая здесь *****)

  any_arr: TArr;
  
begin
  any_arr.init;

  (***** Начиная отсюда *****)
  obj_int := new(PTint);
  obj_int^.Create; 
  obj_int^.value := 3;
  any_arr.set_index(1, obj_int);
  obj_float := new(PTfloat);
  obj_float^.create; 
  obj_float^.value := 3.5;
  any_arr.set_index(2, obj_float);
  (***** Заканчивая здесь *****)

  any_arr.count_each(new(PTfloat));

  (* Здесь будет добавлен некоторый код !!! *)
end.

Автор: мисс_граффити 28.11.2006 1:21

запрет на пользование компилятором в силе?
если нет - где можно размер свободной памяти проверить?

Автор: volvo 28.11.2006 1:30

Нет, теперь на пользование компилятором нет запрета... Сейчас закрыт только код, который будет добавляться мной для теста

Но компилироваться программа должна в TP (и менять настройки среды для того, чтобы она заработала, пользователь не должен... Если нужно изменить режимы компиляции, или еще какие вещи - пользуемся директивами компилятора)

Автор: Bokul 28.11.2006 4:38

Автор: мисс_граффити 28.11.2006 5:03

...и как посмотреть, сколько памяти свободно?

Автор: volvo 28.11.2006 5:06

writeln(memavail);

Автор: Bokul 28.11.2006 5:18

А я?

Автор: volvo 28.11.2006 5:20

А ты - по ссылке, которую я давал раньше, там все написано
Ничего к сказанному там я добавить не могу...

Автор: Bokul 29.11.2006 5:56

Так?

type
  PT = ^T;
  T = object
  constructor create;
  destructor done;{добавляем деструктор}
  end;

destructor T.done;{который ничего не делает}
begin
end;

procedure TArr.count_each(const p: PT);
var i, count: integer;
begin
  count := 0;
  for i := 1 to maxSize do
    if (arr[i]<>nil) and (typeof(arr[i]^) = typeof(p^))
       then inc(count);
  writeln('count = ', count);
  dispose(p,done);{------------свобождаем память}
end;

var
  obj_int: PTint;
  obj_float:PTfloat;
  any_arr: TArr;
  mem:longint;
begin
  clrscr;
  mem:=memavail;{замеряем память до начала свалки}
  any_arr.init;
  obj_int := new(PTint,create);
  obj_int^.value := 3;
  any_arr.set_index(1, obj_int);
  obj_float := new(PTfloat,create);
  obj_float^.value := 3.5;
  any_arr.set_index(2, obj_float);
  any_arr.count_each(new(PTfloat,create));
  dispose(obj_float,done);{чистим за собой}
  dispose(obj_int,done);{и это тоже}
  writeln('Difference : ',mem-memavail);{вроде так как и было...}
  readln;
end.

Автор: volvo 29.11.2006 6:03

Автор: Bokul 29.11.2006 6:05

Что ж там за строки У меня максимальная утечка была 16 байт, у тебя -320

Автор: volvo 29.11.2006 6:14

Bokul, в моем скриншоте содержится скрытая подсказка

Автор: Bokul 1.12.2006 8:56

Все, сдаюсь... Не вижу, где убегают драгоценные байты... Идей нету, может только еще один деструктор для TArr сделать, но это уже гадание... так что прошу показать правильное решение.

Автор: volvo 1.12.2006 13:16

procedure TArr.set_index(i: integer; p: PT);
begin if i <= maxSize then arr[i] := p; end;

Автор: Bokul 1.12.2006 13:28

Аааа... Мелькала такая мысль, ну только я ее сразу почему-то отбросил.

any_arr.set_index(1,new(PTfloat,create));

Автор: volvo 1.12.2006 13:35

Автор: Bokul 1.12.2006 13:42

Автор: Bokul 1.12.2006 23:47

constructor TArr.init;{добавим некую полезную нагрузку в конструктор}
var i:byte;
begin 
   for i:=1 to maxSize do {обnilим все элементы}
    arr[i]:=nil;        
end;

procedure TArr.set_index(i: integer; const p: PT);
begin 
  if i<= maxSize then 
     begin
	    if arr[i]=nil then
	        arr[i]:=p
	    else
	         begin
		    dispose(arr[i],done);
                    arr[i]:=p;
                 end;				
     end;  
end;

function TArr.set_index(i: integer; const p: PT):boolean; {сделаем функцию вместо процедуры
                                                                                    true - все нормально
                                                                                    false - наоборот}
begin 
  if i<= maxSize then
     if arr[i]=nil then
	begin
	   arr[i]:=p;
	   set_index:=true;
	end
     else
	set_index:=false;
end;

type
  TArr = object
    arr: array[1 .. maxSize] of PT;
    num:byte;{сколько объектов уже было добавлено}
    procedure set_index(const p: PT);{i нам больше не понадобится}
  end;

constructor TArr.init;
var i:byte;
begin 
   num:=0;{!!!!!!!!!!!!!!!!!}
   for i:=1 to maxSize do 
      arr[i]:=nil;        
end;

procedure TArr.set_index(const p: PT);
begin 
  if num< maxSize then
    begin
	inc(num);
        arr[num]:=p;
    end;		
end;

Автор: volvo 1.12.2006 23:55

Первый вариант не убирает утечки: добавление тех же самых 3-х строк, что и раньше:


Второй и третий не тестировал ...

Автор: Bokul 2.12.2006 0:50

Я не понимаю почему там не возникает ошибки.

  
  obj_int := new(PTint,create);
  obj_int^.value := 3;
  any_arr.set_index(1, obj_int);

any_arr.set_index(1, obj_float);

		
begin
      dispose(arr[i],done);
      arr[i]:=p;
end;

dispose(obj_int,done);

Автор: volvo 2.12.2006 1:15

Автор: Bokul 2.12.2006 1:31

Error 210

Автор: Bokul 2.12.2006 3:41

Извиняюсь, не увидел вопроса

Автор: Bokul 3.12.2006 7:21

Надо сделать деструктор объекта T виртуальным, так как для правильной очистки полиморфических объектов с памяти надо знать их размер, а виртуальный деструктор это обеспечит. Естественно у наследников надо тоже сделать деструкторы виртуальными. Правильно?????

Автор: Bokul 4.12.2006 2:13

Автор: volvo 4.12.2006 2:51

Ну, так ты программу-то приаттачь со всеми изменениями, тогда и посмотрим, остаются утечки или нет Что же толку, если я сделаю те изменения, которые нужны?

Автор: Bokul 4.12.2006 5:03

Вот:


Прикрепленные файлы
 HHHH2.PAS ( 2.39 килобайт ) Кол-во скачиваний: 167

Автор: volvo 4.12.2006 17:14

В принципе, почти правильно... Но нужно еще кое-что добавить, потому что программа еще пропускает, например... Ну, вот результат:


Эскизы прикрепленных изображений

Автор: Bokul 5.12.2006 5:02

А утечек нету?

А с 210 я воюю уже давно, даже догадываюсь что ты поменял

any_arr.count_each(new(PTfloat,create));

Автор: Bokul 6.12.2006 5:14

Продолжаю ставить вопросы на которые никто не отвечает
Можно ли как-то программно отличить any_arr.count_each(new(PTfloat,create) ) от any_arr.count_each(obj_float )?

Автор: volvo 6.12.2006 15:58

Отвечаю... Естественно, вопросом на вопрос: "А зачем?"

Смысл этого привести сможешь? Что тебе даст, если ты это определишь? Все равно, у тебя (почти всегда) в count_each будет передан указатель на объект. Вот и работай с ним... Какая тебе (а тем более, твоей функции count_each) разница, сконструирована инициализация объекта прямо на месте, или передан указатель, уже использованный в программе? Это что-то меняет? Значит, неправильно спроектирована программа... Исправляй так, чтобы работало независимо от способа передачи параметров...

Автор: Bokul 7.12.2006 5:31

Автор: volvo 7.12.2006 5:51

type
  pT = ^T;
  T = object
    value: integer;

    constructor init(x: integer);
    procedure print; virtual;
  end;

constructor T.init(x: integer);
begin value := X; end;
procedure T.print;
begin writeln(value); end;


procedure print_me(const p: pT);
begin
  p^.print;
end;

begin
  print_me(new(pT, init(20)));
  print_me(new(pT, init(30)));
  print_me(new(pT, init(40)));
end.

Автор: Bokul 7.12.2006 6:04

В общем я имел ввиду объект с потерянным на него указателем, но не страшно, развития вопроса мне нравится...

Автор: volvo 7.12.2006 6:16

procedure TArr.count_each(const p: PT);
var i, count: integer;
begin
 count := 0;
 for i := 1 to num do
     if (typeof(arr[i]^) = typeof(p^))
        then inc(count);
 writeln('count = ', count);
 dispose(p,done);
end;

...
any_arr.count_each( ??? );

Автор: Bokul 7.12.2006 6:31

Автор: volvo 7.12.2006 6:40

Ты сам себе противоречишь, тебе не кажется? Ты покажи такой ответ, которого можно добиться... То есть, чтобы ошибка была предсказуемой... Твой предыдущий пост не отвечает на поставленный вопрос, ты вводишь сам себя в заблуждение (так ошибка произойдет на показанной тобой строке, или раньше?) Вот я сейчас могу показать, что надо сделать, чтобы произошла именно ошибка №210, а не немедленное закрытие программы, "неправильная инструкция" или еще что-то в этом роде... Следовательно, я смогу и избежать этой ошибки... Пока ты не научишься ошибки предсказывать - об их исправлении не может быть и речи

Автор: Bokul 7.12.2006 6:57

typeof(p^)

var
  obj_int: PTint;
  p:pointer;
begin
  obj_int := new(PTint,create);
  p:=obj_int;
  any_arr.count_each(p);
end.

Автор: volvo 7.12.2006 7:11

any_arr.count_each(nil);

Автор: Bokul 7.12.2006 7:23

Автор: volvo 7.12.2006 13:56

Кстати, я нашел у тебя еще кое-что не совсем корректное... Смотри:

function TArr.set_index(const p: PT):boolean;
begin
  inc(num);
  if num<= maxSize then
     begin
         arr[num]:=p;
         set_index:=true;
     end
  else
      begin
          dec(num);
          dispose(p,done);
          set_index:=false;
      end;
end;

  obj_float := new(PTfloat,create);
  obj_float^.value := 3.5;
  for i:=1 to 10 do
      begin
        if obj_float <> nil then { <--- Вот эту проверку, кстати, пользователь, делать не должен ... }
           any_arr.set_index(obj_float);
      end;

Автор: Bokul 8.12.2006 8:42

Автор: volvo 8.12.2006 15:50

Автор: Bokul 9.12.2006 5:11

Спасибо, теоретическая часть укрепилась.
То как там по поводу

Автор: volvo 9.12.2006 5:43

type
  pT = ^T;
  T = object
    ...
  end;

procedure X(const the_pointer: pT);
begin
  if assigned(the_pointer) then writeln('not assigned');
end;

var
  p: ^T;
...
  X( {что-то} )
...

Автор: Bokul 9.12.2006 6:30

Автор: Bokul 9.12.2006 11:26

p:^T

type
  T = object
   b:byte;
 end;

2 Создать ПВТ.

type
  T = object
   constructor init;
 end;

constructor t.init;
begin end;

type
  T = object
    destructor done;
 end;

destructor t.done;;
begin end;

type
  T = object
   procedure VirtualMethod; virtual;
 end;

procedure T.VirtualMethod;
begin end;

Автор: volvo 9.12.2006 16:45

Я не спрашивал, как обеспечить то, что P будет работать... Я спросил - может ли процедура напечатать сообщение...

Автор: Bokul 9.12.2006 22:52

var
  p: ^T;
begin
  new(p);
  X(p);
end.

Автор: Алена 10.12.2006 5:06

Пока volvo не будет - я продолжу за него, хорошо?

Вопрос немного меняется: пост №88 - процедуру изменяем вот так:

procedure X(const the_pointer: pT);
begin
  if NOT assigned(the_pointer) then writeln('not assigned');
end;

Автор: Bokul 10.12.2006 7:05

Автор: Алена 10.12.2006 13:46

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

Автор: Bokul 10.12.2006 23:26

type
  pT = ^T;
  T = object
  end;

procedure X(const the_pointer: pT);
begin
  if not(assigned(the_pointer)) then writeln('not assigned');
end;

var
  p: ^T;
begin
  X(nil);
end.

Автор: Алена 10.12.2006 23:36

Еще варианты будут?

Если нет, то я добавляю еще одно ограничение - на использование nil ... Это слово встречаться в программе не должно (равно, как и приведение к нему, вроде X(Pointer(0)))

Your turn

Автор: Bokul 11.12.2006 0:13

type
  pT = ^T;
  T = object
  end;

procedure X(const the_pointer: pT);
begin
  if the_pointer=nil then writeln('not assigned');
end;

var
  p: ^T;
begin
  X(p);
  readln;
end.
 

Автор: Алена 11.12.2006 1:12

А внимательно прочитать предыдущие посты - никак?

Автор: Bokul 11.12.2006 6:47

Вот:

type
   pT=^t;
   T=object
     constructor init;
   end;
constructor T.init;
begin end;

procedure X(const the_pointer:pT);
begin
  if the_pointer=nil then writeln('not assigned');
end;

var p:pointer;
    ob:t;
begin
p:=@p;{свяжем p с любым адресом}
getmem(p,sizeof(ob));{p:=nil}
x(p);
readln;
end.

Автор: Алена 11.12.2006 17:14

getmem(p,sizeof(ob));

Автор: Bokul 13.12.2006 5:11

type
  pT = ^T;
  T = object
  end;

  pTT=^TT;
  TT=object(T)
  end;

procedure X(const the_pointer: pT);
begin
  if the_pointer=nil then writeln('not assigned');
end;

var
  p: ^TT;
  mem:longint;
begin
  mem:=memavail;
  new(p);
  X(p);
  writeln('Difference: ',mem-memavail);
  readln;
end.

Автор: volvo 13.12.2006 5:34

Не пойдет... Имелся в виду другой способ... А теперь - о природе данного вопроса, почему собственно я его задал, хотя, казалось бы, предыдущий вопрос еще не решен окончательно? А вот почему. Я как раз это и хотел выяснить, знаешь ли ты, что при таком вызове

X(new(pT, Init));

Автор: Bokul 14.12.2006 4:27

Цитата(volvo @ 12.12.2006 17:34)

X(new(pT, Init));

Теперь, с подсказкой, КАК вызывать процедуру, сможешь написать код, который делает то, что требовалось?

Автор: volvo 14.12.2006 5:05

Автор: Bokul 14.12.2006 5:56

procedure X(const the_pointer: pT);
begin
  if the_pointer=nil then writeln('not assigned');
end;

Автор: volvo 14.12.2006 6:00

Вот с таким:

procedure X(const the_pointer: pT);
begin
  if not assigned(the_pointer) then writeln('not assigned');
end;

Автор: Bokul 14.12.2006 6:02

Автор: volvo 14.12.2006 6:04

var obj: TObject;

Автор: Bokul 15.12.2006 5:22

Автор: Bokul 15.12.2006 6:24

Разобрался, даже память не надо использовать, просто в конструкторе вызвать Fail, и все будет хорошо...

type
   pT=^T;
   T=object
     constructor init;
     destructor done;
   end;
constructor T.init;
begin
  done;
  fail;
end;


destructor T.done;
begin end;

procedure x(const the_pointer:pT);
begin
  if the_pointer=nil then
     writeln('not assigned');
end;

var mem:longint;
begin
  mem:=memavail;
  X(new(pT,init));
  writeln('Difference: ',mem-memavail);
  readln;
end.

Автор: Bokul 16.12.2006 0:32

Значит правильно?

Теперь я хотел бы вернутся к вопросу о организации и освобождения с память указателей на один и тот же объект - http://forum.pascal.net.ru/index.php?s=&showtopic=13848&view=findpost&p=82653.

Как сделать правильное освобождение, чтобы потом не возникло Error 210?

Автор: volvo 16.12.2006 5:45

Автор: Bokul 16.12.2006 6:07

Ясно, все красиво и просто.. после того как уже посмотрел...