Kap 6.3: Symboltabellen Foiler ved Birger Møller-Pedersen Forelest av Stein Krogdahl 17. mars Dagens tema:

Transkript

1 Kap 6.3: Symboltabellen Foiler ved Birger Møller-Pedersen Forelest av Stein Krogdahl 17. mars 2015 Hvordan holde greie på: Dagens tema: Hvilke navn har en deklarasjon på «dette» sted i programmet? Hva er navnet i så fall deklarart som? 3/18/2015 1

2 Symboltabellen Programmeringsspråk har Deklarasjoner, som knytter et navn til f.eks. en: Konstant-deklarasjon Type-deklarasjon Variabel-deklarasjon Prosedyre-deklarasjon Klasse-deklarasjon Navnet i en deklarasjon kan kalles en «deklarerende forekomst» av navnet «Bruksforekomster» av navn, f.eks. i uttrykk Disse skal «bindes opp» til en deklarasjon av samme navn Symboltabellen Har hoved-funksjonen lookup(navn), som gir den deklarasjon, som navnet skal bindes til (og hvis dette ikke lykkes: udeklarert) Holder orden på de deklarasjons-navn som gjelder på det stedet man er i programmet, ved at funkjoner «insert(navn, dekl)» og «delete(navn)» 3/18/2015 2

3 Mer om symboltabellen To hovedfilosofier Tradisjonell tabell lookup(id) Leverer dekl, eller «finnes ikke» insert(id, dekl) Brukes til oppdatere tabellen ved passering av delete(id) dekl. og ved inngang/utgang av blokker { int i;... double d; void p(...) { int i;... } int j } Deklarasjons-nodene i selve syntakstreet Lookup-funksjonen blir da en lete-prosess Insert/delete blir implisitte (etter hvordan man flytter seg i treet) Lookup-funksjonen kan bli lite effektiv, men dette kan lett optimaliseres: F.eks. ved en «redundant» tabell, omtrent som en tradisjonell symboltabell 3/18/2015 3

4 Symboltabell: Bruk av tradisjonell tabell Søkestruktur kan f.eks. være: Lister Søketrær Hash-tabeller Hashing mest brukt: Antallet deklarerte navn sjelden over noen tusen. Lengde av hash-tabell f.eks (eller et nærliggende primtall) Gir tilnærmet konstant tid for både oppslag, innsetting og sletting I pakkene: også info om deklarasjonen { } int temp; int j; real i void size(...) {... } 3/18/2015 4

5 Eksempler på blokkstruktur { }, funksjoner funksjoner i funksjoner klasser i klasser metoder i klasser metoder i metoder 3/18/2015 5

6 Hashing Med innebygd stakk for blokkstruktur i tradisjonell hash-tabell 3/18/2015 6

7 Bruk av syntakstre til lookup void S(){} int i Nåværende blokk int i int P sl program sl void P(){} sl void Q(){} int j Om vi gjør semantikkanalyse samtidig med parsing vil vi alltid være i «siste deklarasjon» som her, ellers: Se neste foil setninger setninger setninger lookup(string n){ k=nåværende blokk do {let etter n i dekl. til blokk k}; k=k.sl until funnet eller k==none } her kan brukes: i, P her kan brukes: i, P,Q her kan brukes: i, P, Q, j 3/18/2015 7

8 En mellomløsning Samler deklarasjonene i hver blokk i hver sin tabell Bruker hashing innenfor hver tabell Bruker «statisk link»-pekere, og implementerer lookup ved leting med hash-oppslag på hvert nivå Går inn i blokk: Må lage ny hash-tabell, sette dens «sl» til den gamle, og sette «Nåværende blokk» til den nye Går ut av blokk: Må flytte «Nåværende blokk» ett hakk tilbake. Nåværende blokk sl sl 3/18/2015 9

9 Definisjoner utenfor skop For å implementere dette (og lignende ting, som f.eks. remote aksess) må man ha deklarasjonene for hver blokk i egne tabeller (men det virker også greit å ha dekolarasjonene i treet som tabell). A a;... a.f();... int f() class A{ int f(){...}; bool b; void g(){...} } class A bool b void g() 3/18/

10 Problemstillinger angående scope etc. Sequential <> Collateral 3/18/

11 Scope - problemstillinger forts. 3/18/

12 Dynamisk skop: binde navn via dynamisk link Bokens eksempel: Et annet eksempel: void Y(){ int i; void p(){ int i;... Q();... } void Q(){... i = 5;... }... P();... } Denne! hvilken i i i = 5? 3/18/

13 Større eksempel kapittel Attributtgrammatikk - Definerer statisk semantikk, ikke implementasjon Regler: 1. Ikke samme navn på to i samme let-blokk 2. Navn må deklareres 3. Innermost binding 3/18/

14 Større eksempel 2 kapittel Ting som må sjekkes: 1. Ikke samme navn på to i samme let-blokk: 2. Navn må deklareres: 3. Innermost binding: 4. sequential deklarasjon (en enkelt-deklarasjon tar effekt med en gang): 3/18/

15 Større eksempel 3 kapittel Attributter: exp: symtab arvet nestlevel arvet err syntetisert declist: intab arvet outtab syntetisert nestlevel arvet decl: intab arvet outtab syntetisert nestlevel arvet Funksjoner: insert(tab, name, lev) isin(tab, name) lookup(tab, name) leverer ny tabell leverer ja/nei gir nivået id: name mottas fra scanneren 3/18/

16 2 3 3/18/

17 /18/

18 Noen siste punkter omkring symboltabellen Implisitte deklarasjoner (Fortran) Navnebinding i kompilatoren gir ikke endelig dynamisk binding Kan man ha samme navn på f.eks. variabel og type? Overloading Får lov å bruke samme navn på flere ting (også i samme blokk) Må da kunne skille på noe annet, gjerne antall/type av parametre i + j integer + r + s real + void f(int i) void f(int i, int j) void f(double r) 3/18/