Основы объектно-ориентированного программирования на языке 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