ООП, Обьекты и Классы

[compiler]

Добрый день, начал изучать ООП, сначала по различным статьям, потом по руководству FPC, столкнулся с некоторыми вопросами о различии обьектов и классов, но пойдем по порядку...
Как я сначала понимал это различие, сначала на примере...
integer -- это класс, а после объявления var i:integer;, i - становится обьектом класса integer, и может рассматриваться как указатель на запись которая находится где-то...
Тоесть люди -- класс, а Вася Пупкин -- обьект. Таким образом разница между классами и обьектами ставится ясной, НО что мы читаем в руководстве

A class can be seen as a pointer to an object, or a pointer to a record.

и

The real difference between objects and classes is in the way they are created

(Reference guide. Chapter 6 , 6.1)
Так в чем же разница?

[shade]

Эта путаница из-за совместимости и Tubro Pascal и Object Pascal

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

Потом появились классы - теже объекты, но экземпляр класса всегда располагается в динамической памяти, и в этом смысле его можно сравнить с указателем на объект (object).

Чтобы не путаться, в паскале следует под классом и объектом понимать тип, значение (не путать с переменной) обзывать экземпляром (instance)...

Пример на класс
определение переменой типа TObject (класс)
obj: TObject;

создание экземпляра класса TObject
obj := TObject.Create;

удаляем объект
obj.Free;

пример на объект

type
TMyObj = object
procedure sayhello;
end;

// описываем метод объекта
procedure TMyObj.sayhello;
begin
writeln('Hello world');
end;

var
// определяем переменную объекта (создавать не надо, но для использования
// виртуальных функций нужно вызвать конструктор
obj: TMyObj;

// вызываем метод
obj.sayhello;

PS: по объектам лучше почитать какую-нибудь книжку по Tubro Pascal
по классам - книжку по Delphi

[compiler]

значение (не путать с переменной) обзывать экземпляром (instance)...

а чем переменная отличается от экземпляра?

[shade]

а чем переменная отличается от экземпляра?

Тем, что в переменной может храниться экземпляр, а может и nil...

В общем
переменная -- это ящик
экземпляр -- это вешь, которую можно положить в ящик
nil -- это пустая вещь

[compiler]

огромнейшее спасибо, но

Тем, что в переменной может храниться экземпляр, а может и nil...

а как в переменную поместить nil?

[v-t-l]

integer -- это класс, а после объявления var i:integer;, i - становится обьектом класса integer, и может рассматриваться как указатель на запись которая находится где-то...

Неудачный пример. integer -- это не класс, а один из простейших типов, т.к. не имеет полей, свойств, методов.

[shade]

а как в переменную поместить nil?

мда...
obj := nil; // это применимо только для классов, конечно же

[v-t-l]

Тем, что в переменной может храниться экземпляр, а может и nil...

В общем
переменная -- это ящик
экземпляр -- это вешь, которую можно положить в ящик
nil -- это пустая вещь

В переменной (объектного типа, класса) храниться не экземпляр, а адрес (указатель) экземпляра в памяти.

Соответственно, присвоив такой переменной nil, мы не высвобождаем память, занимаемую экземпляром класса, а просто теряем его адрес.
Поэтому, экземпляры объектов/классов нужно уничтожать, вызывая его метод-деструктор (обычно Free), а потом уже можно переменной присвоить nil, если нужно.

[v-t-l]

И поэтому-же, объявляя переменную класса, мы не получаем сразу экземпляр объекта, а только после вызова конструктора (обычно Create), который создает экземпляр объекта (класса) и возвращает указатель на него (его адрес).
Так что, рекомендую compiler ознакомиться и с указателями (pointers).

[Yogrik]

Поэтому, экземпляры объектов/классов нужно уничтожать, вызывая его метод-деструктор (обычно Free), а потом уже можно переменной присвоить nil, если нужно.

Читать как:
Поэтому, экземпляры объектов/классов нужно уничтожать, вызывая его метод-деструктор (обычно Destroy), а потом уже можно переменной присвоить nil, если нужно.

Однако часто вместо деструктора вызывают метод Free, который сначало проверяет не равна ли ссылка Nil а потом вызывает метод-деструктор(Destorоy)...

А те кто уже постарше обычно пользуются FreeAndNil(obj), который после вызова Free присваивает переменной Nil

[v-t-l]

А те кто уже постарше обычно пользуются FreeAndNil(obj), который после вызова Free присваивает переменной Nil

lazarus.pp:

Код: Выделить всё

...
  // free the IDE, so everything is freed before the finalization sections
  MainIDE.Free;
  MainIDE:=nil;
end.

[zub]

>>В переменной (объектного типа, класса) храниться не экземпляр, а адрес (указатель) экземпляра в памяти.
ненадо путать автора, в пересенной объектного типа хранится экземпляр а не указатель как в переменной классового типа

[shade]

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

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

[v-t-l]

>>В переменной (объектного типа, класса) храниться не экземпляр, а адрес (указатель) экземпляра в памяти.
ненадо путать автора, в пересенной объектного типа хранится экземпляр а не указатель как в переменной классового типа

то есть

Код: Выделить всё

var obj1, obj2: TObject;
...
obj1 := TObject.Create;
obj2 := obj1;


obj1 и obj2 будут разные экземпляры?

[zub]

TObject вообщето класс а не объект. я имел ввиду ключевое слово OBJECT