Адресная арифметика

Представление сложных типов.

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

Pole Pole+i

i

Такие адреса называют относительными, число i – смещением, адрес поля – базой.

Пусть поле содержит n значений некоторого типа с длиной cSize Of T.

Pole+i*cSizeOfT

Pole j

a ₀ a₁ a₂ a₃

Такое вычисление адресов лежит в основе реализации одномерных массивов. Но такие рассуждения не решают вопроса, как указать текущие значения последовательности (массива).

A[1]→A

A[2]→A+cSize Of T

A[3]→A+z*cSize Of T

A[i]-?

Решение – адресная переменная или ссылка. Запись адреса вида p^ называется в машинных языках неявной или косвенной.

Пример (трансляция): Суммирование элементов последовательности. Известно, что поле А содержит 10 числовых значений в формате длины 4.

{S:=S+p^;}

S:=0;

p:=addr(A);

i:=1;

while i<=10 do

begin

S:=S+p^;

i:=i+1;

p:=p+cSizeOfT;

end;

Реализация записи аналогична реализации массивов.

cSize Of T₁ cSize Of T₂

R p₁ p₂ p₃ …

R+cSize Of T₁+cSize Of T₂+…+cSize Of T_i-1­; - указатель на i-е поле записи

Дата добавления: 2014-01-05