Pok-12-wyk-Slajd4

Kontrola statyczna – zgodność typów

Stosunkowo najbardziej złożoną czynnością wykonywaną w trakcie kontroli statycznej jest sprawdzenie zgodności typów.

Zakres kontroli typów zależy od języka programowania - niektóre języki mają bardziej restrykcyjne wymagania odnośnie zgodności typów (Ada), a inne mniej (C).

W trakcie sprawdzania zgodności typów można wykonać np. następujące kontrole:

• czy w wyrażeniach zastosowano odpowiednie typy operandów ?
• czy podprogramy zostały wywołane z odpowiednią liczbą i typem argumentów ?
• czy zmienne użyte do indeksowania tablic i zmienne typu okrojonego nie przekraczają zadeklarowanego zakresu ?

Nie zawsze da się jednak wszystkie kontrole wykonać statycznie, niektóre muszą być wykonane dynamicznie i wymagają dołączenia kodu sprawdzającego do wygenerowanego programu wynikowego.

<< Poprzedni slajd | Spis treści | Następny slajd >>