dopuszczalne w grach (i)
w matematyce: pozostający w stałej relacji do czegoś; współzmienniczy
KOMENTARZE
Kolejny szok! Jest słowo kowariantny (ale niby bez znaczenia), a nie ma dualnego słowa kontrawariantny! Słowo homologia jest - również w znaczeniu matematycznym, a kohomologia już nie. Jak układany jest ten słownik? Czy terminów specjalistycznych nie podają specjaliści? A jeśli czepiać się słów potocznych, dlaczego nie ma słowa leżycho?
Pojęcie kowariancji i kontrawariancji
Mówimy, że operator konwersji (niejawny) jest kowariantny jeśli zawsze zachowuje porządek typów, kontrawariantny jeśli zawsze nie zachowuje porząde typów, niezmienny (invariant) jeśli żadne z poprzednich nie zachodzi. Oznaczmy tą relację porządku jako B<=A, i zdefiniujmy jako: możliwa jest konwersja zmiennej typu B do zmiennej typu A. Przy czym nie ma to nic wspólnego z hierarchią klas. Konwersja jest bezpośrednia (implicity), związku z tym generalnie typy wartościowe nie podpadają pod tą definicję, jako, że mogą one zajmować różną ilość bajtów w pamięci (dokładniej jest to omówione dalej). Generalnie przyjmujemy, że o ile nie zostanie powiedziane inaczej dalej mówimy tylko o typach referencyjnych.
Dziękuję za wyjaśnienie :)