Указатель ( англ. pointer ) — переменная , диапазон значений которой состоит из адресов ячеек памяти или специального значения — нулевого адреса . Последнее используется для указания того, что в данный момент указатель не ссылается ни на одну из допустимых ячеек. Указатели были изобретены Ющенко Екатериной Логвиновной в Адресном языке программирования (1955 г.), а не Harold Lawson в 1964 г., как долгое время считали за рубежом . В 1955 г. в Адресном языке программирования были введены понятия косвенной адресации и адресации высших рангов, что покрывает понятие указателя и области его применения в современных языках программирования.

Область применения

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

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

• Динамическое управление памятью . В таком случае выделяется место в так называемой куче (динамической памяти), а переменные, для которых память выделена таким образом, называются динамическими . В языке Си нет понятия строковой переменной, так что для строк часто используют указатель на массив символов.

Действия над указателями

Языки программирования , в которых предусмотрен тип указателей, содержат, как правило, две основные операции над ними: присваивание и разыменование .

В 1955 г. Адресном языке программирования (СССР) была введена «штрих-операция» (разыменование указателя), которая была аппаратно реализована Ф-операцией процессора в компьютере «Киев» (1955 г.) , а позднее в компьютерах М-20 , « Днепр », компьютерах семейства БЭСМ (БЭСМ-2, БЭСМ-3, БЭСМ-3М и БЭСМ-4), семейств « Минск » и «Урал», также и некоторых других компьютерах советского производства. Многократное применение разыменования указателя также было аппаратно реализовано в указанных компьютерах групповыми операциями модернизации адресов для ускорения работы с деревобразными форматами ( списки и другие абстрактные типы данных являются частным случаем деревобразных форматов).

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

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

int  n  = 6;    // Объявление переменной n типа int и присваивание ей значения 6
int *pn = ( int * ) malloc( sizeof ( int ) ); // Объявление указателя pn и выделение памяти под int
    *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++ и т. п.). При использовании простого, а не умного указателя следует всегда своевременно удалять переменную из памяти, дабы избежать утечки памяти .

Указатель на void

Указатель на тип void позволяет сослаться на любой тип данных , в том числе класс . Эта технология лежит в основе типа any библиотеки Boost .

class A {
    int field;
};

A clA;
void* pA = (void*)&clA; // указатель pA ссылается на объект класса А

Указатель на указатель (адресация высших рангов)

В программировании встречаются также указатели на указатели. Они хранят в себе адреса памяти, где находятся указатели на память, где расположен объект данных, или другой указатель. Цепочка указатель на указатель, который снова указывет на указатель позволяют ввести понятие многократного разыменования указателя (в Адресном языке программирования : «адресация высших рангов» ) и соответствующее действие над указателями: Multiple indirection.

int x, *p, **q;
x = 10;
p = &x;
q = &p; // указатель на указатель
printf ("%d", **q);

Нулевой указатель

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

• в C# и Java : null;
• в Visual Basic .NET : Nothing;
• в Си и C++ : 0 или макрос NULL ; в стандарте C++11 для обозначения нулевого указателя предложено новое ключевое слово nullptr ;
• в Паскале и Ruby : nil;
• в Компонентном Паскале :NIL;

Основные проблемы применения

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

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

Инициализируйте указатели

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

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

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

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

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

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

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

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

• старайтесь инициализировать переменные сразу при объявлении ( 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.

Умный указатель

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

Указатель в биологии человека

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

Примечания