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. Przykład Wsk_Ogolne Przykład 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