Синтаксис Общего Представления Данных - CDR

Типы данных

Типом называется некий предикат (математическая функция с одним аргументом возвращающее значение логического типа истина/ложь), который определен на множестве всевозможных значений. Значения удовлетворяют этому типу, если результат предиката - истина. Такие значения называются членами типа.

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

Определены следующие основные (базовые) типы данных:

1. 16 и 32 разрядные знаковые и беззнаковые целые типы;

2. 32 и 64 разрядные типы с плавающей точкой в соответствии с IEEE;

3. Символьный тип в соответствии с ISO Latin-1 (8859.1);

4. Логический тип с множеством значений истина и ложь;

5. 8 разрядный тип, который гарантированно не подвергается никаким изменениям при передаче между различными системами;

6. Перечислимые типы, состоящие из последовательности идентификаторов;

7. Строковый тип, состоящий из последовательности символов переменной длины, длина строки доступна во время выполнения программы;

8. Тип "any", который может принимать значения всех базовых и составных типов.

Также могут быть определены составные типы:

1. структура, состоящая из упорядоченных пар (имя, значение);

2. объединение, состоящее из дискриминатора и значения типа, связанного с дискриминатором;

3. последовательность, которая является массивом переменной длины значений одного типа, длина последовательности доступна во время выполнения;

4. массив фиксированной длины, элементами которого являются значения одного типа;

5. тип интерфейс, который определяет множество операций, которое должен поддерживать экземпляр этого типа.

Параметры, представленные в запросе должны удовлетворять одному из перечисленных типов, за исключением типа интерфейс, как показано на рисунке 2-1.

CDR - это способ представления всех типов данных, определенных в OMG IDL в виде последовательности восьмиразрядных величин, далее называемых байтами.

Поток байт представляет из себя некоторую абстракцию обычно соответствующую буферу данных, который передается между процессами или машинами с помощью средств IPC или сетевого транспорта. Далее считается, что поток байт или просто поток - это последовательность переменной (но конечной) длины величин, состоящих из 8 бит (байт) с четко определенным заголовком. Байты в потоке нумеруются от 0 до n-1, где n - это длина потока. Индекс каждого байта используется для вычисления границ выравнивания, как это описано далее.

Протокол GIOP определяет два вида потоков - сообщение и инкапсуляция. Сообщение - это основная единица обмена информацией в протоколе GIOP. Инкапсуляция - это поток, внутри которого любая структура данных, имеющаяся в OMG IDL может быть декодирована независимо от остального контекста сообщения. Инкапсуляция позволяет осуществлять предварительное кодирование сложных типов данных (таких как TypeCode) или обрабатывать части сообщений без требования полного его декодирования.

Дата добавления: 2014-01-05