Definicja kowariancja

Definicja z ang. covariance, z niem. Kovarianz.

Znaczenie z ang. covariancy w informatyce:

Co to znaczy KOWARIANCJA: Problem dotyczy zgodności typów w razie polimorfizmu inkluzyjnego. Załóżmy, iż sposób m(A:T), parametryzowana wyznacznikiem A typu T, jest zdefiniowana w klasie K. Załóżmy, iż klasa K posiada specjalizację (podklasę) K', gdzie jest zdefiniowana sposób m(B:T'), parametryzowana wyznacznikiem B typu T'; ta nowa sposób przesłania poprzednią. Zakłada się zasadę zamienialności (substitutability) i silną statyczną kontrolę typów. Powstaje zapytanie, jaki ma być relacja między typami T i T'? Istnieją trzy możliwości:inwariancja (C++) oznaczająca, iż T musi być identyczny z T';kowariancja (Eiffel) oznaczająca, iż T' musi być podtypem T (zwłaszcza T=T');kontrawariancja (Sather) oznaczająca, iż T' musi być nadtypem T (zwłaszcza T=T').Kontrawariancję zaproponował L. Cardelli opierając się na spekulacji teoretycznych dotyczących mocnej kontroli typów i polimorfizmu. Zwolennicy kowariancji uważają, iż kontrawariancja jest nienaturalna dla programistów, wobec czego prowadzi do błędów i nieporozumień. Zwolennicy kontrawariancji argumentują, iż kowariancja znaczy pomniejszenie skuteczności mocnej statycznej kontroli typów. Wobec różnych mierników oceny, regularnie wznawiane dyskusje nie prowadzą do jednoznacznych konkluzji.

Czym jest Kowariancja znaczenie w Słownik definicji K .

Co znaczy Klucz Prosty:

Porównanie Klucz składający się z pojedynczej wartości (atrybutu kowariancja co znaczy.

Krzyżówka Klasa Biznesowa:

Dlaczego Klasa mająca znaczenie dla logiki danego biznesu kowariancja krzyżówka.

Co to jest Klasa Potomna:

Jak lepiej Klasa będąca bezpośrednią specjalizacją danej klasy kowariancja co to jest.

Słownik Klucz Złożony:

Kiedy Klucz składający się z dwóch albo większej ilości wartości (atrybutów kowariancja słownik.

• Dodano: 30 czerwca 2021
• Autor: Redaktor naczelny