Le parentesi quadre doppie [[]] sono preferibili rispetto alle parentesi quadre singole [] in Bash?

Un collega ha recentemente affermato in una revisione del codice che il [[ ]]costrutto deve essere preferito rispetto [ ]a costrutti simili

if [ "`id -nu`" = "$someuser" ] ; then 
     echo "I love you madly, $someuser"
fi

Non poteva fornire una motivazione. Ce n'è uno?

[[ha meno sorprese ed è generalmente più sicuro da usare. Ma non è portatile - POSIX non specifica cosa fa e solo alcune shell lo supportano (oltre a bash, ho sentito che anche ksh lo supporta). Ad esempio, puoi farlo

[[ -e $b ]]

per verificare se esiste un file. Ma con [, devi citare $b, perché divide l'argomento e espande cose come "a*"(dove lo [[prende alla lettera). Ciò ha anche a che fare con il modo in cui [può essere un programma esterno e riceve il suo argomento normalmente come qualsiasi altro programma (anche se può anche essere incorporato, ma non ha ancora questa gestione speciale).

[[ha anche alcune altre belle funzioni, come la corrispondenza delle espressioni regolari =~con gli operatori come sono conosciuti in linguaggi simili al C. Ecco una buona pagina a riguardo: Qual è la differenza tra test [e [[? e Bash Test

Differenze comportamentali

Alcune differenze su Bash 4.3.11:

• Estensione POSIX vs Bash:

  • [ è POSIX
  • [[ è un'estensione di Bash ¹

• comando regolare vs magia

  • [ è solo un comando regolare con un nome strano.

    ]è solo un argomento [che impedisce l'utilizzo di ulteriori argomenti.

    Ubuntu 16.04 in realtà ha un eseguibile per esso /usr/bin/[fornito da coreutils , ma la versione integrata di bash ha la precedenza.

    Nulla è alterato nel modo in cui Bash analizza il comando.

    In particolare, <è il reindirizzamento &&e ||concatena più comandi, ( )genera sottotitoli a meno che non sia evaso da \, e l'espansione delle parole avviene come al solito.

  • [[ X ]]è un singolo costrutto che consente di Xanalizzarlo magicamente. <, &&, ||E ()sono trattati in modo speciale, e le regole suddivisione in parole sono diverse.

    Ci sono anche ulteriori differenze come =e =~.

    In bashese: [è un comando integrato ed [[è una parola chiave: /ubuntu/445749/whats-the-difference-between-shell-builtin-and-shell-keyword

• <

  • [[ a < b ]]: confronto lessicografico
  • [ a \< b ]: Come sopra. \richiesto altrimenti esegue il reindirizzamento come per qualsiasi altro comando. Estensione Bash.
  • expr a \< b > /dev/null: POSIX equivalente², vedi: Come testare stringhe lessicografiche inferiori o uguali in Bash?

• && e ||

  • [[ a = a && b = b ]]: vero, logico e
  • [ a = a && b = b ]: errore di sintassi, &&analizzato come separatore di comandi ANDcmd1 && cmd2
  • [ a = a -a b = b ]: equivalente, ma deprecato da POSIX³
  • [ a = a ] && [ b = b ]: POSIX ed equivalente affidabile

• (

  • [[ (a = a || a = b) && a = b ]]: falso
  • [ ( a = a ) ]: errore di sintassi, ()viene interpretato come una subshell
  • [ \( a = a -o a = b \) -a a = b ]: equivalente, ma ()è deprecato da POSIX
  • { [ a = a ] || [ a = b ]; } && [ a = b ] Equivalente POSIX⁵

• suddivisione delle parole e generazione del nome del file in caso di espansioni (split + glob)

  • x='a b'; [[ $x = 'a b' ]]: vero, virgolette non necessarie
  • x='a b'; [ $x = 'a b' ]: errore di sintassi, si espande in [ a b = 'a b' ]
  • x='*'; [ $x = 'a b' ]: errore di sintassi se c'è più di un file nella directory corrente.
  • x='a b'; [ "$x" = 'a b' ]: Equivalente POSIX

• =

  • [[ ab = a? ]]: vero, perché esegue la corrispondenza dei modelli ( * ? [sono magici). Glob non si espande nei file nella directory corrente.
  • [ ab = a? ]: a?glob si espande. Quindi può essere vero o falso a seconda dei file nella directory corrente.
  • [ ab = a\? ]: false, non espansione globale
  • =e ==sono uguali in entrambi [e [[, ma ==è un'estensione di Bash.
  • case ab in (a?) echo match; esac: Equivalente POSIX
  • [[ ab =~ 'ab?' ]]: false⁴, perde la magia con ''
  • [[ ab? =~ 'ab?' ]]: vero

• =~

  • [[ ab =~ ab? ]]: true, la corrispondenza delle espressioni regolari estese POSIX ?non si espande globalmente
  • [ a =~ a ]: Errore di sintassi. Nessun equivalente bash.
  • printf 'ab\n' | grep -Eq 'ab?': Equivalente POSIX (solo dati a linea singola)
  • awk 'BEGIN{exit !(ARGV[1] ~ ARGV[2])}' ab 'ab?': Equivalente POSIX.

Raccomandazione : usare sempre [].

Esistono equivalenti POSIX per ogni [[ ]]costrutto che ho visto.

Se ti usi [[ ]]:

• perdere la portabilità
• costringere il lettore a imparare le complessità di un'altra estensione bash. [è solo un comando regolare con un nome strano, nessuna semantica speciale è coinvolta.

^{¹ Ispirato al [[...]]costrutto equivalente nella shell Korn}

^{² ma non riesce per alcuni valori di ao b(come +o index) e esegue un confronto numerico se ae bassomiglia a numeri decimali. expr "x$a" '<' "x$b"funziona intorno a entrambi.}

^{³ e fallisce anche per alcuni valori di ao bcome !o (.}

^{⁴ in bash 3.2 e versioni successive e la compatibilità fornita con bash 3.1 non è abilitata (come con BASH_COMPAT=3.1)}

^{⁵ sebbene il raggruppamento (qui con il {...;}gruppo di comando anziché il (...)quale eseguirà una sottoshell non necessaria) non è necessario poiché gli operatori della shell ||e &&(al contrario degli operatori ||e && [[...]]o degli operatori -o/ -a [) hanno la stessa precedenza. Quindi [ a = a ] || [ a = b ] && [ a = b ]sarebbe equivalente.}

[[ ]]ha più funzioni - Ti suggerisco di dare un'occhiata alla Guida agli script avanzati di Bash per maggiori informazioni, in particolare la sezione estesa del comando di prova nel Capitolo 7. Test .

Per inciso, come nota la guida, è [[ ]]stato introdotto in ksh88 (la versione del 1988 della shell Korn).

Da quale comparatore, test, parentesi o doppia parentesi è il più veloce? ( http://bashcurescancer.com )

La parentesi doppia è un "comando composto" in cui test e la parentesi singola sono incorporati nella shell (e in realtà sono lo stesso comando). Pertanto, la parentesi singola e la doppia parentesi eseguono codice diverso.

Il test e la parentesi singola sono i più portatili in quanto esistono come comandi separati ed esterni. Tuttavia, se si utilizza una versione remota di BASH, la doppia parentesi è supportata.

Se ti piace seguire la guida di stile di Google :

Test [e[[

[[ ... ]]riduce gli errori in quanto non si verifica l'espansione del nome del percorso o la suddivisione delle parole tra [[e ]]e [[ ... ]]consente la corrispondenza delle espressioni regolari dove [ ... ]non accade.

# This ensures the string on the left is made up of characters in the
# alnum character class followed by the string name.
# Note that the RHS should not be quoted here.
# For the gory details, see
# E14 at https://tiswww.case.edu/php/chet/bash/FAQ
if [[ "filename" =~ ^[[:alnum:]]+name ]]; then
  echo "Match"
fi

# This matches the exact pattern "f*" (Does not match in this case)
if [[ "filename" == "f*" ]]; then
  echo "Match"
fi

# This gives a "too many arguments" error as f* is expanded to the
# contents of the current directory
if [ "filename" == f* ]; then
  echo "Match"
fi

Una situazione tipica in cui non è possibile utilizzare [[è in uno script configure.ac di autotools, qui le parentesi hanno un significato speciale e diverso, quindi dovrai usare testinvece di [o [[- Nota che test e [sono lo stesso programma.

[[]] le parentesi doppie non sono supportate in determinate versioni di SunOS e sono totalmente non dichiarate nelle dichiarazioni di funzioni di: GNU bash, versione 2.02.0 (1) -release (sparc-sun-solaris2.6)

In breve, [[è meglio perché non biforca un altro processo. Nessuna parentesi o una singola parentesi è più lenta di una doppia parentesi perché forgia un altro processo.