Являются ли двойные квадратные скобки [[]] предпочтительнее одиночных квадратных скобок [] в Bash?

Сотрудник недавно заявил в обзоре кода, что [[ ]]конструкция должна быть более предпочтительной, чем [ ]конструкции, подобные

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

Он не мог предоставить обоснование. Есть один?

[[имеет меньше сюрпризов и, как правило, безопаснее в использовании. Но он не переносим - POSIX не указывает, что он делает, и только некоторые оболочки поддерживают его (кроме bash, я слышал, что ksh тоже это поддерживает). Например, вы можете сделать

[[ -e $b ]]

проверить, существует ли файл. Но с [, вы должны цитировать $b, потому что это разделяет аргумент и расширяет такие вещи, как "a*"(где [[буквально). Это также связано с тем, как [может быть внешняя программа и получать ее аргумент, как обычно, как и любая другая программа (хотя она также может быть встроенной, но тогда она по-прежнему не имеет этой специальной обработки).

[[также имеет некоторые другие полезные функции, такие как сопоставление регулярных выражений с =~операторами, как они известны в C-подобных языках. Вот хорошая страница об этом: В чем разница между тестом [и [[? и Баш тесты

Различия в поведении

Некоторые отличия в Bash 4.3.11:

• Расширение POSIX против Bash:

  • [ это POSIX
  • [[ такое расширение Bash ¹

• обычная команда против магии

  • [ это обычная команда со странным именем.

    ]это просто аргумент, [который не позволяет использовать другие аргументы.

    Ubuntu 16.04 на самом деле имеет исполняемый файл для него, /usr/bin/[предоставляемый coreutils , но встроенная версия bash имеет преимущество.

    Ничто не изменяется в том, как Bash анализирует команду.

    В частности, <происходит перенаправление &&и ||объединение нескольких команд, ( )генерируются подоболочки, если не выполняется экранирование \, и расширение слов происходит как обычно.

  • [[ X ]]это единственная конструкция, которая делает Xбыть разобранным магическим образом. <, &&, ||И ()рассматриваются специально, и правила разбиения на слова различны.

    Есть и другие отличия, как =и =~.

    В Bashese: [это встроенная команда и [[ключевое слово: /ubuntu/445749/whats-the-difference-between-shell-builtin-and-shell-keyword

• <

  • [[ a < b ]]: лексикографическое сравнение
  • [ a \< b ]То же, что и выше. \требуется или же делает перенаправление как для любой другой команды. Расширение Bash.
  • expr a \< b > /dev/null: POSIX эквивалента², см .: Как проверить строки на лексикографический меньше или равно в Bash?

• && а также ||

  • [[ a = a && b = b ]]: правда, логично и
  • [ a = a && b = b ]: синтаксическая ошибка, &&проанализированная как разделитель команд ANDcmd1 && cmd2
  • [ a = a -a b = b ]: эквивалентно, но не рекомендуется POSIX³
  • [ a = a ] && [ b = b ]: POSIX и надежный аналог

• (

  • [[ (a = a || a = b) && a = b ]]: ложный
  • [ ( a = a ) ]: синтаксическая ошибка, ()интерпретируется как подоболочка
  • [ \( a = a -o a = b \) -a a = b ]: эквивалентно, но ()не поддерживается POSIX
  • { [ a = a ] || [ a = b ]; } && [ a = b ] POSIX эквивалент⁵

• разделение слов и генерация имени файла при расширениях (split + glob)

  • x='a b'; [[ $x = 'a b' ]]: правда, цитаты не нужны
  • x='a b'; [ $x = 'a b' ]: синтаксическая ошибка, расширяется до [ a b = 'a b' ]
  • x='*'; [ $x = 'a b' ]: синтаксическая ошибка, если в текущем каталоге более одного файла.
  • x='a b'; [ "$x" = 'a b' ]: POSIX эквивалент

• =

  • [[ ab = a? ]]: true, потому что он выполняет сопоставление с образцом ( * ? [это волшебство). Не расширяется до файлов в текущем каталоге.
  • [ ab = a? ]: a?glob расширяется. Так может быть истина или ложь в зависимости от файлов в текущем каталоге.
  • [ ab = a\? ]: false, не глобальное расширение
  • =и ==одинаковы в обоих [и [[, но ==это расширение Bash.
  • case ab in (a?) echo match; esac: POSIX эквивалент
  • [[ ab =~ 'ab?' ]]: false⁴, теряет магию с ''
  • [[ ab? =~ 'ab?' ]]: правда

• =~

  • [[ ab =~ ab? ]]: true, POSIX расширенное совпадение с регулярным выражением , ?не расширяется
  • [ a =~ a ]: ошибка синтаксиса. Нет эквивалента Bash.
  • printf 'ab\n' | grep -Eq 'ab?': Эквивалент POSIX (только однострочные данные)
  • awk 'BEGIN{exit !(ARGV[1] ~ ARGV[2])}' ab 'ab?': POSIX эквивалент.

Рекомендация : всегда используйте [].

Есть POSIX-эквиваленты для каждой [[ ]]конструкции, которую я видел.

Если вы используете [[ ]]вас:

• потерять мобильность
• Заставьте читателя изучить тонкости другого расширения bash. [это обычная команда со странным именем, никакой особой семантики не требуется.

^{¹ Вдохновленный эквивалентной [[...]]конструкции в оболочке Korn}

^{² но терпит неудачу для некоторых значений aили b(например, +или index) и выполняет числовое сравнение, если aи bвыглядит как десятичные целые числа. expr "x$a" '<' "x$b"работает вокруг обоих.}

^{³, а также терпит неудачу для некоторых значений aили bкак !или (.}

^{⁴ в bash 3.2 и выше и при условии, что совместимость с bash 3.1 не включена (как с BASH_COMPAT=3.1)}

^{⁵ хотя группировка (здесь с {...;}командой группой вместо (...)которой будет работать ненужную подоболочку) не является необходимым , как ||и &&оболочками операторов (в отличие от ||и && [[...]]операторов или -o/ -a [операторов) имеет одинаковый приоритет. Так [ a = a ] || [ a = b ] && [ a = b ]было бы эквивалентно.}

[[ ]]имеет больше возможностей - я предлагаю вам взглянуть на Advanced Bash Scripting Guide для получения дополнительной информации, в частности, на расширенный раздел команды test в Главе 7. Тесты .

Кстати, как отмечается в руководстве, он [[ ]]был введен в ksh88 (версия оболочки Korn 1988 года).

От Which компаратора, тест, кронштейн или двойной кронштейн, является самым быстрым? ( http://bashcurescancer.com )

Двойная скобка - это «составная команда», где в качестве теста и одиночная скобка являются встроенными в оболочку (и на самом деле это одна и та же команда). Таким образом, одинарные и двойные скобки выполняют разные коды.

Тест и одиночная скобка являются наиболее переносимыми, поскольку существуют как отдельные, так и внешние команды. Однако, если вы используете какую-либо удаленно современную версию BASH, двойная скобка поддерживается.

Если вам нравится следующее руководство по стилю Google :

Тест [и[[

[[ ... ]]уменьшает ошибки, так как между [[и не происходит раскрытие имени пути или разбиение слов ]], и [[ ... ]]позволяет сопоставлять регулярные выражения там, где [ ... ]этого не происходит.

# 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

Типичная ситуация, когда вы не можете использовать [[это в скрипте autotools configure.ac, где скобки имеют особое и другое значение, поэтому вам придется использовать testвместо [или [[- Обратите внимание, что тестируют и [являются одной и той же программой.

[[]] двойные скобки не поддерживаются в определенной версии SunOS и полностью не поддерживаются внутри объявлений функций: GNU bash, версия 2.02.0 (1) -релиз (sparc-sun-solaris2.6)

Короче говоря, [[лучше, потому что он не разворачивает другой процесс. Никакие скобки или одиночные скобки медленнее, чем двойные, потому что они разветвляются на другой процесс.