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 Super:

Porównanie języka Smalltalk pseudozmienna odwołująca się do nadklasy danego obiektu. W przeciwieństwie od self, extra znaczy, iż poszukiwanie sposoby rozpoczyna się nie od klasy obiektu, który dostał komunikat strukturalna zgodność typów co znaczy.

Krzyżówka Sprawdzian:

Dlaczego danych, próbnych zadań, próbnych przebiegów pozwalający ustalić i porównać wskaźniki eksploatacyjne pewnego sprzętu albo oprogramowania. Zazwyczaj testowana jest ogólna wydajność (prędkość działania strukturalna zgodność typów krzyżówka.

Co to jest System Aktywny:

Jak lepiej Mechanizm zawierający czynne reguły, czynnych agentów albo czynne obiekty. Zobacz także: czynny SZBD strukturalna zgodność typów co to jest.

Słownik Selektor:

Kiedy Termin języka Smalltalk; część komunikatu ustalająca nazwę sposoby. Zazwyczaj selektorem nazywa się operację, która odczytuje własność obiektu, lecz jej nie wymienia strukturalna zgodność typów słownik.

• Dodano: 30 czerwca 2021
• Autor: Redaktor naczelny