Помилка тесту дужки оболонки, коли рядок є лівою дужкою

Я раніше був впевнений у тому, що цитування рядків - це завжди хороша практика, щоб уникнути розбору оболонки.

Потім я натрапив на це:

$ x='('
$ [ "$x" = '1' -a "$y" = '1' ]
bash: [: `)' expected, found 1

Намагаючись ізолювати проблему, отримуючи ту ж помилку:

$ [ '(' = '1' -a '1' = '1' ]
bash: [: `)' expected, found 1

Я вирішив проблему так:

[ "$x" = '1' ] && [ "$y" = '1' ]

Ще мені потрібно знати, що тут відбувається.

Це дуже незрозумілий кутовий випадок, що можна розглянути помилку в тому, як визначено [вбудований тест ; однак це відповідає поведінці фактичних [бінарних файлів, доступних у багатьох системах. Наскільки я можу судити, це зачіпає тільки деякі випадки , і змінну , що має значення , яке відповідає [оператору , як (, !, =, -eі так далі.

Дозвольте мені пояснити, чому і як обходити це в оболонках Bash та POSIX.

Пояснення:

Розглянемо наступне:

x="("
[ "$x" = "(" ] && echo yes || echo no

Без проблем; вищезгадане не дає помилок і виводить yes. Ось так ми очікуємо, що робота працюватиме. Ви можете змінити рядок порівняння, '1'якщо вам подобається, і значення x, і воно буде працювати, як очікувалося.

Зауважте, що власне /usr/bin/[бінарне поводиться так само. Якщо ви працюєте, наприклад '/usr/bin/[' '(' = '(' ']', помилок немає, оскільки програма може виявити, що аргументи складаються з однієї операції порівняння рядків.

Помилка відбувається , коли ми і з другим виразом. Не має значення, що таке другий вираз, доки воно дійсне. Наприклад,

[ '1' = '1' ] && echo yes || echo no

виводить yesі, очевидно, є коректним виразом; але, якщо ми поєднаємо два,

[ "$x" = "(" -a '1' = '1' ] && echo yes || echo no

Bash відкидає вираз , якщо і тільки якщо xє (або !.

Якби ми запускали вище, використовуючи фактичну [програму, тобто

'/usr/bin/[' "$x" = "(" -a '1' = '1' ] && echo yes || echo no

помилка була б зрозумілою: оскільки оболонка робить замінники змінної, /usr/bin/[двійковий прийом приймає лише параметри ( = ( -a 1 = 1та закінчення ], вона, зрозуміло, не може розібратися, чи відкриті дужки починають підвираз, чи ні, там задіяна і операція. Зрозуміло, можливий аналіз цього порівняння як двох рядкових порівнянь, але робити це так жадібно, що може спричинити проблеми при застосуванні до правильних виразів із скобками в дужках.

Справді, проблема полягає в тому, що [вбудована оболонка поводиться так само, як ніби вона розширює значення, xперш ніж вивчати вираз.

(Ці двозначності та інші, пов’язані з розширенням змінної, були великою причиною того, чому Bash реалізував і тепер рекомендує [[ ... ]]замість цього використовувати тестові вирази.)

Вирішення проблеми тривіальне, і часто його можна побачити у сценаріях із використанням старих shоболонок. Ви додаєте "безпечний" символ часто xперед рядками (обидва значення порівнюються), щоб переконання виразу було визнано порівнянням рядків:

[ "x$x" = "x(" -a "x$y" = "x1" ]

[він testбачить:

 argc: 1 2 3 4  5 6 7 8
 argv: ( = 1 -a 1 = 1 ]

testприймає субекспресії в дужках; тому він вважає, що ліва дужка відкриває піддекспресію і намагається її розібрати; парсер розглядає =як перше, що є в піддекспресії, і вважає, що це неявна перевірка довжини рядків, тому він щасливий; Підвираз повинен потім слідувати правою дужкою, а замість цього аналізатор знаходить 1замість ). І скаржиться.

Коли testмає рівно три аргументи, а середній аргумент є одним із розпізнаних операторів, він застосовує цього оператора до 1-го та 3-го аргументів, не шукаючи субекспресій у дужках.

Щоб переглянути детальну інформацію man bash, шукайте test expr.

Висновок: алгоритм розбору, який використовується, testє складним. Використовуйте тільки прості вирази та використовувати оболонки операторів !, &&і ||об'єднати їх.