Pok-12-wyk-Slajd4
Z Studia Informatyczne
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.
