Указатели. В языке Си определены следующие механизмы для задания сложных типов:

Записи

Сложные типы

В языке Си определены следующие механизмы для задания сложных типов:

- массивы;

- структуры;

- указатели;

- объединения.

Записи (или структуры) объединяют несколько типов в один и представляют собой набор полей, объединённых вместе. Можно работать как с каждым полем отдельно, так и со всеми полями, как с записью, вместе.

Вот пример задания структуры:

struct goods {

char * name;

long price;

int volume; };

Здесь goods – это имя структурного типа. В этом случае объявление переменной goods такого типа будет иметь вид:

struct goods food;

Если же объявить структуру как:

typedef struct {

char * name;

long price;

int volume; } GOODS;

То можно будет объявлять переменные используя только имя типа:

GOODS food;

Язык Си разрешает присваивание структур (в отличие от присваивания массивов – которое может быть выполнено только поэлементным присваиванием).

При объявлении переменной типа структура можно проинициализировать её значение при помощи следующей конструкции:

goods food = {“milk”, 25.6, 1};

Для работы с полями в языке используется составное имя с точкой:

food.price = 27.5;

Указатели в языке Си объявляются при помощи символа звёздочка «*»:

int * pInt;

Здесь переменная pInt – это указатель на int или, проще, адрес переменной целого типа. Доступ к значению, хранящемуся по адресу указателя, производится через разыменование:

*pInt=6;

Забавно, что если написать обе строки (объявление указателя и присваивание) подряд, то получится синтаксически правильный фрагмент. Но по смыслу он ошибочен. Объявлением указателя мы выделили память под сам указатель, то есть под адрес некоторого объекта. Но память под сам объект не выделена и поэтому записывать значение 6 некуда.

При помощи оператора “&” можно получить адрес уже существующей переменной. Следующий пример демонстрирует как можно установить указатель pInt на переменную varInt типа int:

int * pInt;

int varInt;

pInt = &varInt;

вот после этого уже можно выполнять присваивание *pInt=6;. Теперь значение 6 попадёт в память переменной varInt.

Указатель, «не указывающий никуда», в Си называется Null. Это единственная не арифметическая константа. Иногда она представлена как NULL.

Сами по себе указатели не являются сложными типами с точки зрения обращения к ним. Их значением является адрес некоторого программного объекта. Как правило они указывают на некоторый тип, который в свою очередь уже может иметь сложную составную структуру.

Специфика работы с указателями заключается в том, что, например, префиксная или постфиксная операция ++ будет изменять значение указателя на 1, 2, 4 или некоторую другую величину в зависимости от длины (количеств байт отведённых для представления) того типа, на который указывает этот указатель.

Ещё одной и наиболее важной проблемой указателей является несогласованность времени жизни указателя (адреса объекта) и программного объекта, на который он указывает.

Например, функция сохраняет адрес некоторой своей локальной переменной в глобальном указателе. По выходу из функции памяти объекта уже нет. Она может быть перераспределена каким угодно образом, а адрес, где «все это» лежало до сих пор существует и может быть использован для обращения.

Ошибки подобного рода очень трудно обнаружить, поскольку до некоторого времени поведение программы с дефектами такого вида может быть весьма правдоподобным. Это происходит до тех пор, пока «отданная» память никем не переопределялась, а потом «вдруг» программа перестаёт работать.

Дата добавления: 2014-12-26