Задачи на знание ООП, (только для Турбо-Паскаля 7.0) Опции

[Bokul]

1 удалять с кучи прежний объект

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;

 HHHH1.PAS ( 1.93 килобайт ) Кол-во скачиваний: 282

2 не допускать этого

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;

 HHHH2.PAS ( 1.96 килобайт ) Кол-во скачиваний: 277

3 самому назначать индексы

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;

 HHHH3.PAS ( 1.81 килобайт ) Кол-во скачиваний: 307


PS Только что заметил: по времени вышло почти 10 часов, как и предсказывал, хотя я и не подстраивался

Сообщение отредактировано: Bokul - 1.12.2006 19:48

[volvo]

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


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

[Bokul]

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

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

Сейчас obj_int и первый элемент массива any_arr.arr указывают на один и тот же объект в кучи.

any_arr.set_index(1, obj_float);

Теперь я хочу поставить первым элементом указатель на другой объект.

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

Так как первый элемент не равнялся nil, то выполнение any_arr.set_index приведет к выполнению этого куска кода, в котором мы освобождаем память, выделенную под Tint, но один указатель, связанный с этим участком памяти, у нас остался - obj_int.
Почему не возникает ошибки сдесь:

dispose(obj_int,done);

? Эта ж память уже не с чем не связанна...

[volvo]

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

Это ты как определил? Я бы выразился по-другому: Turbo Pascal не показывает тебе, что там есть ошибка... Попробуй тот же код (закомментировав MemAvail) прогнать в FPC

[Bokul]

Error 210

With range-checking on, you made a call to an
object's virtual method, before the object
had been initialized via a constructor call.

Почему Turbo Pascal не видит эту ошибку? Что он делает? Еще раз освобождает эту память? А если она уже была зарезервированна для другого объекта или переменной?
А вот в таком случае (см. атач) получаем RunTime Error 204. Какая разница? Почему в данном варианте он видит, а там - нет?

[Bokul]

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

Это ты как определил?

После столько часов медитации над кодом все видно . Fpc не запускал.

[Bokul]

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

[Bokul]

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

Или уже никто не заглядывает в эту тему?

Сообщение отредактировано: Bokul - 3.12.2006 22:14

[volvo]

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

[Bokul]

Вот:

[volvo]

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

[Bokul]

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

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

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

вместо new(PTfloat,create) поставил что-то наподобие obj_float... Так?
Бороться не знаю как... Подскажешь?

[Bokul]

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

[volvo]

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

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

[Bokul]

Значит, неправильно спроектирована программа...

Полностью согласен.

Какая тебе (а тем более, твоей функции count_each) разница, сконструирована инициализация объекта прямо на месте, или передан указатель, уже использованный в программе?

А как освободить с памяти объект на который нет указателя? Вот тебе и разница...

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

[volvo]

А как освободить с памяти объект на который нет указателя?

А вот с этого места, пожалуйста, поподробнее... То есть, ты считаешь, что вот эта программа:

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.

не напечатает ничего? Как же она может напечатать, если я передаю (да еще и константно) указатель на объект, который НЕ существует? Вынужден тебя огорчить, она будет работать... Объясни тогда, почему, если НЕТ указателя?

Полностью согласен.

Ха... А ты что думал, я дам программку, в которой надо изменить 2 символа и она будет работать, как положено? Нет уж...

[Bokul]

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

Как же она может напечатать, если я передаю (да еще и константно) указатель на объект, который НЕ существует?

Что, он действительно не существует? Судя по изменению памяти я бы этого не сказал...

Объясни тогда, почему, если НЕТ указателя?

procedure print_me(const p: pT);

А что же тогда такое p?

[volvo]

Что, он действительно не существует?

А теперь я тебя спрошу:

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( ??? );

Что должно быть на месте вопросов, чтобы внутри count_each произошла Run-Time ошибка 210 ? И где именно она может произойти (желательно показать строчку внутри процедуры, и сказать, ЧТО эту ошибку может вызвать)...

[Bokul]

И где именно она может произойти

Так как 210 ошибка возникает при обращению к виртуальному методу не инициализированного объекта, а единственный используемый метод это done, то следовательно такая ошибка может возникнуть только здесь -

dispose(p,done);

Что должно быть на месте вопросов, чтобы внутри count_each произошла Run-Time ошибка 210 ?

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

[volvo]

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