Definicja strukturalna zgodność typów

Definicja z ang. structural compatibility of types, z niem. strukturelle Kompatibilität der Typen.

Znaczenie z ang. structural type conformance w informatyce:

Co to znaczy STRUKTURALNA ZGODNOŚĆ TYPÓW: Reguła zgodności typów ustalająca, iż typ T1 bytu programistycznego (na przykład wyrażenia - wyznacznika aktualnego sposoby) wydedukowany opierając się na reguł wnioskowania o typie (type inference rules) jest zgodny z zadeklarowanym typem T2 dla tego bytu (na przykład wyznacznika formalnego sposoby), o ile dowolny obiekt ekstensji typu T1 (a więc wartość zgodna z T1) należy również do ekstensji typu T2. Przykładowo, jeśli mamy deklaracje:typedef T1= int;typedef T2 = int;T1 X;T2 Y = 1;to wówczas (przy strukturalnej zgodności typów) podstawienie X=Y jest typologicznie prawidłowe, bo T1 i T2 są precyzyjnie tym samym typem. Strukturalną zgodność typów przeciwstawia się nazwowej zgodności typów, przy której podstawienie X=Y jest nieprawidłowe, bo nazwy typów tych zmiennych są różne. W obiektowości przyjmuje się zazwyczaj strukturalną zgodność typów, jakkolwiek prowadzi ona do anomalii i jest koncepcyjnie wątpliwa.

Czym jest Typów Zgodność Strukturalna znaczenie w Słownik definicji S .

Co znaczy Surogat:

Porównanie Identyfikator obiektu generowany przy użyciu algorytmu zapewniającego jego unikalność; odmiennie identyfikator logiczny strukturalna zgodność typów co znaczy.

Krzyżówka Skojarzenie:

Dlaczego powiązania między klasami, na przykład jak regularnie obiekty jednej klasy występują wraz z przedmiotami innej klasy, jak regularnie obiekty jednej klasy wysyłają komunikaty do obiektów innej klasy strukturalna zgodność typów krzyżówka.

Co to jest Szablon:

Jak lepiej oznaczenie dowolnej parametryzowanej metaklasy albo funkcji. Szablon określa rodzinę klas. Szablony są jedną z form polimorfizmu parametrycznego i wzmacniają możliwości ponownego użycia. Terminem strukturalna zgodność typów co to jest.

Słownik Szeregowalność:

Kiedy poprawności systemu transakcji. Szeregowalność znaczy, iż współbieżne wykonanie transakcji jest prawidłowe wtedy i tylko wtedy, jeśli jego skutek jest precyzyjnie taki sam jak skutek wykonania tych strukturalna zgodność typów słownik.

• Dodano: 30 czerwca 2021
• Autor: Redaktor naczelny