Реализация - тип
Cтраница 3
Кто должен нести ответственность за управление памятью, соответствующее конкретной реализации некоторых типов объектов: клиентская программа, реализация типа данных или система. [31]
В этом феномене проявляется, пожалуй, самая большая хитрость объектно-ориентированного подхода. Дело в том, что при изменении в подклассе реализации хотя бы одной операции суперкласса между ними исчезает отношение редукта-расширения реализации типа данных ( см. разд. Тогда отношения между ними становятся отношениями между типами вариантов в так называемом типе объединения ( см. разд. [32]
В связи с этим введем понятие атрибута типа данных как операции или параметра типа данных и будем называть операции экспортными атрибутами или просто экспортом типа, а параметры - импортными атрибутами или просто импортом типа. В экспорте типа приводятся сведения, необходимые для корректного обращения к операциям типа, в импорте - информация о свойствах аргументов, необходимая для спецификации и реализации типа. [33]
Рассмотрим комплек-сирование модулей, составленных на различных языках программирования. Особенности операций с разноязыковыми модулями можно свести в основном к двум группам: 1) особенности установки программной среды и вызова модуля; 2) различия в реализации типов и структур данных, проявляющиеся при обмене информацией между модулями. [34]
В [373] рассмотрены структуры микропотоков и разновидности микрорусел, предлагается экспериментальный анализ течения с помощью микрошлифов, обосновывается способ расчета процесса на основе частотностей появления типов микроструктур и реализации типов микрорусла, предлагается использовать стохастические методы прогнозирования вторжения воды. [35]
Операция конструирования типа данных присутствует во всех языках, дающих пользователям возможность строить свои собственные типы данных. Известны такие ее обозначения, как кластер в Клу [160], капсула в Расселе [139], класс в Смоллтоке [149], модуль в Атланте [36] и др. В каждом языке эта операция имеет указанные два аргумента: спецификацию и реализацию типа. В настоящей книге при описании типов данных на абстрактном уровне рассматривается только первый аргумент: спецификация типа. [36]
На рис. 2.4.3 приведены примеры представления данных о служащих и компаниях, демонстрирующие различия между табличным представлением отношения и табличным представлением типов записей. Показаны интенсиональные элементы ( спецификации типов) и расширения. Реализации типов записей упорядочены в соответствии с номерами, указанными слева от таблицы. Строки реляционной таблицы не упорядочиваются. Наличие этих дубликатов может означать, что АЕС имеет в Торонто два оффиса. В реляционной таблице такого рода факт должен быть представлен другим способом, например с помощью специального атрибута, показывающего число оффисов в каждом географическом пункте. [37]
В RM / T выделяются различные категории отношений. Категории различаются зависимостью по существо-анию. Если реализация типа сущности может существовать не удучи связанной с какими-либо другими сущностями, то тип ущности называется стержневым ( kernel) типом сущности. Если реализация типа связи может существовать не зависимости от того, присутствуют соответствующие реализа-ии типов сущностей или нет, то такой тип носит название типа ас-оциативной сущности. В противном случае тип называется не-ущностной ассоциацией. Оба типа связи могут иметь атрибуты, днако типы характеристической сущности не могут выступать качестве атрибутов несущностной ассоциации. Стержневые, ха-актеристические и ассоциативные типы сущностей могут иметь одтипы. [38]
Таким образом, внутреннюю структуру и форму представления объектов можно было отделить от внешнего мира и единообразно определить их интерфейс. Пользователь поэтому не должен был знать деталей реализации типа. Достаточно того, что тип сам об этом знает. [39]
Как видно из рис. 1.9, уровень ЭУ определяется не только техническим состоянием и надежностью объектов основного производства, но и надежностью выполнения обязательств иными субъектами предпринимательства ( СПР), не относящимися к сфере основного производства. В свою очередь ЭУ таких СПР в конечном счете определяется надежностью функционирования объектов основного производства и поэтому объективно все СПР, действующие в сфере энергетического рынка должны быть заинтересованы в сокращении объема задолженности по всем финансовым расчетам. Важным условием обеспечения своевременности и полноты расчетов является реализация СТВ типа Д и 3, возможная на основе соответствующей формализации процесса взаиморасчетов СПР. Поэтому ниже представлен вариант модели, формализующей описание процесса взаиморасчетов субъектов энергетического рынка, использование которой может служить фактором стабилизации функционирования всех взаимодействующих СПР. [40]
В некоторых моделях данных правила порождения G разделяют на две части: правила порождения структур Gs и правила порождения ограничений Gc. Это означает, что в каждый момент времени множество реализаций типа сущности СЛУЖАЩИЙ не может содержать две или более двух реализаций с одинаковым значением атрибута Номер служащего. [41]
Обратим внимание на то, что структура матрицы А1 реализации R. Действительно, при общем числе элементов этой матрицы, равном п, она имеет всего п параметров, подлежащих определению. Этот факт позволяет выбрать подобные структуры матриц динамики системы, а, следовательно, и реализации типа RI, в качестве основных в рассматриваемой задаче. [42]
Помимо рассмотренного сценария клиент-интерфейс-реализация существует много других способов поддержки различных типов данных. Эта концепция выходит за рамки определенного языка программирования, либо метода реализации. Одна из наиболее важных особенностей C заключается в понятии классов, которые предоставляют удобный метод описания и реализации типов данных. В этой главе за основу взято простое решение, но впоследствии практически повсеместно будут использоваться классы. Глава 4 посвящена применению классов для создания базовых типов данных, что важно для разработки алгоритмов. [43]
В тех случаях, когда некоторые идентификаторы типов, используемые в спецификации и реализации конструируемого типа, являются переменными, не связанными жестко с определенными типовыми объектами, конструируемый тип становится функцией от этих переменных. Такая функция вырабатывает типы, характеризуемые одним и тем же множеством операций с различными типами некоторых операндов и / или результатов. Обозначим операцию конструирования типов данных как модуль ( р, у), где р - спецификация типа, у - реализация типа. [44]
 |
Представление типа ( М. N - связи с помощью графа. [45] |
Страницы: 1 2 3 4