Основы объектно-ориентированного программирования на языке C# book | Page 65
5 Типи даних
Iванов Є.В.
Як було зазначено ранiше, алгоритми обробки даних отримують вхi-
днi данi i видають вихiднi данi. При цьому є рiзнi тлумачення, чим,
власне, є алгоритм: послiдовнiстю iнструкцiй, виконання яких веде до
утворення вихiдних даних на основi вхiдних; набором правил, засто-
сування яких до перетворення вхiдних даних у вихiднi; об’єктом, по-
будованим за допомогою визначених алгоритмiчних конструкцiй то-
що. Вiдповiдно, у мовах програмування є засоби запису алгоритмiв,
заснованi на одному з таких тлумачень. У C# такими засобами є
конструкцiı̈ if , for , while i т.д., розглянутi у попередньому роздiлi.
Бiльше того, у бiльшостi мов програмування є засоби, якi виражають
звернення до iснуючих даних (наприклад, вхiдних) i створення нових
даних (промiжних, вихiдних). Наприклад, у мовi C# є поняття змiн-
ноı̈ (англ. variable), як мiсця, у якому зберiгається дане. У програмi
може бути визначено багато змiнних, а звернення до них можливе за
ı̈х iменами. При реалiзацiı̈ алгоритму вхiднi i вихiднi данi можуть бу-
ти переданi через спецiально призначенi для цього змiннi. Промiжнi
данi теж можуть зберiгатися у певних змiнних. Вбудованi та визна-
ченi програмiстом операцiı̈ дозволяють аналiзувати вмiст (значення)
змiнноı̈, змiнювати його чи записувати нове значення у змiнну.
У багатьох мовах програмування данi, з якими працюють програ-
ми, класифiкуються за певними ознаками. Бiльш конкретно, кожному
даному ставиться у вiдповiднiсть певний тип даних (англ. data type).
Наприклад, мова програмування може передбачати тип даних “цiле
число в дiапазонi 0 ... 65535”, до якого застосовнi арифметичнi опера-
цiı̈, i визначено, що данi такого типу подаються у пам’ятi комп’ютера
у виглядi 2 байт.
Не всi можливi в мовi операцiı̈ можуть бути застосовними до даних
усiх типiв, тому у програмах потенцiйно можуть бути такi помил-
ки, як спроби виконання недопустимоı̈ операцiı̈ на даними. Важливим
засобом запобiгання подiбних помилок є система типiв (англ. type
system), що може розглядатися як правило, що ставить у вiдповiд-
нiсть кожному виразу мови програмування тип значень, якi вiн може
приймати пiд час виконання програми. Визначаючи типи значень ви-
65