Вказівник

Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Оператор розіменування)
Перейти до: навігація, пошук

Вказівник або покажчик, іноді також посилання[1] (англ. pointer або англ. reference) — тип даних в комп'ютерних мовах програмування, об'єкт програми, що містить адресу в пам'яті комп'ютера іншого об'єкта.

Формальний опис[ред.ред. код]

В комп'ютерних науках вказівник це різновид посилання, але окремі мови програмування можуть вводити власну інтерпретацію цього поняття.

Примітивом даних (або просто примітив) є будь-які дані які можуть бути зчитані або записані у пам'ять комп'ютера за один такт доступу до пам'яті (наприклад, типи даних byte (байт) і word (машинне слово) є примітивами).

Сукупністю даних (англ. aggregate) є група примітивів, які логічно послідовні у пам'яті і розглядаються сумісно як єдині дані (наприклад, сукупністю можуть бути 3 логічно послідовні байти, значення яких, являє собою 3 координати точки у просторі). Коли сукупність складається з примітивів однакового типу, сукупність називається масивом; в деякому розумінні, багатобайтовий примітив word є масивом байтів, а деякі програмах він використовується саме таким чином.

В контексті цих визначень, byte є найменшим примітивом; кожна адреса в пам'яті визначає окремий байт. Адреса пам'яті початкового байту даних розглядається як адреса (або базова адреса пам'яті) усієї сукупності даних.

Вказівник на пам'ять (або просто вказівник) це примітив, значення якого за призначенням використовується як адреса пам'яті; це означає що вказівник вказує на адресу пам'яті. Це також означає, що вказівник вказує на дані [в пам'яті], якщо значення вказівника вказує на адресу даних у пам'яті.

Більш узагальнено, вказівник це різновид посилання, і вказівник посилається на дані, які зберігаються десь у пам'яті; для отримання цих даних виконується розіменування вказівника. Основною відмінністю вказівника від посилання є те, що значення вказівника інтерпретується як адреса в пам'яті, що є концепцією низького рівня.

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

Операції з вказівниками[ред.ред. код]

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

Розіменування вказівника[ред.ред. код]

Операція отримання значення, на яке посилається вказівник, називається розіменування вказівника.

У мові програмування С:

double a = 5; /* декларація дійсної змінної подвійної точності */
double *pa;   /* декларація вказівника на дійсну змінну, вираз `double *` визначає тип, `pa` - ім'я вказівника */
pa = &a;      /* присвоєння вказівнику адреси змінної `a`. `pa` тепер вказує на `a` */
*pa = 10;     /* присвоєння значення за адресою, на яку вказує `pа`. `*a` — операція розіменування вказівника */

У результаті змінна a отримує значення 10.

Масиви C/C++[ред.ред. код]

У мовах програмування C/C++ індексування масивів формально визначено через арифметику вказівників; тобто, специфікація вимагає, щоб array[i] було тотожним *(array + i)[2]. Отже в С/C++ імена масивів можна розглядати як вказівники на початкові елементи масиву, а елементи масиву як послідовні ділянки пам'яті (без прогалин)[2]. При цьому синтаксис для доступу до елементів є тотожним до того, який можна використовувати для розіменування вказівників. Наприклад, масив array можна оголосити і використати так:

int array[5];      /* Оголошуємо 5 суміжних цілих чисел */
int *ptr = array;  /* Масиви можна використовувати як вказівники */
ptr[0] = 1;        /* Вказівники можна індексувати використовуючи синтаксис масивів */
*(array + 1) = 2;  /* Масиви можна розіменовувати, використовуючи синтаксис вказівників */
*(1 + array) = 2;  /* Додавання вказівників комутативне */
2[array] = 4;      /* Оператор індексування комутативний */

Тут виділено пам'ять під блок з п'яти цілих чисел і називаємо цей блок array, цей ідентифікатор діє як вказівник на блок. Інше звичайне використання вказівників полягає у збереженні адреса на пам'ять динамічно виділену за допомогою malloc, який повертає послідовний блок пам'яті не менш ніж запитаного розміру, яку можна використовувати як масив.

Ім'я масиву має тип вказівника, але не є вказівником — вказівник містить адресу, масив — елементи масиву. Як наслідок, хоча більшість операторів на масивах і вказівниках тотожні, оператор sizeof повертає для них різні значення. У цьому прикладі, sizeof(array) видасть 5*sizeof(int) (розмір масиву), тоді як sizeof(ptr) видасть sizeof(int*), розмір власне вказівника. Також справедливим є ptr = array але помилковим array = ptr.

Початково масив можна ініціалізувати так:

int array[5] = {2, 4, 3, 1, 5};

Якщо вважати, що array розташований у пам'яті за адресою 0x1000 на 32-бітній little-endian машині, тоді пам'ять міститиме такі значення (адреси вказані у шістнадцятковій системі):

0 1 2 3
1000 2 0 0 0
1004 4 0 0 0
1008 3 0 0 0
100C 1 0 0 0
1010 5 0 0 0

Представлені тут п'ять цілих: 2, 4, 3, 1 і 5 займають по 4 байти кожне з першим найменш значимим байтом і розташовані послідовно починаючи з адреси 0x1000.

Синтаксис у C/C++ для вказівників такий:

  • array значить 0x1000;
  • array + 1 значить 0x1004;
  • *array значить розіменувати вміст array. Розглядаючи вміст як адресу пам'яті (0x1000), повернути значення за цією адресою (2);
  • array[i] значить елемент з індексом i, починаємо індексацію з нуля, масиву array.

Нульовий вказівник[ред.ред. код]

Нульовий вказівник — це вказівник, який нікуди не вказує. Використовується для того, щоб показати, що дана зміна-вказівник ні на що не посилається. У різних мовах програмування представлений різними константами.

  • У мові Pascal: nil
  • У мові C: NULL
  • У мові C++: 0 або nullptr
  • У мовах Java, C#: null

Примітки[ред.ред. код]

  1. Англійсько-український словник з математики та інформатики 2010р. (Є. Мейнарович, М. Кратко)
  2. а б Plauger, P J; Brodie, Jim (1992). ANSI and ISO Standard C Programmer's Reference. Redmond, WA: Microsoft Press. с. 108, 51. ISBN 1-55615-359-7. «Тип масиву не містить додаткових дірок, тому що всі інші типи щільно пакуються коли компонуються в масив [сторінка 51]»