Чи є подвійні квадратні дужки [[]] кращі над одинарними квадратними дужками [] у Bash?

Нещодавно в огляді коду співробітник заявив, що [[ ]]перевагу [ ]конструкції слід використовувати в подібних конструкціях

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

Він не міг дати обґрунтування. Чи є такий?

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

[[ -e $b ]]

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

[[також має деякі інші приємні функції, наприклад, відповідність регулярного вираження =~разом з операторами, як вони відомі на мовах, подібних С. Ось хороша сторінка про це: Яка різниця між тестом [і[[ ? і тести Баша

Відмінності в поведінці

Деякі відмінності на 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? ]]: вірно, тому що це відповідає узгодженню ( * ? [є магією). Не поширюється на файли у поточному каталозі.
  • [ ab = a? ]: a?глобус розширюється. Так може бути правдою чи помилкою залежно від файлів у поточному каталозі.
  • [ ab = a\? ]: хибне, а не глобальне розширення
  • =і ==однакові в обох [і [[, але ==є розширенням Bash.
  • case ab in (a?) echo match; esac: POSIX еквівалент
  • [[ ab =~ 'ab?' ]]: false⁴, втрачає магію с ''
  • [[ ab? =~ 'ab?' ]]: правда

• =~

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

Рекомендація : завжди використовуйте [].

Існують POSIX-еквіваленти для кожної [[ ]]конструкції, яку я бачив.

Якщо ви використовуєте [[ ]]:

• втрачають портативність
• змусити читача дізнатися тонкощі іншого розширення баш. [це лише звичайна команда зі дивним іменем, ніякої спеціальної семантики не задіяно.

^{¹ Натхненний еквівалентною [[...]]конструкцією в оболонці Корна}

^{², але не вдається для деяких значень 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 ]було б рівнозначно.}

[[ ]]має більше можливостей - я пропоную ознайомитись з Посібником з розширеного сценарію Bash, щоб отримати додаткову інформацію, зокрема розширений розділ тестових команд у главі 7. Тести .

До речі, як зазначає посібник, [[ ]]був представлений в ksh88 (версія Корну 1988 року).

З якого компаратора, тесту, дужки чи подвійної дужки найшвидший? ( 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)

Коротше кажучи, [[краще, оскільки він не розщеплює інший процес. Жодна дужка або одна дужка не повільніша, ніж подвійна дужка, оскільки вона розвиває інший процес.