Scope in C++

Scope

• 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)

Tipi di scope

• 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++.

Scope: esempio

• 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.

Scope globale

• 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.

Scope annidati

• 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à.

Namespace

• 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.

Strumenti di scoping

• 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.

Questo quiz esplora i diversi tipi di scope nel linguaggio C++. Imparerai come le variabili sono dichiarate e valide all'interno di diverse regioni del codice. In particolare, si analizzerà l'importanza di nomi descrittivi e la loro località per evitare conflitti. Metti alla prova le tue conoscenze con esempi pratici e domande specifiche sul topic.