9 Масиви

1.9.1 Основні поняття

57 Розділ 1. Мова програмування Сі

2. виділити ОП для його розміщення. У мові Сі можна використовувати масиви даних будь-якого типу:

• статичні: з виділенням ОП до початку виконання функції; ОП виділяється в стеку або в ОП для статичних даних;

• динамічні: ОП виділяється з купи в процесі виконання програми, за допомогою функцій malloc() і calloc().

Динамічні змінні використовують, якщо розмір масиву невідомий до початку роботи програми і визначається в процесі її виконання, наприклад за допомогою обчислення або введення.

Розмір масиву визначається:

1. для статичних масивів при його оголошенні; ОП виділяється до початку виконання програми; ім'я масиву - покажчик-константа; кількість елементів масиву визначається:

a. явно; наприклад: int а[5];

b. неявно, при ініціалізації елементів масиву; наприклад: int а[] = { 1, 2, 3 };

2. для динамічних масивів у процесі виконання програми; ОП для них запитується і виділяється динамічно, з купи; ім'я покажчика на масив - це змінна; масиви ці можуть бути:

a. одновимірні і багатовимірні; при цьому визначається кількість елементів усього масиву й ОП запитується для всього масиву;

b. вільні (спеціальні двовимірні); при цьому визначається кількість рядків і кількість елементів кожного рядка, і ОП запитується і виділяється для елементів кожного рядка масиву в процесі виконання програми; при використанні вільних масивів використовують масиви покажчиків;

Розмір масиву можна не вказувати. В цьому разі необхідно вказати порожні квадратні дужки:

1. якщо при оголошенні ініціалізується значення його елементів; наприклад:

static int а[] = {1, 2, 3}; char b[] = "Відповідь:";

2. для масивів - формальних параметрів функцій; наприклад:

int fun1(int a[], int n); int fun2(int b[k][m][n]);

3. при посиланні на раніше оголошений зовнішній масив; наприклад:

Int а[5]; /* оголошення зовнішнього масиву */ main ()

{

extern int а[];/*посилання на зовнішній масив */

}

В усіх оголошеннях масиву ім'я масиву - це покажчик-константа! Для формування динамічного масиву може використовуватися тільки ім'я покажчика на масив - це покажчик-змінна. Наприклад:

int *m1 = (int * ) malloc ( 100 * sizeof (int)) ;

float *m2 = (float * ) malloc ( 200 * sizeof (float)) ;

де ml - змінна-вказівник на масив 100 значень типу int;

m2 - змінна-вказівник на масив 200 значень типу float.

Звільнення виділеної ОП відбувається за допомогою функції:

free (вказівник-змінна) ;

Наприклад:

free(ml);

free(m2);

Звертання до елементів масивів ml і m2 може виглядати так: m1[i] , m2[j].

Пересилання масивів у Сі немає. Але можна переслати масиви поелементно або сумістити масиви в ОП, давши їм практично те саме ім'я.

Наприклад:

int *m1 = (int *) malloc(100 * sizeof(int));

int *m2 = (int *) malloc(100 * sizeof(int));

Для пересилання елементів одного масиву в іншій можна використати оператор циклу:

for (i = 0; i < 100; i++ ) m2[i] = ml [i] ;

Замість m2[i] = ml [i]; можна використовувати: *m2++ = *ml++; або: *(m2 + i) = *(ml + i) ;

За допомогою покажчиків можна сполучити обидва масиви й у такий спосіб:

free(m2); m2 = ml ;

Після цього обидва масиви займатимуть одну й ту саму область ОП, виділену для масиву ml. Однак це не завжди припустимо. Наприклад, коли масиви розташовані в різних типах ОП: один - у стеку, інший - у купі. Наприклад, у функції main() оголошені:

int *m1 = (int *) malloc(100* sizeof(int));

int m2 [100] ;

У вищенаведеному прикладі ml - пакажчик-змінна, і масив ml розташований у купі, m2 - покажчик-константа, і масив m2 розташований у стеку. У цьому випадку помилковий оператор: m2 = ml; тому що m2 - це покажчик-константа. Але після free(ml) припустимим є оператор:

ml = m2; /* оскільки ml - вказівник-змінна */

Для доступу до частин масивів і до елементів масивів використовується індексування (індекс). Індекс - це вираз, що визначає адресу значення або групи значень масиву, наприклад адреса значень чергового рядка двовимірного масиву. Індексування можна застосовувати до вказівників-змінних на одновимірний масив - так само, як і до вказівників-констант.

Індексний вираз обчислюється шляхом додавання адреси початку масиву з цілим значенням для одержання адреси необхідного елемента або частини масиву. Для одержання значення за індексним виразом до результату - адреси елемента масиву застосовується операція непрямої адресації (*), тобто одержання значення за заданою адресою. Відповідно до правил обчислення адреси цілочисельний вираз, що додається до адреси початку масиву, збільшується на розмір кванта ОП типу, що адресується вказівником.

Розглянемо способи оголошення і формування адрес частини масиву й елементів одновимірних і багатомірних масивів за допомогою вказівників.