É preferível colchetes duplos [[]] em vez de colchetes simples [] no Bash?

Um colega de trabalho afirmou recentemente em uma revisão de código que a [[ ]]construção deve ser preferida [ ]em construções como

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

Ele não conseguiu fornecer uma justificativa. Existe um?

[[tem menos surpresas e geralmente é mais seguro de usar. Mas não é portátil - o POSIX não especifica o que faz e apenas alguns shells o suportam (além do bash, ouvi dizer que o ksh também o suporta). Por exemplo, você pode fazer

[[ -e $b ]]

para testar se existe um arquivo. Mas com [, você tem que citar $b, porque divide o argumento e expande coisas como "a*"(onde o [[leva literalmente). Isso também tem a ver com como [pode ser um programa externo e recebe seu argumento normalmente como qualquer outro programa (embora também possa ser um componente interno, mas ainda não tenha esse tratamento especial).

[[também possui outros recursos interessantes, como correspondência de expressões regulares =~e operadores, como eles são conhecidos em idiomas do tipo C. Aqui está uma boa página: Qual é a diferença entre test [e [[? e testes de bash

Diferenças de comportamento

Algumas diferenças no Bash 4.3.11:

• Extensão POSIX vs Bash:

  • [ é POSIX
  • [[ é uma extensão do Bash ¹

• comando regular vs magia

  • [ é apenas um comando regular com um nome estranho.

    ]é apenas um argumento [que impede que outros argumentos sejam usados.

    O Ubuntu 16.04, na verdade, tem um executável /usr/bin/[fornecido pelo coreutils , mas a versão interna do bash tem precedência.

    Nada é alterado na maneira como Bash analisa o comando.

    Em particular, <é o redirecionamento &&e ||concatena vários comandos, ( )gera sub-conchas, a menos que seja escapado \, e a expansão de palavras acontece normalmente.

  • [[ X ]]é uma construção única que faz com que Xseja analisado magicamente. <, &&, ||E ()são tratados de maneira especial, e regras de decomposição palavra são diferentes.

    Existem também outras diferenças como =e =~.

    No Bashese: [é um comando interno e [[é uma palavra-chave: /ubuntu/445749/whats-the-difference-between-shell-builtin-and-shell-keyword

• <

  • [[ a < b ]]: comparação lexicográfica
  • [ a \< b ]: O mesmo que acima. \necessário ou o redirecionamento é semelhante a qualquer outro comando. Extensão Bash.
  • expr a \< b > /dev/null: Equivalente POSIX², consulte: Como testar seqüências lexicográficas menores ou iguais no Bash?

• && e ||

  • [[ a = a && b = b ]]: verdadeiro, lógico e
  • [ a = a && b = b ]: erro de sintaxe, &&analisado como um separador de comandos ANDcmd1 && cmd2
  • [ a = a -a b = b ]: equivalente, mas reprovado pelo POSIX³
  • [ a = a ] && [ b = b ]: POSIX e equivalente confiável

• (

  • [[ (a = a || a = b) && a = b ]]: false
  • [ ( a = a ) ]: erro de sintaxe, ()é interpretado como um subshell
  • [ \( a = a -o a = b \) -a a = b ]: equivalente, mas ()foi descontinuado pelo POSIX
  • { [ a = a ] || [ a = b ]; } && [ a = b ] Equivalente ao POSIX⁵

• divisão de palavras e geração de nome de arquivo após expansões (divisão + glob)

  • x='a b'; [[ $x = 'a b' ]]: true, aspas não necessárias
  • x='a b'; [ $x = 'a b' ]: erro de sintaxe, expande para [ a b = 'a b' ]
  • x='*'; [ $x = 'a b' ]: erro de sintaxe se houver mais de um arquivo no diretório atual.
  • x='a b'; [ "$x" = 'a b' ]: Equivalente POSIX

• =

  • [[ ab = a? ]]: true, porque faz a correspondência de padrões ( * ? [são mágicos). Não é expandido para arquivos no diretório atual.
  • [ ab = a? ]: a?glob se expande. Portanto, pode ser verdadeiro ou falso, dependendo dos arquivos no diretório atual.
  • [ ab = a\? ]: expansão falsa, não global
  • =e ==são iguais em ambos [e [[, mas ==é uma extensão do Bash.
  • case ab in (a?) echo match; esac: Equivalente POSIX
  • [[ ab =~ 'ab?' ]]: false⁴, perde mágica com ''
  • [[ ab? =~ 'ab?' ]]: verdade

• =~

  • [[ ab =~ ab? ]]: true, correspondência de expressão regular estendida POSIX , ?não expande glob
  • [ a =~ a ]: erro de sintaxe. Nenhum equivalente do bash.
  • printf 'ab\n' | grep -Eq 'ab?': Equivalente ao POSIX (apenas dados de linha única)
  • awk 'BEGIN{exit !(ARGV[1] ~ ARGV[2])}' ab 'ab?': Equivalente POSIX.

Recomendação : use sempre [].

Existem equivalentes POSIX para cada [[ ]]construção que eu já vi.

Se você usa [[ ]]você:

• perder portabilidade
• forçar o leitor a aprender os meandros de outra extensão do bash. [é apenas um comando regular com um nome estranho, sem semântica especial envolvida.

^{¹ Inspirado na [[...]]construção equivalente no shell Korn}

^{² mas falha em alguns valores de aou b(como +ou index) e faz comparação numérica se ae se bparecem com números inteiros decimais. expr "x$a" '<' "x$b"trabalha em torno de ambos.}

^{³ e também falha para alguns valores de aou bcomo !ou (.}

^{Bas no bash 3.2 e superior e a compatibilidade fornecida com o bash 3.1 não está ativada (como com BASH_COMPAT=3.1)}

^{⁵ embora o agrupamento (aqui com o {...;}grupo de comandos em vez de (...)executar um subshell desnecessário) não seja necessário, pois os operadores ||e &&shell (em oposição aos operadores ||e && [[...]]ou -o/ -a [operadores) têm igual precedência. Então [ a = a ] || [ a = b ] && [ a = b ]seria equivalente.}

[[ ]]possui mais recursos - sugiro que você dê uma olhada no Advanced Bash Scripting Guide para obter mais informações, especificamente a seção de comando de teste estendido no Capítulo 7. Testes .

Aliás, como o guia observa, [[ ]]foi introduzido no ksh88 (a versão de 1988 do shell Korn).

De Qual comparador, teste, suporte ou suporte duplo, é o mais rápido? ( http://bashcurescancer.com )

O colchete duplo é um “comando composto” onde, como teste e o colchete único, estão embutidos no shell (e na realidade são o mesmo comando). Assim, o colchete simples e duplo executam códigos diferentes.

O teste e o suporte único são os mais portáteis, pois existem como comandos separados e externos. No entanto, se você estiver usando qualquer versão remotamente moderna do BASH, o suporte duplo será suportado.

Se você gosta de seguir o guia de estilo do Google :

Teste [e[[

[[ ... ]]reduz erros, pois não ocorre expansão de nome de caminho ou divisão de palavras entre [[e ]], e [[ ... ]]permite a correspondência de expressões regulares onde [ ... ]não.

# 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

Uma situação típica em que você não pode usar [[está no script autotools configure.ac; os colchetes têm um significado especial e diferente; portanto, você precisará usar em testvez de [ou [[- Observe esse teste e [é o mesmo programa.

[[]] colchetes duplos não são suportados em determinadas versões do SunOS e declarações de funções internas totalmente sem suporte por: GNU bash, versão 2.02.0 (1) -release (sparc-sun-solaris2.6)

Em poucas palavras, [[é melhor porque não bifurca outro processo. Nenhum suporte ou um suporte único é mais lento que um suporte duplo, porque bifurca outro processo.