Міністерство освіти і науки Російської Федерації
Реферат
Типи даних у Object Pascal
Єкатеринбург, 2008
Типи даних у мові Паскаль
У мові Паскаль будь-яка змінна характеризується своїм типом. Під типом в даному випадку розуміється безліч значень, які може приймати змінна і, як наслідок, безліч операцій, допустимих над змінною. p> Паскаль є мовою жорсткої типізації. Це означає, що тип змінної визначається при її описі і не може бути змінений. Мінлива може брати участь тільки в операціях, визначених її типом. Такий підхід сприяє більшої акуратності та відповідальності при складанні програми, робить їх непідвладними автоматичної (при компіляції) перевірці на коректність і в кінцевому підсумку призводить до більш високої надійності створюваних програм. p> Паскаль має розвинену і витончену систему типів. На основі невеликого числа стандартних типів програміст може конструювати дані довільної структури і складності, адекватно відображають інформаційну природу завдання. p> Паскаль успадковує систему типів еталонного мови, істотно розширюючи її як в сенсі додавання очевидних практично корисних типів (наприклад, строкових), так і введенням принципово нових понять, відкривають нетрадиційні можливості в програмуванні (зокрема, об'єктів). p> Базовими в системі типів є прості типи. Складові типи за певними правилами будуються з простих. Посилальні типи утворюються з будь-яких інших типів. Складові і посилальні типи можна вважати деякими правилами для побудови більш складних типів з простіших. Обмежені типи формуються з простих типів шляхом звуження їх області допустимих значень. Первинними в ієрархії типів є стандартні скалярні типи, що представляють традиційні в мовах програмування безлічі значень (цілі, речові, символьні, Булевського) і їх модифікації, що враховують архітектурні особливості апаратури. p> Процедурні типи в деякому відношенні розширюють традиційне поняття підпрограм, дозволяючи звертатися з підпрограмами як із змінними. p> Кілька осібно стоять об'єктні типи, або об'єкти. Будучи, з формальної точки зору, узагальненням комбінованих типів (записів), вони дозволяють радикально змінити підхід до розробки програм, пропонуючи так званий об'єктно-орієнтований стиль програмування. p> I . Прості типи: порядкові, речові, дата-час. p> Порядковий тип у свою чергу поділяється на:
1. цілі типи;
2. логічний тип або булевський тип;
3. символьний тип;
4. перераховуються типи;
5. обмежені типи або тип-діапазон.
На основі стандартних скалярних типів є можливість утворювати користувальницькі скалярні типи. Є два способи породження нових скалярних типів - Обмежені і перечислимі типи. p> Будь скалярний тип характеризується безліччю його різних значень, серед яких встановлений лінійний порядок. Всі скалярні типи, крім речових, називаються дискретними. p> 1. Цілі типи
Ця група типів позначає безліч цілих чисел в різних діапазонах. Мається п'ять цілих типів, що розрізняються допустимим діапазоном значень і розміром займаної пам'яті. Цілі типи позначаються ідентифікаторами Integer, Byte, ShortInt, Word, LongInt; їх характеристики наведені в таблиці 1. <В
Таблиця 1
Тип
Діапазон значень
Розмір пам'яті
ShortInt
-128 .. 127
1 байт
Integer
-32768 .. 32767
2 байти
LongInt
-2147483648 .. 2147483647
4 байти
Byte
0 .. 255
1 байт
Word
0 .. 65535
2 байти
Значення цілих типів можуть зображуватися у програмі двома способами: у десятковому вигляді та в шістнадцятковому коді. В останньому випадку на початку такого коду ставиться символ '$'. p> Приклади: p> 123
-1
$ F1 (Десяткове подання 241)
0 $ B80 p> 2. Булевський (логічний) тип
До логічним відносяться типи Boolean, ByteBool, Bool, wordBool і LongBool. У стандартному Паскалі визначений тільки тип Boolean, решта логічні типи введені в Object Pascal для сумісності з Windows: типи Boolean і ByteBool займають по одному байту кожен, Bool і WordBool - по 2 байти, LongBool - 4 байта. p> Мається два значення булевского типу, що представляють логічні істиннісні значення (Істина/неправда). Ці значення позначаються за допомогою стандартних ідентифікаторів:
true ...
