ADA - ALIASING EN ADA

Hola:

Alguien sabria decirme como afecta el Aliasing en ADA. Es decir que varios operadores apunten a la misma zona de memoria a la vez

Se llama aliasing a tener acceso a un objeto desde varios punteros.
Los punteros generales de Ada 95 (access all) te permiten apuntar a objetos declarados en un bloque declarativo (almacenados en el stack) a parte de a los creados dinamicamente con new (almacenados en el heap).

type t_integer_accesss is acesss all Integer; -- Si quitamos all el puntero no podria apuntar a objetos aliased.

mi_entero : aliased Integer; -- Indicamos que el entero puede tener alias.
mi_puntero1, mi_puntero2 : t_integer_acess;

begin
mi_puntero1 := mi_entero'acess;
mi_puntero2 := mi_puntero1;
-- ahora mi_puntero1 y mi_puntero2 apuntan a la misma zona de memoria, es decir son alias de mi_entero.
end;