Sappiamo cosa deve fare ooc. Come scriviamo però il preprocessore? Per ragioni di efficienza, dovremmo basarci su piattaforme come lex o yacc, ma una prima implementazione è molto meno costosa se ci basiamo su un linguaggio di programmazione come awk o perl.

Quali istruzioni per il preprocessing dovrebbe fornire ooc? Osservando quanto indicato nella sezione 7.1 ci sono tre aspetti in cui ooc potrebbe aiutare: dato un nome di un metodo, conoscere l'header del metodo; dato un metodo, controllare e importare i parametri oggetto.

Lasciateci trarre qualche conclusione dall'esperimento nel preprocessing di Point. Abbiamo iniziato con una descrizione line-oriented molto ma molto semplice che possiamo riassumerer così come segue:

Un altro problema riguarda il fatto che Point_ctor() chiama il selettore della superclasse e di conseguenza non necessita di importare gli oggetti parametri come faceva Point_draw().

Vogliamo ingegnerizzare un preprocessore ooc che ci aiuti nel mantenere coerenti le nostre classi con la codifica standard che ci siamo imposti come convenzione. Il miglior modo per progettare un preprocessore è quello di partire prendendo un esempio reale di una classe esistente e vedere come si può semplificare l'implementazione utilizzando ipotesi opportune circa a quanto il preprocessore debba fare

Ripassando il capitolo precedente, sembra che siano stati risolti i grossi problemi di manutenzione della gerarchia delle classi introducendo di fatto un altro grosso problema: abbiamo un numero ampio di convenzioni su come si devono scrivere certe funzioni (con particolare riferimento ai costruttori di metaclassi) e su come devono essere gestite.

Gli oggetti puntano alle loro descrizioni di classe che, per la maggior parte, contengono puntatori a metodi linkati dinamicamente. Le descrizioni di classe con lo stesso insieme di puntatori a metodi costituisce una metaclasse – le descrizioni di classe sono anch'esse oggetti.

Object e Class sono le radici della gerarchia delle classi. Ogni classe è una sottoclasse di Object e eredita i suoi metodi, ogni metaclasse è una sottoclasse di Calss e coopera con i suoi costruttori.

Prima che un costruttore di una sottoclasse esegua la propria inizializzazione, è necessario che venga chiamato il costruttore della superclasse. Analogamente, il distruttore della sottoclasse deve chiamare il distruttore della sua superclasse dopo che è stato completato il processo di richiamo delle risorse.

Tipicamente, otteniamo una descrizione di classe spedendo new() ad una descrizione di metaclasse. Nel caso di Class e Object vediamo le seguenti chiamate:

Il lavoro di una funzione selettore non è cambiato da quanto illustrato nel capitolo 2. Un argomento _self è l'oggetto del linking dinamico. Verifichiamo che esso esista e che il metodo richiesto esista per l'oggetto.

Implementare la classe Object è di immediata realizzazione: il costruttore e il distruttore ritornano self e differ() controlla che i suoi puntatori che fungono da argomenti siano uguali.

Data la descrizione di Class e Object, possiamo già creare nuovi oggetti e anche una nuova sottoclasse. Come esempio, consideriamo una sottoclasse Any che dichiara che tutti i suoi oggetti sono uguali a un qualsiasi altro oggetto, in altre parole Any sovrascrive differ() in modo da restituire sempre zero.

Le descrizioni delle classi con gli stessi insiemi di metodi sono oggetti di una metaclasse. Una metaclasse è essa stessa una classe e di conseguenza ha una descrizione di classe. Dobbiamo ipotizzare che le descrizioni di classe per le metaclassi siano, ancora una volta, oggetti di meta classi (meta meta classi quindi), che a loro volta siano classi di... e così via.

Il requisito n. 5 non è un vero e proprio problema, più che altro rappresenta un modo per risolvere gli altri. Proprio come un cerchio aggiunge informazioni ad un punto, così le descrizioni di classe per punti e cerchi assieme aggiungono informazioni – il draw() polimorfico – ad entrambe le descrizioni di classe delle due classi.

Le nuove keywords sono necessarie per implementare concetti come i cicli while e repeat, così come per implementare le istruzioni if. Il riconoscimento delle espressioni è affidato nella pratica a stmt() ma nella maggior parte dei casi non è un problema di ereditarietà quanto piuttosto riguarda proprio la costruzione stessa del compilatore.

Basandoci sulla funzione binary() per cercare ed inserire elementi in un array ordinato, abbiamo implementato una tabella dei simboli contenente strutture con un name e un valore di token.

Il C Ansi definisce una serie di funzioni matematiche come ad esempio sin(), cos(), sqrt(), exp() eccetera. Come un bell'esempio per impratichirsi con il meccanismo dell'ereditarietà, in questo paragrafo estenderemo le funzioni di libreria aggiungendo un parametro double e un risultato double al nostro calcolatore.

A chi piace digitare il valore di pi greco o di altre costanti matematiche? Ispirandoci alla soluzione proposta da Kernighan e Pike [K&P94] predefiniamo alcune costanti per il nostro calcolatore. La seguente funzione deve essere chiamata durante l'inizializzazione del riconoscitore.

L'assegnamento è una operazione binaria. Il riconoscitore garantisce che vi sia una variabile come operatore sinistro e una somma come operatore destro. Di conseguenza, quello che abbiamo necessità di implementare è di fatto l'operatore assegnazione, ossia la funzione dinamicamente linkata all'interno del componente .exec della descrizione di tipo

screen() chiama new() per creare un nuovo simbolo variabile e lo restituisce al riconoscitore che provvede ad inserirlo nell'albero delle espressioni.

Dato un metodo generale di ricerca e inserimento, possiamo facilmente gestire la nostra tabella dei simboli. Per prima cosa dobbiamo confrontare una chiave rispetto agli elementi della tabella.

Cercare i simboli tramite il loro nome è un problema classico. Sfortunatamente, lo standard ANSI non definisce una funzione di libreria per risolvere il problema.

LET è un esempio di keyword. Nel costruire lo screener possiamo ancora decidere quale identificatore rappresenterà LET: scan() estrae un identificatore dalla linea di input e lo passa a screen() che controlla nella tabella dei simboli e ritorna il valore appropriato per token e, almeno per una variabile, un nodo in symbol.

Una variabile prende parte ad un'operazione in due modi: il suo valore viene usato come operando in un'espressione oppure il valore di un'espressione viene assegnato alla variabile stessa.