Typy wskaźnikowe ogólne 1

Typy wskaźnikowe ogólne

(

general access

types

) umożliwiają

pośredni dostęp

(

indirect access

), czyli przez wskaźniki, do

zadeklarowanych obiektów oraz do danych
utworzonych przez alokatory.

type Wsk_Integer is access all Integer;
Wsk_I : Wsk_Integer;
I : aliased Integer := 4;
Wsk_I := I'access;
Put (Item => Wsk_I.all, Width => 2);

Typy wskaźnikowe ogólne 2

K : Integer;
Nie można napisać:
Wsk_I := K'access;
K := Wsk_I.all;
Podobnie można postąpić w przypadku

innych typów standardowych.

Program.

Wsk_Ogolne

Program.

Wsk_Ogolne_2

Typy wskaźnikowe ogólne 3

Można też używać wskaźników dających

dostęp do struktur takich jak tablice,
albo rekordy

Program.

Wsk_Ogolne_Struktury

Jeżeli chcemy uniemożliwić zmienianie

wartości danych wskazywanych, to w
deklaracji typu wskaźnikowego słowo
kluczowe all zastępujemy słowem
constant

Program.

Wsk_Ogolne_RO

Typy wskaźnikowe ogólne 4

Wskaźniki ogólne

mogą wskazywać

na

podprogramy, co pozwala na pisanie
podprogramów, których

parametrami są

podprogramy

.

Możemy pisać:
type Funkcja_Rzeczywista is access function

(X : Float) return Float;

Funkcja_Testowa : Funkcja_Rzeczywista;
Zmienna ta wskazuje na funkcje, których nagłówki

są zgodne z deklaracją typu wskaźnikowego.

Program.

Metoda_Simpsona