Концептно-ориентированное программирование
Материал из Википедии — свободной энциклопедии
Концептно-ориентированное программирование (КоП) это парадигма программирования, которая в качестве основной программной конструкции вместо классов ООП использует концепты. Концепт состоит из одного класса объектов и одного класса ссылок. Класс объектов соответствует обычным классам в ООП. Его экземпляры, называемые объектами, передаются по ссылке. Новым в КоП является присутствие классов ссылок. Их экземпляры, называемые ссылками, передаются по значению и предназначены для опосредованного представления объектов. Таким образом, концепты могут пониматься как средство моделирования ссылок. Структура и функции ссылок определяют, как объекты представляются и как к ним осуществляется доступ.
Переменные в концептно-ориентированной программе хранят пользовательские ссылки с произвольной структурой и функциями, которые определяются в классе ссылки концептов. Например, рассмотрим следующий фрагмент кода:
Account account = getAccount(); Person person = account.getOwner(); Address address = person.getAddress();
Если бы это была объектно-ориентированная программа, то переменные account, person и address хранили бы примитивные ссылки предоставляемые компилятором. В отличие от этого, если это концептно-ориентированная программа, тогда эти переменные хранят ссылки формате, предоставляемом концептами Account, Person и Address, соответственно. Заметим, что эти объекты могут располагаться где угодно, поскольку их ссылки имеют пользовательский формат и процедуры доступа, которые определяются программистом в программе, где они используются. Любой доступ по таким ссылкам является опосредованным и может включать довольно сложные промежуточные операции выполняемые за кулисами.
Предположим, что концепт Account используемый в вышеприведенном примере для объявления типа переменных, определен следующим образом:
concept Account
reference { // Класс ссылки
String accountNumber; // Косвенный идентификатор
...
}
object { // Класс объектов
double balance;
...
}
В этом случае все переменные, имеющие этот концепт в качестве типа, вместо примитивной ссылки, предоставляющей прямой доступ, будут хранить номер счета, который идентифицирует объект косвенно. Этот номер счета затем передается по значению в качестве параметров методов, сохраняется по значению в полях объектов и возвращается по значению из методов. Это виртуальный адрес счета и неизвестно, где в действительности расположен данный объект. Однако, программист может работать с такими опосредованно представленными объектами как если бы они были самыми обычными объектами в ООП. Т.е. КоП дает иллюзию прямого и мгновенного доступа для опосредованно представленных объектов.
Каждый концепт имеет родительский концепт, который указывается с помощью отношения включения, обобщающего наследование классов. Одно следствие наличия отношения включения состоит в том, ссылки приобретают слоеную структуру. Такие ссылки, состоящие из нескольких сегментов, называются комплексными ссылками. Таким переменные в КоП содержат иерархические адреса объектов в виртуальном адресном пространстве. Разработка структуры такого пространства это одна из основных задач в концептно-ориентированном дизайне.
[править] См. также
- Концептно-ориентированное программирование
- Концепт
- Включение
- Комплексная ссылка
- Метод продолжения
- Двойственные методы
- Концептно-ориентированная модель
[править] Литература
- [1] Savinov, A. "Concepts and their Use for Modelling Objects and References in Programming Languages", Technical Report, Institute of Mathematics and Computer Science, ASM, 2007.
- [2] Savinov, A. "Concept as a Generalization of Class and Principles of the Concept-Oriented Programming" Computer Science Journal of Moldova 13(3), 292-335, 2005.
