Жизненный цикл объекта - История изменений

SergeMukhin: /* Финализатор */

2007-12-20T10:17:11Z

Финализатор

← Предыдущая		Версия 12:17, 20 декабря 2007
Строка 100:		Строка 100:

	===Финализатор===		===Финализатор===
	Существует специальный предикат, который вызывается в момент гибели объекта, перед освобождением памяти объекта. Этот предикат - finalize. Его нельзя объявить, но для объектных классов можно написать реализацию (клауз).		Существует специальный предикат, который вызывается в момент гибели объекта, перед освобождением памяти объекта. Этот предикат - '''finalize'''. Его нельзя объявить, но для объектных классов можно написать реализацию (клауз).
	Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат finalize (если он есть), не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. Также нельзя делать никаких предположений о порядке освобождения объектов и, соответственно, о порядке вызова finalize для разных объектов. Рекомендуется предикат finalize использовать исключительно для освобождения ресурсов, при этом объектные факты освобождать нет никакой необходимости. Раз уж объект удаляется, то и все его факты постигнет аналогичная участь.		Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат '''finalize''' (если он есть), не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. Также нельзя делать никаких предположений о порядке освобождения объектов и, соответственно, о порядке вызова '''finalize''' для разных объектов. Рекомендуется предикат '''finalize''' использовать исключительно для освобождения ресурсов, при этом объектные факты освобождать нет никакой необходимости. Раз уж объект удаляется, то и все его факты постигнет аналогичная участь.
			Так же не рекомендуется закладывать в финализатор выполнение каких-нибудь логических действий. Например, если закрытие файла делать в финализаторе, то файл будет отрыт, а доступ других программ будет заблокировано, до неизвестного момента, пока сборщик мусора соизволит удалить данный объект.
			Следует учитывать и то, что финализатор может быть вызван на не полностью инициализированном объекте. Например, если произошёл сбой при выполнении конструктора, то не все факты будут правильно инициализированы. Поэтому всегда следует проверять факт, например на '''erroneous'''.

			Ещё одно замечание, нельзя заранее сказать на каком потоке (thread) будет выполняться сборщик мусора (неявный вызов) и, соответственно, выполняться финализаторы. Распространение исключения из финализатора может повредить логику работы сборщика. В связи с эти все исключения из финализаторов перехватываются [[Обработка исключений\|try/catch]] и игнорируется. Т.е. как будто вызов финализатора происходит так:
			<Vip>try
			Object:finalize()
			catch _ do
			succeed()
			end try</Vip>

	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin: /* Финализатор */

2007-12-19T08:31:35Z

Финализатор

← Предыдущая		Версия 10:31, 19 декабря 2007
Строка 100:		Строка 100:

	===Финализатор===		===Финализатор===
			Существует специальный предикат, который вызывается в момент гибели объекта, перед освобождением памяти объекта. Этот предикат - finalize. Его нельзя объявить, но для объектных классов можно написать реализацию (клауз).
	Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат finalize (если он есть), не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. Также нельзя делать никаких предположений о порядке освобождения объектов и, соответственно, о порядке вызова finalize для разных объектов. Рекомендуется предикат finalize использовать исключительно для освобождения ресурсов, при этом объектные факты освобождать нет никакой необходимости. Раз уж объект удаляется, то и все его факты постигнет аналогичная участь.		Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат finalize (если он есть), не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. Также нельзя делать никаких предположений о порядке освобождения объектов и, соответственно, о порядке вызова finalize для разных объектов. Рекомендуется предикат finalize использовать исключительно для освобождения ресурсов, при этом объектные факты освобождать нет никакой необходимости. Раз уж объект удаляется, то и все его факты постигнет аналогичная участь.
	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin в 08:14, 19 декабря 2007

2007-12-19T08:14:39Z

← Предыдущая		Версия 10:14, 19 декабря 2007
Строка 99:		Строка 99:
	<vip>memory::garbageCollect()</vip> но обычно в этом нет никакой необходимости.		<vip>memory::garbageCollect()</vip> но обычно в этом нет никакой необходимости.

			===Финализатор===
	Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат finalize (если он есть), не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. Также нельзя делать никаких предположений о порядке освобождения объектов и, соответственно, о порядке вызова finalize для разных объектов. Рекомендуется предикат finalize использовать исключительно для освобождения ресурсов, при этом объектные факты освобождать нет никакой необходимости. Раз уж объект удаляется, то и все его факты постигнет аналогичная участь.		Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат finalize (если он есть), не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. Также нельзя делать никаких предположений о порядке освобождения объектов и, соответственно, о порядке вызова finalize для разных объектов. Рекомендуется предикат finalize использовать исключительно для освобождения ресурсов, при этом объектные факты освобождать нет никакой необходимости. Раз уж объект удаляется, то и все его факты постигнет аналогичная участь.
	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin в 21:56, 18 декабря 2007

