Задачи по языку С

       

Ссылки и массивы 1.1.


int a [] = { 0, 1, 2, 3, 4 }; Переменная a определена как массив из пяти целых с элементами a[i]=i для i от 1 до 4.
for ( i=0; i<=4; i++ ) Переменная i принимает значение от 1 до 4.
PR(d, a[i]); a[i] последовательно пробегает все элементы массива a.




int *p; Описание вида type *x сообщает транслятору, что когда *x появляется в выражениях, то это значение типа type. Переменная x - ссылка на переменные типа type и принимает в качестве значения адреса переменных типа type. type - базовый тип для x. В этой задаче переменная p описана как ссылка на целое, т.е. базовый тип для p - int.
for ( p=&a[0]; &a[0] дает адрес a[0].
p<=&a[4]; Элементы массива хранятся в памяти в порядке возрастания индексов, т.е. a[0] предшествует a[1], которое предшествует a[2], и т.д. Так что p, инициируемое значением &a[0], меньше, чем &a[4].
PR(d, *p); Выражение *p дает целое, хранящееся по адресу, содержащемуся в p. Поскольку p содержит &a[0], то *p есть a[0].
p++ Если к ссылке применить операцию увеличения, то она будет указывать на следующий элемент базового типа. Фактически же значение ссылки увеличивается на sizeof(базовый тип). В языке не предполагается проверка того, что получившийся в результате адрес действительно есть адрес доступного элемента базового типа. В этой задаче p будет указывать на следующий элемент массива a.
p<=&a[4]; Значение p проверяется на конец массива a. Цикл заканчивается, когда p будет указывать на последний элемент массива. В теле цикла p последовательно указывает на элементы массива в порядке возрастания индексов.




for ( p=&a[0], i=1; I<=5; i++ ) Переменная p указывает на начало массива a. Переменная i пробегает значения от 1 до 5.
PR(d, p[i]); Ссылка p[i] последовательно указывает на элементы массива a. Ссылка p[5] указывает за массив a.

О массивах и индексах. Хотя до сих пор обозначение [] находило свое обычное применение - индексация массива, на самом деле [] обозначает общую операцию индексирования. x[i] определяется как *(x+i), где x обычно является адресом и i - целое. В соответствии с правилами адресной арифметики i должно быть кратно sizeof(базовый тип x). (К этому моменту должно быть ясно, почему массивы индексируются начиная с 0. Имя массива по сути есть ссылка на первый элемент массива. Индекс - это смещение относительно начала массива. Смещение первого элемента относительно начала массива равно 0.) В предыдущем фрагменте i используется для индексации ссылки p. p[i] = (p+i) = *(a+i) = a[i]. Переменная i пробегает значения от 1 до 5. Когда i=5, p+i указывает за массив a, т.е. значение, находящееся по адресу p+i неизвестно. Это настолько распространенная ошибка, что стоит подчеркнуть опять: индекс массива из n элементов принимает значения от 0 до n-1.




for ( p=a, i=0; Ссылке p присваивается адрес первого элемента a.
p+i<=a+4; p=a, i=0, так что p+i=a+0, что меньше, чем a+4.
PR(d, *(p+i)); *(p+i) = *(a+0) = a[0].
p++, i++ ) p указывает на второй элемент a, i равно 1.
p+i<=a+4; p=a+1, i=1, значит, p+i=a+2.
PR(d, *(p+i)); *(p+i)=a[2].
p++, i++ ) p=a+2, i=2.
p+i<=a+4; p+i=a+4.
PR(d, *(p+i)); *(p+i)=a[4].
p++, i++ ) p=a+3, i=3.
p+i<=a+4; p+i=a+6, и цикл заканчивается.




for ( p=a+4; Ссылка p указывает на пятый элемент массива a.
p>=a; Цикл заканчивается, когда p указывает за a.
PR(d, *p); Печатается целое, на которое указывает p.
p-- При уменьшении p настраивается на предыдущий элемент массива.




for ( p=a+4, i=0; i<=4; i++ ) Ссылка p указывает на последний элемент массива a. i пробегает от 0 до 4.
PR(d, p[-i]); Печатается i-й от конца элемент массива.




for ( p=a+4; p>=a; p-- ) Ссылка p последовательно указывает на все элементы массива a от последнего до первого.
PR(d, a[p-a]); Значение p-a равно смещению элемента массива, на который указывает p от начала. Другими словами, p-a есть индекс элемента, на который указывает p.



Содержание раздела