Различия

Показаны различия между двумя версиями страницы.

--- bb:redbook:112 [2017/08/30 16:31]
prospero78 [2. Определение типа]
+++ — (текущий)
@@ Строка 1: / Строка 1: @@
-===== 1.12 Введение в типы =====
-==== 1. Понятие о типах ====
-//Тип// — это //классификация// чего-либо. Например, движетели:
-  * реактивные
-  * механические
-  * электрические
-Механические движетели разделяются:
-  * по типу источника энергии
-  * по мощности
-  * по весу
-По типу источника энергии движетели разделяются:
-  * бензиновые
-  * дизельные
-  * керосиновые и т. д.
-Теперь если где-то будет написано: "Легендарный автомобиль "Жигули" седьмой модели, производимый в Советском Союзе обладал механическим бензиновым движетелем..." теперь можно точно сказать, что двигатель этот был //не керосиновый// и уж точно //не реактивный//, хотя при этом ещё можно и не знать, что такое "бензин", или "электрический движетель". Точно так же, и кладовщик, работавший на том же автомобильном заводе, //не разбирался//, чем //отличается// шпонка № 14 от прокладки паранитовой № 2. Но он //точно знал//, что одному рабочему надо выдать шпонку № 14, а другому прокладку паранитовую № 2. А если учесть, что в автомобиле "Жигули" более 8 тыс. деталей, вообще странно //как можно// собирать подобные машины, и как они могут ездить? (а ездят "Жигули" очень и очень не плохо, хотя многим машинам уже за 30-35 лет).
-Вот такое разделение по видам и группам называется //типизацией//, а любой попавший объект в эту систему типизации — имеет свой тип. Понятно, что для сборки машины не нужно, всё что есть вводить в систему типов. Ну например, к чему там //уран//? Или //Марс//? Хотя, для организации производства вполне может пригодиться тип ''источник_освещения'' (ведь конвейер работал круглосуточно). Именно поэтому, могут жить //по настоящему большие// и сложные системы. Точно также, в **КП** введено понятие //типа//; с некоторыми встроенными типами переменных было ознакомление в первых главах, но язык был бы //слабым//, если бы не позволял программисту //расширять// систему типов своими типами.
-==== 2. Определение типа ====
-По большому счёту, никаких базовых типов программист уже добавить не может. Он может на основе базовых типов создавать только пользовательские (расширенные) типы. И здесь вся ответственность за создание нового типа ложится только на программиста. На основе последнего примера посмотрим как можно использовать типы в программе:
-  Привет8.odc
-<code oberon2>
-MODULE КнигаПривет8;
-	(* Этот пример показывает как объявлять
-	типы и их использовать *)
-	IMPORT мЛог := Log,
-		Math;
-	TYPE
-		тТочка = RECORD
-			цКоорд_Х, цКоорд_У: INTEGER;
-			цВкл: BOOLEAN;
-			мцЦвет: ARRAY 3 OF INTEGER
-		END;
-	VAR
-		точка: тТочка;
-	PROCEDURE Старт*;
-		VAR
-			лцИтер: INTEGER;
-	BEGIN
-		точка.цКоорд_Х := 5;
-		точка.цКоорд_У := 4;
-		мЛог.Int(точка.цКоорд_Х); мЛог.String(', ');
-		мЛог.Int(точка.цКоорд_У); мЛог.Ln;
-		точка.мцЦвет[0] := 4;
-		точка.мцЦвет[2] :=  - 10;
-		FOR лцИтер := 0 TO 2 DO
-			мЛог.Int(точка.мцЦвет[лцИтер]); мЛог.String(', ')
-		END;
-		мЛог.Ln
-	END Старт;
-BEGIN
-END КнигаПривет8.
-</code>
-В верхней части модуля теперь появилась новая секция ''TYPE''. В ней объявляется пользовательский тип ''тТочка''. Буква ''т'' впереди есть сокращение от ''TYPE'' и намекает, что это //тип//. Даже с учётом того, что имя типа начинается на большую букву, спутать с именем процедуры будет не просто, так как имя типа начинается ''т'', что сразу обращает на себя внимание. Также //надо запомнить//, что при объявлении типа ставится знак "равно", а не "двоеточие".
-Чуть ниже в секции ''VAR'' объявляется переменная ''точка'' типа ''тТочка''. И теперь при задании переменных с записевым типом не нужно каждый раз описывать поля этой записи. В обиходе программистов такая операция называется "создать экземпляр". Работа с экземпляром типа ''тТочка'' ничем не отличается от работы с записевым типом.
-На текущий момент в модулях **КП** можно оперировать несколькими типами секций: ''IMPORT'', ''CONST'', ''TYPE'' и ''VAR''. Любая из этих секций может отсутствовать в модуле, в процедурах можно использовать любую секцию, кроме ''IMPORT''.
-==== 3. Заключение ====
-Это лишь вершина айсберга от того, что касается //типов//. Типы можно наследовать, расширять, модифицировать и мн. др. Как это делать будет рассмотрено отдельно.

Инструменты пользователя

Инструменты сайта

Различия

Инструменты страницы