2007-12-18T21:56:44Z

← Предыдущая		Версия 23:56, 18 декабря 2007
Строка 26:		Строка 26:
	не меняет сути - пока выполняется предикат ''вызовПредикатаДругогоКлоза(МойОбъект)'' экземпляр продолжает жить и умрет после завершения выполнения предиката ''последнийПредикатКлоза(...)''.		не меняет сути - пока выполняется предикат ''вызовПредикатаДругогоКлоза(МойОбъект)'' экземпляр продолжает жить и умрет после завершения выполнения предиката ''последнийПредикатКлоза(...)''.

	В большинстве случаев для построения более или менее полезной и хорошо ~~организованнй~~ программы этого недостаточно. Объект, содержащий данные, используемые другими объектами, должен жить, пока это необходимо и ~~должет~~ быть доступен.		В большинстве случаев для построения более или менее полезной и хорошо организованной программы этого недостаточно. Объект, содержащий данные, используемые другими объектами, должен жить, пока это необходимо и должен быть доступен.

	Для этой цели используется хранение указателей на объекты в фактах. В VIP как предикаты, так и факты типизированы. А это значит, что при декларировании факта (а равно и предиката) необходимо указание домена - либо предопределённого в языке, либо объявленного в программе.		Для этой цели используется хранение указателей на объекты в фактах. В VIP как предикаты, так и факты типизированы. А это значит, что при декларировании факта (а равно и предиката) необходимо указание домена - либо предопределённого в языке, либо объявленного в программе.
Строка 34:		Строка 34:
	Например,		Например,
	<vip>class мойКласс:мойИнтерфейс		<vip>class мойКласс:мойИнтерфейс
	end ~~classмойКласс~~</vip>		end class мойКласс</vip>
	уже определяет то обстоятельство, что все экземпляры класса мойКласс принадлежат домену ''мойИнтерфейс''.		уже определяет то обстоятельство, что все экземпляры класса мойКласс принадлежат домену ''мойИнтерфейс''.
	Поэтому объявление факта либо в виде		Поэтому объявление факта либо в виде
Строка 71:		Строка 71:
	То есть физически окно может быть закрыто, но не удаление указателя на это окно оставит объект в памяти. Аналогично часто указатели на COM-объекты могут быть причиной не освобождения памяти сборщиком мусора.		То есть физически окно может быть закрыто, но не удаление указателя на это окно оставит объект в памяти. Аналогично часто указатели на COM-объекты могут быть причиной не освобождения памяти сборщиком мусора.

	Существует один замечательный ~~предопределенный~~ интерфейс, который, как и все интерфейсы является и доменом. Это интерфейс - object.		Существует один замечательный предопределённый интерфейс, который, как и все интерфейсы является и доменом. Это интерфейс - object.

	Все экземпляры, принадлежащие доменам своих интерфейсов, в то же время являются дочерними доменами домена object.		Все экземпляры, принадлежащие доменам своих интерфейсов, в то же время являются дочерними доменами домена object.
Строка 90:		Строка 90:
	...</vip>		...</vip>
	в этом случае не пропустит компилятор.		в этом случае не пропустит компилятор.
	Вместо этого необходимо ~~прoизводить~~ конвертацию		Вместо этого необходимо производить конвертацию
	<vip> ...		<vip> ...
	МойУказатель=convert(мойИнтерфейс,мойУказатель_V),		МойУказатель=convert(мойИнтерфейс,мойУказатель_V),

SergeMukhin: Гибель объекта

2007-12-18T21:52:45Z

Гибель объекта

← Предыдущая		Версия 23:52, 18 декабря 2007
Строка 3:		Строка 3:

	===Гибель объекта===		===Гибель объекта===
	VIP не содержит никаких средств для уничтожения объектов. Тем не менее они не живут вечно (до конца жизни приложения). Время жизни объектов определяется сборщиком мусора (''GarbageCollector''), встроенного в ''RunTime'' часть VIP. Сборщик мусора считает, что память, занимаемая объектом (экземпляром), может быть освобождена, когда исчезнут все ссылки на объект. И это почти единственное правило, определяющее время жизни объекта (~~экземплляра~~).		VIP не содержит никаких средств для уничтожения объектов. Тем не менее они не живут вечно (до конца жизни приложения). Время жизни объектов определяется сборщиком мусора (''GarbageCollector''), встроенного в ''RunTime'' часть VIP. Сборщик мусора считает, что память, занимаемая объектом (экземпляром), может быть освобождена, когда исчезнут все ссылки на объект. И это почти единственное правило, определяющее время жизни объекта (экземпляра).
	Исходя из этого правила объект, созданный в пределах одного клоза, если ссылка на него не сохранена, погибает по завершении клоза.		Исходя из этого правила объект, созданный в пределах одного клоза, если ссылка на него не сохранена, погибает по завершении клоза.
	Например,		Например,
