Припустимо, що програма працює з великою кількістю однотипних даних. Скажімо близько ста різних цілих чисел потрібно обробити, виконавши над ними ті чи інші обчислення. Як ви собі уявляєте 100 змінних в програмі? І для кожної змінної потрібно написати одне і теж вираз обчислення значення? Це дуже неефективно.
Є більш просте рішення. Це використання такої структури (типу) даних як масив. Масив являє собою послідовність елементів пам'яті, в яких зберігаються однотипні дані. При цьому існує лише одне ім'я змінної пов'язаної з масивом, а звернення до конкретної осередку відбувається по її індексу (номера) в масиві.
Потрібно чітко розуміти, що індекс осередку масиву не є її вмістом. Вмістом є що зберігаються в осередках дані, а індекси тільки вказують на них. Дії в програмі над масивом здійснюються шляхом використання імені змінної, пов'язаної з областю даних, відведеної під масив.
Отже, масив - це іменована група однотипних даних, що зберігаються в послідовних комірках пам'яті. Кожна клітинка містить елемент масиву. Елементи нумеруються по порядку, але не обов'язково починаючи з одиниці (хоча в мові програмування Pascal найчастіше саме з неї). Порядковий номер елемента масиву називається індексом цього елемента.
Пам'ятаємо, всі елементи певного масиву мають один і той же тип. У різних масивів типи даних можуть відрізнятися. Наприклад, один масив може складатися з чисел типу integer, а інший - з чисел типу real.
Індекси елементів масиву зазвичай цілі числа, проте можуть бути і символами, а також описуватися іншими порядковими типами. Тобто для індексу можна використовувати тип, в якому визначена дискретна послідовність значень, і всі ці значення можна перерахувати по порядку. Індексувати можна як константами і змінними, так і виразами, результат обчислення яких дає значення перечислимого типу.
Якщо індекс масиву може набувати все допустимі значення певного перечислимого типу, то при описі масиву можливе завдання імені типу замість кордонів зміни індексу. При цьому межами індексу будуть перше і останнє значення в описі типу індексу. Межі зміни індексів можуть задаватися за допомогою раніше оголошених констант. Рекомендується попередньо оголошувати тип масиву в розділі опису типів.
Масив можна створити декількома способами.
Звернення до певного елементу масиву здійснюється шляхом вказівки імені змінної масиву і в квадратних дужках індексу елемента.
Простий масив є одновимірним. Він являє собою лінійну структуру.
У прикладі виділяється область пам'яті під масив з 11 символів. Їх індекси від 1 до 11. У процесі виконання програми користувач вводить 11 будь-яких символів (наприклад, 'q', 'w', 'e', '2', 't', '9', 'u', 'I' , 'I', 'o', 'p'), які записуються в комірки масиву. Поточне значення змінної i в циклі for використовується в якості індексу масиву. Другий цикл for відповідає за виведення елементів масиву на екран.
Функція sizeof, застосована до імені масиву або імені масивного типу, повертає кількість байтів, що відводиться під масив.