Компонентный Паскаль/Введение в типы: различия между версиями

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
Строка 16: Строка 16:


Вот такое разделение по видам и группам называется типизацией, а любой попавший объект в эту систему типизации -- имеет свой тип. Понятно, что для сборки машины не нужно, всё что есть вводить в систему типов. Ну например, к чему там уран? Или Марс? Хотя, для организации производства вполне может пригодиться тип "источник_освещения" (ведь конвейер работал круглосуточно). Именно поэтому, могут жить по настоящему большие и сложные системы. Точно также, в КП введено понятие типа; с некоторыми встроенными типами переменных было ознакомление в первых главах, но язык был бы слабым, если бы не позволял программисту расширять систему типов своими типами.
Вот такое разделение по видам и группам называется типизацией, а любой попавший объект в эту систему типизации -- имеет свой тип. Понятно, что для сборки машины не нужно, всё что есть вводить в систему типов. Ну например, к чему там уран? Или Марс? Хотя, для организации производства вполне может пригодиться тип "источник_освещения" (ведь конвейер работал круглосуточно). Именно поэтому, могут жить по настоящему большие и сложные системы. Точно также, в КП введено понятие типа; с некоторыми встроенными типами переменных было ознакомление в первых главах, но язык был бы слабым, если бы не позволял программисту расширять систему типов своими типами.

==Определение типа==
По большому счёту, никаких базовых типов программист уже добавить не может. Он может на основе базовых типов создавать только пользовательские (расширенные) типы. И здесь вся отвественность за создание нового типа ложится только на программиста. На основе последнего примера посмотрим как можно использовать типы в программе:
<source lang=""></source>

Версия от 12:35, 17 апреля 2015

Понятие о типах

Тип -- это классификация чего либо. Например, движетели:

  • реактивные
  • механические
  • электрические

Механические движетели разделяются:

  • по типу источника энергии
  • по мощности
  • по весу

По типу источника энергии движетели разделяются:

  • бензиновые
  • дизельные
  • керосиновые и т.д.

Теперь если где-то будет написано: "Легендарный автомобиль "Жигули" седьмой модели, производимый в Советском Союзе обладал механическим бензиновым движетелем..." теперь можно точно сказать, что двигатель этот был не керосиновый и уж точно не реактивный, хотя при этом ещё можно и не знать, что такое "бензин", или "электрический движетель". Точно также, и кладовщик, работавший на том же автомобильном заводе, не разбирался, чем отличается шпонка №14 от прокладки паранитовой № 2. Но он точно, знал, что одному рабочему надо выдать шпонку № 14, а другому прокладку паранитовую № 2. А если учесть, что в автомобиле "Жигули" более 8 тыс. деталей, вообще странно как можно собирать подобные машины, и как они могут ездить? (а ездят "Жигули" очень и очень не плохо, хотя многим машинам уже за 30-35 лет).

Вот такое разделение по видам и группам называется типизацией, а любой попавший объект в эту систему типизации -- имеет свой тип. Понятно, что для сборки машины не нужно, всё что есть вводить в систему типов. Ну например, к чему там уран? Или Марс? Хотя, для организации производства вполне может пригодиться тип "источник_освещения" (ведь конвейер работал круглосуточно). Именно поэтому, могут жить по настоящему большие и сложные системы. Точно также, в КП введено понятие типа; с некоторыми встроенными типами переменных было ознакомление в первых главах, но язык был бы слабым, если бы не позволял программисту расширять систему типов своими типами.

Определение типа

По большому счёту, никаких базовых типов программист уже добавить не может. Он может на основе базовых типов создавать только пользовательские (расширенные) типы. И здесь вся отвественность за создание нового типа ложится только на программиста. На основе последнего примера посмотрим как можно использовать типы в программе: