Указатель (тип данных)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Переменная num объявляется и инициализируется. После чего объявляется переменная-указатель pNum. Затем указателю pNum присваивается адрес переменной num. Таким образом обе переменные можно использовать для доступа к одному и тому же месту в памяти.

Указатель (англ. pointer) — переменная, диапазон значений которой состоит из адресов ячеек памяти или специального значения — нулевого адреса. Последнее используется для указания того, что в данный момент указатель не ссылается ни на одну из допустимых ячеек.

Русское название термин получил по аналогии с дорожными указателями, на них обозначают направление и расстояние до того или иного города.[источник не указан 95 дней]

Область применения[править | править вики-текст]

Указатели применяются в двух сферах:

  • Работа в системе косвенной адресации (как в языках ассемблера). Одним из её преимуществ можно назвать экономию памяти. Делая указатель на файл, мы читаем его с диска, а не загружаем в ОЗУ. Передавая указатель на переменную в функцию мы не делаем копию этой переменной, а редактируем её напрямую[1]. Указатели используют для хранения адресов точек входа для так называемых подпрограмм в процедурном программировании и для подключения динамических подключаемых библиотек.
  • Динамическое управление памятью. В таком случае выделяется место в так называемой куче (динамической памяти), а переменные, для которых память выделена таким образом, называются динамическими[2]. В языке Си нет понятия строковой переменной, так что для строк часто используют указатель на массив символов.

Действия над указателями[править | править вики-текст]

Языки программирования, в которых предусмотрен тип указателей, содержат, как правило, две основные операции над ними: присваивание и разыменование. Первая присваивает указателю некоторый адрес. Вторая служит для обращения к значению в памяти, на которое указывает указатель. Разыменование может быть явным и неявным; в большинстве современных языков программирования разыменование происходит только при явном указании[чего?][источник не указан 85 дней].

Пример работы с указателями в языке Си:

int  n  = 6;    // Объявление переменной n типа int и присваивание ей значения 6
int *pn = malloc( sizeof ( int ) ); // Объявление указателя pn и выделение под него памяти
    *pn = 5;    // Разыменование указателя и присваивание значения 5
     n = *pn;   // Присваивание n того значения (5), на которое указывает pn
     free(pn);  // Освобождение занятой памяти
     pn = &n;   // Присваивание указателю pn адреса переменной n (указатель будет ссылаться на n)
     n = 7;     // *pn тоже стало равно 7

Унарный оператор & возвращает адрес переменной, а оператор * используется для разыменования:

int sourceNum1 = 100;
int sourceNum2 = 200;
int* pNum1 = &sourceNum1;
int* pNum2 = &sourceNum2;
printf("Pointer value of 1-%d, 2-%d\n", *pNum1, *pNum2);  
pNum1 = pNum2;
printf("Pointer value of 1-%d, 2-%d\n", *pNum1, *pNum2);

В случае, если указатель хранит адрес какого-либо объекта, то говорят, что указатель ссылается или указывает на этот объект.

Языки, предусматривающие использование указателей для динамического распределения памяти, должны содержать оператор явного размещения переменных в памяти. В некоторых языках помимо этого оператора предусмотрен ещё и оператор явного удаления переменных из памяти. Обе эти операции часто принимают форму встроенных подпрограмм (функции malloc и free в Си, операторы new и delete в C++ и т. п.). При использовании простого, а не умного указателя следует всегда своевременно удалять переменную из памяти, дабы избежать утечки памяти.

Нулевой указатель[править | править вики-текст]

Нулевой указатель — это указатель, хранящий специальное значение, показывающее, что данная переменная-указатель не ссылается (не указывает) ни на какой объект. В языках программирования он представлен особой константой[3]:

Основные проблемы применения[править | править вики-текст]

Указателями сложно управлять. Достаточно легко записать в указатель неправильное значение, что может вызвать трудновоспроизводимую ошибку. Например, вы случайно поменяли адрес указателя в памяти, или неправильно выделили под информацию память и тут вас может ожидать сюрприз: другая очень важная переменная, которая используется только внутри программы будет перезаписана..Понять, где именно находится ошибка и воспроизвести её будет нелегко, а устранение таких ошибок — не всегда тривиальная задача, иногда приходится переписывать существенную часть программы)[5].

Для решения части проблем есть методы предохранения и страховки:

Инициализируйте указатели[править | править вики-текст]

Пример ошибки с неинициализированным указателем:

/* программа неверна. */
int main (void)
{
    int х, *р; // Выделилась память под x, но не под *p
    х = 10;    // В память записано 10
    *р = х;    // 10 записывается в неопределённое место в памяти, что может привести к аварийному завершению программы.
    return 0;
}

В такой маленькой программе проблема может остаться незамеченной. Но, когда программа разрастется, то внезапно может выясниться, что переменная записана между других блоков данных, важных для программы. Чтобы избежать такой ситуации, просто инициализируйте указатель[5].

Используйте указатели правильно[править | править вики-текст]

Неправильное использование указателя:

#include <stdio.h>
/* программа неверна */
int main(void)
{
    int x, *p;
    x = 10;
    p = x;
    printf ("%d", *p);
    return 0;
}

Вызов printf() не выводит значения х, которое равно 10, на экран. Вместо этого выводится некоторое неизвестное значение — это результат неправильного использование оператора присваивания (р = х;). Этот оператор присваивает значение 10 указателю р, который должен содержать адрес, а не значение. К счастью, ошибка в данной программе обнаруживается компилятором — он выдаёт предупреждение о необычном преобразовании указателя. Для устранения ошибки следует написать p = &х;[5].

Правильное использование указателя[править | править вики-текст]

  • старайтесь инициализировать переменные сразу при объявлении (int x = 10;);
  • не смешивайте указатели с обычными переменными (например, int x, *p, y, *y_ptr;);
#include <stdio.h>
int main(void)
{
    int x = 10;
    int *p = &x;
    printf ("%d", *p);
    return 0;
}

Утечка памяти[править | править вики-текст]

Утечка памяти — процесс неконтролируемого уменьшения объёма свободной оперативной памяти (RAM) компьютера, связанный с ошибками в работающих программах, вовремя не освобождающих ненужные уже участки памяти, или с ошибками системных служб контроля памяти.

char *pointer = NULL;
int i = 0;
for( i = 0; i < 10; i++ )
{
    pointer = (char *)malloc(100); // Память выделяет 10 раз
}
free(pointer); // А освобождается только в последнем случае

Сравнение указателей[править | править вики-текст]

Адреса в памяти, присвоенные указателям, можно сравнивать. Сравнения вида pNum1 < pNum2 и pNum1 > pNum2 часто используются для последовательного перебора элементов массива в цикле: pNum1 соответствует текущему положению в памяти, а pNum2 — концу массива. pNum1 == pNum2 вернёт истину в том случае, если оба указателя указывают на одну ячейку памяти.

Адресная арифметика[править | править вики-текст]

Адресная арифметика появилась как логичное продолжение идеи указателей, унаследованной от ассемблерных языков: в последних имеется возможность указать некое смещение от текущего положения.

Типичные операции адресной арифметики:

int* p; // Допустим, p указывает на адрес 200
p++;    // После инкрементации она указывает на 200 + sizeof(int) = 204
p--;    // Сейчас она вновь указывает на 200.

Умный указатель[править | править вики-текст]

В некоторых языках программирования существуют классы (как правило, шаблонные), реализующие интерфейс указателя с новой функциональностью, исправляющей отдельные недостатки, упомянутые выше..

Указатель в биологии человека[править | править вики-текст]

Мозг использует группы клеток, похожие на указатели, для решения некоторых задач, связанных с запоминанием новой информации[6].

Примечания[править | править вики-текст]

  1. Для чего используются указатели?. Проверено 20 февраля 2013. Архивировано из первоисточника 26 февраля 2013.
  2. 14.1. Распределение памяти. — «Адрес начала выделенной памяти возвращается в точку вызова функции и записывается в переменную-указатель. Созданная таким образом переменная называется динамической переменной.»  Проверено 22 февраля 2013. Архивировано из первоисточника 26 февраля 2013.
  3. Question 5.1. comp.lang.c Frequently Asked Questions. Проверено 20 февраля 2013. Архивировано из первоисточника 26 февраля 2013.
  4. A name for the null pointer: nullptr (англ.). JTC1.22.32. JTC1/SC22/WG21 — The C++ Standards Committee (2 October 2007). Проверено 4 октября 2010. Архивировано из первоисточника 11 февраля 2012.
  5. 1 2 3 Проблемы, связанные с указателями. Проверено 22 февраля 2013. Архивировано из первоисточника 26 февраля 2013.
  6. Мозг использует приемы из программирования для решения новых задач. РИА Новости (23 сентября 2013). Проверено 13 сентября 2016.