int а = 5; // целая переменная
int* р = &а; / / в указатель записывается адрес а
int* р (&а): // то же самое другим способом
с помощью значения другого инициализированного указателя: int* r = р;
с помощью имени массива или функции, которые трактуются как адрес (см. «Массивы», с. 58, и «Передача имен функций в качестве параметров», с. 80):
Присваивание указателю адреса области памяти в явном виде:
Здесь ОхВ8000000 — шестнадцатеричная константа, (char *) — операция приве дения типа: константа преобразуется к типу «указатель на char».
Присваивание пустого значения
:
первой строке используется константа NULL, определенная в некоторых за головочных файлах С как указатель, равный нулю. Рекомендуется использо вать просто О, так как это значение типа 1 nt будет правильно преобразовано стандартными способами в соответствии с контекстом. Поскольку гарантиру ется, что объектов с нулевым адресом нет, пустой указатель можно использо вать для проверки, ссылается указатель на конкретный объект или нет.
Выделение участка динамической памяти и присваивание ее адреса указателю:
с помощью операции new:
int* п = new 1nt:
|
(10);
|
//1
|
1nt* m = new 1nt
|
// 2
|
1nt* q = new 1nt
|
[10];
|
/
|
3
|
• с помощью функции mal 1 oc^
|
|
|
1nt* u = (int *)malloc(s1zeof(int));
|
/
|
4
|
операторе 1 операция new выполняет выделение достаточного для размещения величины типа 1 nt участка динамической памяти и записывает адрес начала это го участка в переменную п. Память под саму переменную п (размера, достаточно го для размещения указателя) выделяется на этапе компиляции.
операторе 2, кроме описанных выше действий, производится инициализация выделенной динамической памяти значением 10.
операторе 3 операция new выполняет выделение памяти под 10 величин типа int (массива из 10 элементов) и записывает адрес начала этого участка в пере менную q. которая может трактоваться как имя массива. Через имя можно обра щаться к любому элементу массива. О массивах рассказывается на с. 58.
Если память выделить не удалось, по стандарту должно порождаться исключе ние bad^alloc (об исключениях рассказывается в разделе «Обработка исключи тельных ситуаций», с. 222, а об обработке ошибок выделения памяти — на с. 378). Старые версии компиляторов могут возвращать 0.
операторе 4 делается то же самое, что и в операторе 1, но с помощью функции выделения памяти та 11 ос, унаследованной из библиотеки С, В функцию переда ется один параметр — количество выделяемой памяти в байтах. Конструкция (int*) используется ц,ля приведения типа указателя, возвращаемого функцией,
требуемому типу (о явном преобразовании типов см. с. 231). Если память выде лить не удалось, функция возвращает 0.
Операцию new использовать предпочтительнее, чем функцию та 11 ос, особенно при работе с объектами.
Освобождение памяти, выделенной с помощью операции new, должно выпол няться с помощью delete, а памяти, выделенной функцией та 11 ос — посредством
Для того чтобы использовать malloc, требуется подключить к программе заголовочный файл . функции free. При этом переменная-указатель сохраняется и может инициализироваться повторно. Приведенные выше динамические переменные уничтожа ются следующим образом:
delete n; delete m; delete [ ] q; free (u);
Если память выделялась с помощью new[], для освобождения памяти необходимо применять delete[]. Размерность массива при этом не указывается. Если квад ратных скобок нет, то никакого сообщения об ошибке не выдается, но помечен как свободный будет только первый элемент массива, а остальные окажутся не доступны для дальнейших операций. Такие ячейки памяти называются мусором.
ВНИМАНИЕ
Если переменная-указатель выходит из области своего действия, отведенная под нее па мять освобождается. Следовательно, динамическая переменная, на которую ссылался ука затель, становится недоступной. При этом память из-под самой динамической переменной не освобождается. Другой случай появления «мусора» — когда инициализированному указателю присваивается значение другого указателя. При этом старое значение бесследно теряется.
C помощью комбинаций звездочек, круглых и квадратных скобок можно описы вать составные типы и указатели на составные типы, например, в операторе
1nt *(*р[10])();
объявляется массив из 10 указателей на функции без параметров, возвращающих указатели на 1 nt.
По умолчанию квадратные и круглые скобки имеют одинаковый приоритет, больший, чем звездочка, и рассматриваются слева направо. Для изменения по рядка рассмотрения используются круглые скобки.
При интерпретации сложных описаний необходимо придерживаться правила «изнутри наружу»:
если справа от имени имеются квадратные скобки, это массив, если скобки круглые — это функция;
если слева есть звездочка, это указатель на проинтерпретированную ранее конструкцию;
если справа встречается закрывающая круглая скобка, необходимо применить приведенные выше правила внутри скобок, а затем переходить наружу;
в последнюю очередь интерпретируется спецификатор типа.
Для приведенного выше описания порядок интерпретации указан цифрами:
1nt *(*р[10])():
Достарыңызбен бөлісу: |