Строка 28:		Строка 28:
	В большинстве случаев для построения более или менее полезной и хорошо организованнй программы этого недостаточно. Объект, содержащий данные, используемые другими объектами, должен жить, пока это необходимо и должет быть доступен.		В большинстве случаев для построения более или менее полезной и хорошо организованнй программы этого недостаточно. Объект, содержащий данные, используемые другими объектами, должен жить, пока это необходимо и должет быть доступен.

	Для этой цели используется хранение ~~укзателей~~ на объекты в фактах. В VIP как предикаты, так и факты типизированы. А это значит, что при декларировании факта (а равно и предиката) необходимо указание домена - либо ~~предопределенного~~ в языке, либо объявленного в программе.		Для этой цели используется хранение указателей на объекты в фактах. В VIP как предикаты, так и факты типизированы. А это значит, что при декларировании факта (а равно и предиката) необходимо указание домена - либо предопределённого в языке, либо объявленного в программе.
	Применительно к указателям на объекты, специального объявления домена, связанного с объектами, не существует. Здесь действует правило: объявление интерфейса класса является одновременно и объявлением домена, определяющего этот класс.		Применительно к указателям на объекты, специального объявления домена, связанного с объектами, не существует. Здесь действует правило: объявление интерфейса класса является одновременно и объявлением домена, определяющего этот класс.

Строка 69:		Строка 69:
	Как показал опыт, если объект хранит указатель на окно (домен ''vpiDomains::windowHandle''), то сборщик мусора будет рассматривать этот объект, как используемый.		Как показал опыт, если объект хранит указатель на окно (домен ''vpiDomains::windowHandle''), то сборщик мусора будет рассматривать этот объект, как используемый.

	То есть физически окно может быть закрыто, но ~~неудаление~~ указателя на это окно оставит объект в памяти. Аналогично часто указатели на COM-объекты могут быть причиной ~~неособождения~~ памяти сборщиком мусора.		То есть физически окно может быть закрыто, но не удаление указателя на это окно оставит объект в памяти. Аналогично часто указатели на COM-объекты могут быть причиной не освобождения памяти сборщиком мусора.

	Существует один замечательный предопределенный интерфейс, который, как и все интерфейсы является и доменом. Это интерфейс - object.		Существует один замечательный предопределенный интерфейс, который, как и все интерфейсы является и доменом. Это интерфейс - object.
Строка 99:		Строка 99:
	<vip>memory::garbageCollect()</vip> но обычно в этом нет никакой необходимости.		<vip>memory::garbageCollect()</vip> но обычно в этом нет никакой необходимости.

	Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат finalize, не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. [[Категория:VipLanguage]]		Следует иметь в виду, что момент, когда память будет фактически освобождена, и будет вызван предикат finalize (если он есть), не контролируется и определяется внутренней логикой сборщика мусора и его взаимодействием с операционной системой. Также нельзя делать никаких предположений о порядке освобождения объектов и, соответственно, о порядке вызова finalize для разных объектов. Рекомендуется предикат finalize использовать исключительно для освобождения ресурсов, при этом объектные факты освобождать нет никакой необходимости. Раз уж объект удаляется, то и все его факты постигнет аналогичная участь.
			[[Категория:VipLanguage]]

Victor Yukhtenko: /* Гибель объекта */

2007-10-11T07:56:20Z

Гибель объекта

← Предыдущая		Версия 09:56, 11 октября 2007
Строка 41:		Строка 41:
	либо в виде		либо в виде
	<vip>facts		<vip>facts
	мойУказатель_V:мойИнтерфейс:=erroneous.<vip>		мойУказатель_V:мойИнтерфейс:=erroneous.</vip>
	Являются правильными (не путать с целесообразностью) объявлениями.		Являются правильными (не путать с целесообразностью) объявлениями.
	Тогда в примере		Тогда в примере

Victor Yukhtenko: «Классы. Жизненный цикл объекта» переименована в «Жизненный цикл объекта»: Удаление лишней информации из заголовка

2007-10-02T07:09:31Z

«Классы. Жизненный цикл объекта» переименована в «Жизненный цикл объекта»: Удаление лишней информации из заголовка

← Предыдущая	Версия 09:09, 2 октября 2007
(нет различий)

Victor Yukhtenko в 13:08, 26 сентября 2007

