Successivo: , Precedente: , Su: Spazi-dei-nomi   [Contenuti][Indice]


15.3 Lo spazio-dei-nomi di default

Lo spazio-dei-nomi di default, ovviamente, è awk. Tutte le variabili predefinite di awk e di gawk sono in questo spazio-dei-nomi, e quindi hanno nomi qualificati come awk::ARGC, awk::NF, e così via.

Inoltre, anche se si sta utilizzando uno spazio-dei-nomi differente nel file sorgente correntemente in uso (vedi la sezione Come cambiare lo spazio-dei-nomi), gawk assegna tutti gli identificativi senza una qualifica che contengono solo lettere maiuscole allo spazio-dei-nomi awk. Ciò rende possibile utilizzare facilmente le variabili globali proprie di gawk da spazi-dei-nomi differenti. Ciò rende anche più scorrevole il codice stesso.