Scope in C++

Study Notes

Lo scope è una regione del testo di un programma C++.
Ogni variabile è dichiarata in uno scope e valida (è in scope) solo al suo interno.
La variabile è valida a partire dal punto della sua dichiarazione fino alla fine dello scope in cui è stata dichiarata.
I nomi delle variabili dovrebbero essere il più descrittivi possibile soprattutto quando lo scope è ampio.
L'obiettivo è rendere i nomi locali, evitare interferenze (clash) tra nomi di variabili.
"Locality is good" (BS)

Globale: scope esterno a tutti gli altri scope. Da usare cautamente.
Scope di classe: testo all'interno di una classe.
Scope locale: all'interno di un blocco {} o nella lista degli argomenti di una funzione.
Scope di statement: es., in un for-statement.
Namespace: uno scope con un nome inserito nello scope globale o in un altro namespace. Nuovo strumento in C++.

In un esempio di codice con funzioni f e g, le variabili x sono locali alle funzioni f e g e la variabile z è locale alla funzione f.

Le funzioni sono spesso dichiarate e definite nello scope globale.
Per le variabili, lo scope globale è problematico perché significa che la variabile è accessibile ovunque nel file sorgente (scope di file).
Ogni funzione può modificare una variabile globale e non c'è protezione o incapsulamento.
Il debug diventa quasi impossibile in progetti reali.
Il codice diventa meno espressivo quando si affidano a variabili globali, spesso usate per "semplificare" il passaggio di dati.

Lo scope annidato è uno scope definito all'interno di un altro scope.
È una situazione comune e combina diverse istanze dello stesso strumento di scoping (es: due for-loop annidati) o strumenti di scoping diversi (es: funzioni in classi).
Attenzione ai blocchi troppo complessi e usare l'indentazione per facilitare la leggibilità.

I namespace sono un costrutto in C++ dedicato allo scoping.
Permettono di organizzare classi, funzioni, dati e tipi dentro a uno spazio di nomi senza definire un tipo.
Sono utili per nomi potenzialmente usati in molte librerie.
Si possono definire diversi namespace con lo stesso nome (es. Graph_lib and TextLib), questo non genera conflitti.

Ci sono strumenti di scoping già noti:
- Funzioni
- Classi
Permettono di definire "entità" senza preoccuparsi di conflitti di nomi (clash).
Le funzioni raggruppano linee di codice in un blocco.
Le classi organizzano funzioni, dati e tipi in un tipo.