2007-09-26T13:08:23Z

← Предыдущая		Версия 15:08, 26 сентября 2007
Строка 2:		Строка 2:
	Других способов создания объектов (экземпляров класса), кроме как с использованием предикатов, объявленных для данного класса конструктором (явно или не явно), нет. Если конструктор не объявлен, то может быть использован предопределенный конструктор new().		Других способов создания объектов (экземпляров класса), кроме как с использованием предикатов, объявленных для данного класса конструктором (явно или не явно), нет. Если конструктор не объявлен, то может быть использован предопределенный конструктор new().

	==Гибель объекта==		===Гибель объекта===
	VIP не содержит никаких средств для уничтожения объектов. Тем не менее они не живут вечно (до конца жизни приложения). Время жизни объектов определяется сборщиком мусора (''GarbageCollector''), встроенного в ''RunTime'' часть VIP. Сборщик мусора считает, что память, занимаемая объектом (экземпляром), может быть освобождена, когда исчезнут все ссылки на объект. И это почти единственное правило, определяющее время жизни объекта (экземплляра).		VIP не содержит никаких средств для уничтожения объектов. Тем не менее они не живут вечно (до конца жизни приложения). Время жизни объектов определяется сборщиком мусора (''GarbageCollector''), встроенного в ''RunTime'' часть VIP. Сборщик мусора считает, что память, занимаемая объектом (экземпляром), может быть освобождена, когда исчезнут все ссылки на объект. И это почти единственное правило, определяющее время жизни объекта (экземплляра).
	Исходя из этого правила объект, созданный в пределах одного клоза, если ссылка на него не сохранена, погибает по завершении клоза.		Исходя из этого правила объект, созданный в пределах одного клоза, если ссылка на него не сохранена, погибает по завершении клоза.
	Например,		Например,
	<~~VIP~~>clauses		<vip>clauses
	мойПример():-		мойПример():-
	МойОбъект=мойОбъект::new(),		МойОбъект=мойОбъект::new(),
Строка 12:		Строка 12:
	...		...
	последнийПредикатКлоза().		последнийПредикатКлоза().
	</~~VIP~~>		</vip>
	Здесь указатель на экземпляр класса ''мойОбъект'' сохраняется в переменной ''МойОбъект''. Поэтому, пока клоз ''мойПример'' выполняется, живет и доступен через указатель ''МойОбъект'' и экземпляр ''мойОбъект''.		Здесь указатель на экземпляр класса ''мойОбъект'' сохраняется в переменной ''МойОбъект''. Поэтому, пока клоз ''мойПример'' выполняется, живет и доступен через указатель ''МойОбъект'' и экземпляр ''мойОбъект''.
	По правилам Пролога, переменные в клозах являются локальными и сохраняют свои значения только в пределах клоза. Следовательно, по завершении выполнения клоза ''мойПример'' объект''мойОбъект'' считается недоступным и может умереть. Если, конечно, он не породил ссылок на себя самого в какой-нибудь постоянной памяти во время вызова конструктора или других своих предикатов.		По правилам Пролога, переменные в клозах являются локальными и сохраняют свои значения только в пределах клоза. Следовательно, по завершении выполнения клоза ''мойПример'' объект''мойОбъект'' считается недоступным и может умереть. Если, конечно, он не породил ссылок на себя самого в какой-нибудь постоянной памяти во время вызова конструктора или других своих предикатов.

Victor Yukhtenko: /* Создание объекта */

2007-09-26T13:07:31Z

Создание объекта

← Предыдущая		Версия 15:07, 26 сентября 2007
Строка 1:		Строка 1:
	==Создание объекта==		===Создание объекта===
	Других способов создания объектов (экземпляров класса), кроме как с использованием предикатов, объявленных для данного класса конструктором (явно или не явно), нет. Если конструктор не объявлен, то может быть использован предопределенный конструктор new().		Других способов создания объектов (экземпляров класса), кроме как с использованием предикатов, объявленных для данного класса конструктором (явно или не явно), нет. Если конструктор не объявлен, то может быть использован предопределенный конструктор new().

Victor Yukhtenko в 13:01, 19 сентября 2007

2007-09-19T13:01:47Z

← Предыдущая		Версия 15:01, 19 сентября 2007
Строка 90:		Строка 90:
	...</vip>		...</vip>
	в этом случае не пропустит компилятор.		в этом случае не пропустит компилятор.
	Вместо этого необходимо ~~призводить~~ конвертацию		Вместо этого необходимо прoизводить конвертацию
	<vip> ...		<vip> ...
	МойУказатель=convert(мойИнтерфейс,мойУказатель_V),		МойУказатель=convert(мойИнтерфейс,мойУказатель_V),