значения индекса, массив, указатель и не только... Опции

[compiler]

есть програмка (на FP)

program PointerArray;  
//на основе doc/ref/Types(3) / Pointers(3.4) 
var i : Longint;  
	p : ^Longint;  
	pp : array[0..100] of Longint;  
function proc():boolean;
var j: longint;
begin
	proc:=true;
	for j := 0 to 105 do  
		if p[j]<>pp[j] then  proc:=false ; 
		
end;
begin  
	for i := 0 to 100 do pp:= i; { Fill array }  
	p := @pp;
	WriteLn (i:3);
	if proc() then  
		WriteLn ('YES !')  
	else 	WriteLn ('Ohoh, problem !');		
	for i := 0 to 105 do begin
		p := @pp[i];
		WriteLn (i:3);
		if proc() then  
			WriteLn ('YES !')  
		else 	WriteLn ('Ohoh, problem !');		
	end;
	readln;
	read;
end. 

интересует строчка [i]p := @pp[0]; что знасит этот индекс(0)? если пишем p := @pp; все работает так-же, но если указываем другой индекс получаем проблемку...

Сообщение отредактировано: compiler - 18.07.2007 16:35

[volvo]

что знасит этот индекс(0)?

Значит, что за точку отсчета при обращении к массиву через указатель, принимается нулевой элемент (в данном случае).

если пишем p := @pp; все работает так-же, но если указываем другой индекс получаем проблемку...

А вот смотри, почему ее получаем:

первая итерация - p := @pp[0], при заходе в функцию Proc значение p[j] сравнивается с pp[j]. Поскольку в свою очередь, базовый индекс (та самая точка отсчета) P равняется 0, то P[j] = pp[base + j] = pp[j]. Что проверяется? Условие p[j] = pp[j]? Подставь то, что я написал, будет истина.

Вторая (и последующие) итерации: базовый индекс больше нуля, следовательно в Proc проверяется условие pp[base + j] = pp[j] при base > 0. Если посмотреть, как ты заполнял массив pp, то понятно, что ни при одном base > 0 равенства не будет.

Кстати, у тебя еще и выход за границу массива происходит, ты в курсе?

[compiler]

Кстати, у тебя еще и выход за границу массива происходит, ты в курсе?

ага... и если p := @pp; и p := @pp[0]; обычно ведут себя одинаково то теперь они проявляют интересные свойства...

program InterestingTest;  
var i : Longint;  
	p,p2 : ^Longint;  
	pp, pp2 : array[0..100] of Longint;  
begin  
	for i := 0 to 100 do  pp[i] := i;   
	pp2:=pp;
	p := @pp[0];
	p2 :=@pp2;
	for i := 0 to 150 do if p[i]<>p2[i]then
                WriteLn (i:4,'---------','p=',p[i]:3, '----------','p2=',p2[i]:3);
	readln;
	read;
end.

хотя... тест довольно не однозначный...
куда мы получаем доступ обращаясь за границы массива?