Pascal - Puntero a puntero

Un puntero a un puntero es una forma de direccionamiento indirecto múltiple o una cadena de punteros. Normalmente, un puntero contiene la dirección de una variable. Cuando definimos un puntero a un puntero, el primer puntero contiene la dirección del segundo puntero, que apunta a la ubicación que contiene el valor real como se muestra a continuación.

Una variable que es un puntero a un puntero debe declararse como tal. Por ejemplo,

type
   iptr = ^integer;
   pointerptr = ^ iptr;

El siguiente ejemplo ilustraría el concepto y mostraría las direcciones:

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.

Cuando se compila y ejecuta el código anterior, produce el siguiente resultado:

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