Guida avanzata di scripting Bash - Portale Posta DMI

Capitolo 26. Array
#+ ad un nuovo array.
# Nelle versioni Bash 2.04, 2.05a e 2.05b.
#+ entrambi i metodi inseriscono gli elementi ’nulli’
# Alle versioni più recenti può aggiungersi un ulteriore assegnamento
#+ purché, per tutti gli array, sia mantenuta la relazione [indice]=valore.
# Crea un array di grandi dimensioni utilizzando un comando interno,
#+ ma andrà bene qualsiasi cosa che permetta di creare un array
#+ di diverse migliaia di elementi.
declare -a grandePrimo=( /dev/* )
echo
echo ’Condizioni: Senza quoting, IFS preimpostato, Tutti gli elementi’
echo "Il numero di elementi dell’array è ${#grandePrimo[@]}"
# set -vx
echo
echo ’- - verifica: =( ${array[@]} ) - -’
times
declare -a grandeSecondo=( ${grandePrimo[@]} )
# ^ ^
times
echo
echo ’- - verifica: =${array[@]} - -’
times
declare -a grandeTerzo=${grandePrimo[@]}
# Questa volta niente parentesi.
times
# Il confronto dei risultati dimostra che la seconda forma, evidenziata
#+ da Stephane Chazelas, è da tre a quattro volte più veloce.
#
# Spiega William Park:
#+ L’array grandeSecondo viene inizializzato come stringa singola,
#+ mentre grandeTerzo viene inizializzato elemento per elemento.
# Quindi, in sostanza, abbiamo:
# grandeSecondo=( [0]="... ... ..." )
# grandeTerzo=( [0]="..." [1]="..." [2]="..." ... )
# Nei miei esempi esplicativi, continuerò ad utilizzare la prima forma
#+ perché penso serva ad illustrare meglio quello che avviene.
# In realtà, porzioni di codice di miei esempi possono contenere
#+ la seconda forma quando è necessario velocizzare l’esecuzione.
# MSZ: Scusate le precedenti sviste.
# Nota:
484