1. : dom(k) x dom(t.i) x ... x dom(t_n) —^1L dom(t) (13.26)

Egzemplarz schematu zachowania SCH_zac/, = (AC, IsA, 5) zawiera więc infor­macje o przynależności obiektów do klas oraz o implementacjach metod przy­pisanych klasom:

INST.,_lCh = (mst, irnpl) (13.27)

1. Dyspozycja

Egzemplarz schematu zachowania zawiera przypisanie obiektów do klas, po­nieważ jest to informacja niezbędna w chwili dyspozycji, tzn. przy wyborze odpowiedniej metody do wykonania. Dyspozycja nie jest czynnością banalną, mimo iż znacznie uproszczono ją w implementacjach popularnych języków pro­gramowana obiektowego. W językach takich jak Java i C-i -f dyspozycja jest, jednokrotna, tzn. wybór metody do wykonania odbywa się tylko na podsta­wie klasy obiektu, na rzecz którego wywołano metodę. Nie jest to kosztowne, a zarazem jest zupełnie wystarczające przy założeniach dotyczących kontra- wariancji/kowarianeji, które poczyniliśmy.

Dyspozycja wielokrotna (wybór metody do wykonania na podstawie typów wszystkich argumentów) jest znacznie bardziej złożona i kosztowna. Z tego po­wodu nie rozważa się jej w praktycznych językach programowania. Popatrzmy jednak na następujący przykład. W schemacie zachowania mamy dwie klasy: Pracownik i Kierownik (Kierownik IsA Pracownik) oraz dwie sygnatury me­tod:

spotkaj : Pracownik x Pracownik -» dat.e spotka) : Kierownik x Kierownik ~> date

Zwróćmy od razu uwagę na to, że ten schemat zachowania nie spełnia wyma­gania kontrawariancji argumentów przedefiniowariej metody. Drugi argument drugiej metody to typ referencyjny Kierownik, który jest właściwym podty­pem typu referencyjnego Pracownik, a powinien być nadtypem.

Przypuśćmy, że zmienne pi,p-> przechowują referencje do pewnych obiek­tów klasy Pracownik, że zmienne k], ki przechowują referencje do pewnych obiektów klasy Kierownik.

Dyspozycja jednokrotna dobrze poradzi sobie z następującymi trzema wy­wołaniami i właściwie wybierze metodę do wykonania:

]t\.spotkaj (p-i) (13-28)

p |, spo tkaj (k-i) (13.29)

fci .spotkaj (k>) (13.30)

Dyspozycja jednokrotna źle wskaże za t.o metodę przy takim wywołaniu:

k,. spo tkaj (p₂)