Волей разработчиков языка, массивы тесно связаны с указателями. Объявим, например, массив символов и запишем в него строчку (которая, как вы помните, обязательно неявно заканчивается символом с кодом 0):
char s[6] = ”hello”;
// s[0] => ‘h’
// s[1] => ‘e’
// s[2] => ‘l’
// s[3] => ‘l’
// s[4] => ‘o’
// s[5] => 0
char *ptr;
ptr = s;
Волей разработчиков языка, имя массива есть указатель на его первый элемент.
| значение | ? | номер 1 | |||||||||
| номер | |||||||||||
| переменная | не занято | s[0] | s[1] | s[2] | s[3] | s[4] | s[5] | ptr | |||
| тип | char | char | char | char | char | char | указатель на char | ||||
| значение | ‘h’ | ‘e’ | ‘l’ | ‘l’ | ‘o’ | адрес перем. s[0] |
Поэтому к элементам массива можно обращаться как с помощью обычного синтаксиса имя[индекс], так и используя возможности указателей:
s[0] => ‘h’
// *s => ‘h’
// *ptr => ‘h’
s[1] => ‘e’
// *(s+1) => ‘e’
// *(ptr+1) => ‘e’
Прибавив к любому из указателей, например, 1, мы заставим этот указатель указывать на следующий символ массива:
// *ptr => ‘h’
ptr++;
// *ptr => ‘e’
Обратите внимание, что *(s+1) и (*s)+1 – это совсем разные вещи. Почему так?
В первом случае сначала к указателю s будет прибавлена единица, так что s+1 – это указатель на следующий символ за тем, на который указывает s. Следовательно *(s+1) – это сам следующий символ, то есть ‘e’.
Во втором случае, сначала выполнится операция *, а стало быть, *s – это символ ‘h’. А после выполнения операции *, к результату ее будет прибавлена единица. Следовательно символ ‘h’ будет расценен как число 104, и результатом (*s)+1 будет число 105, или символ ‘i':
char c;
c = *(s+1)
// c => ‘e’
c = (*s)+1
// c => ‘i’
При этом приоритет операций таков, что *s+1 будет расценено как (*s)+1.
Вопросы для самоконтроля
Рекомендации
Не рассматривайте приведенные ниже вопросы как проверку преподавателем ваших знаний. Бессмысленно подсматривать где-то ответы. Бессмысленно также пытаться сразу трассировать приводимые программы – это приведет только и единственно к тому, что вы не сможете оценить, разбираетесь вы теперь в указателях или нет.
Рекомендуется для каждого вопроса, используя бумагу и ручку, нарисовать содержимое всех переменных и его изменение, после этого предсказать ответ, и только после этого обязательно внести приводимый кусок кода в любую программу и посмотреть, что получается на самом деле. Несовпадение ваших ожиданий является показателем того, что вы не до конца разобрались в указателях.
Вопросы
1.
int a = 2;
int b = 3;
int t = a;
a = b;
b = t;
// Внимание, вопрос: чему равны значения a, b и t?
2.
int a = 2;
int *pa;
pa = &a;
int b = *pa;
a = 3;
// Внимание, вопрос: чему равны значения a и b?
3.
int a = 2;
int b = 3;
int *pa = &a;
int *pb = &b;
*pa = *pb;
// Внимание, вопрос: чему равны значения a, b, pa, pb?
4.
int a = 2;
int b = 3;
int *pa = &a;
int *pb = &b;
pa = pb;
// Внимание, вопрос: чему равны значения a, b, pa, pb?
5.
int a[3] = {6,5,4};
int *b = a++;
// Внимание, вопрос: чему равны значения *(a+2), (*a)+2, *a+2, *b?
[1] Первокурсникам, разумеется, не обязательно знать, что можно обратиться еще и к словам и двойным словам, и так далее.
[2] Конечно, тяжелую правду первокурсникам знать не обязательно:)
