Pascal - Ponteiro para Ponteiro

Um ponteiro para um ponteiro é uma forma de múltiplas vias indiretas ou uma cadeia de ponteiros. Normalmente, um ponteiro contém o endereço de uma variável. Quando definimos um ponteiro para um ponteiro, o primeiro ponteiro contém o endereço do segundo ponteiro, que aponta para a localização que contém o valor real, conforme mostrado abaixo.

Uma variável que é um ponteiro para um ponteiro deve ser declarada como tal. Por exemplo,

type
   iptr = ^integer;
   pointerptr = ^ iptr;

O exemplo a seguir ilustraria o conceito, bem como exibiria os endereços -

program exPointertoPointers;
type
   iptr = ^integer;
   pointerptr = ^ iptr;

var
   num: integer;
   ptr: iptr;
   pptr: pointerptr;
   x, y : ^word;

begin
   num := 3000;
   
   (* take the address of var *)
   ptr := @num;
   
   (* take the address of ptr using address of operator @ *)
   pptr := @ptr;
   
   (* let us see the value and the adresses *)
   x:= addr(ptr);
   y := addr(pptr);
   
   writeln('Value of num = ', num );
   writeln('Value available at ptr^ = ', ptr^ );
   writeln('Value available at pptr^^ = ', pptr^^);
   writeln('Address at ptr = ', x^); 
   writeln('Address at pptr = ', y^);
end.

Quando o código acima é compilado e executado, ele produz o seguinte resultado -

Value of num = 3000
Value available at ptr^ = 3000
Value available at pptr^^ = 3000
Address at ptr = 45664
Address at pptr = 45680