Kesalahan dalam tes braket shell ketika string adalah kurung-kiri

Dulu saya yakin tentang fakta bahwa mengutip string selalu merupakan praktik yang baik untuk menghindari shell mengurai itu.

Lalu saya menemukan ini:

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

Mencoba mengisolasi masalah, mendapatkan kesalahan yang sama:

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

Saya memecahkan masalah seperti ini:

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

Saya masih perlu tahu apa yang terjadi di sini.

Ini adalah kasus sudut yang sangat tidak jelas yang dapat dianggap sebagai bug dalam cara tes [bawaan ditetapkan; Namun, itu cocok dengan perilaku [biner aktual yang tersedia di banyak sistem. Sejauh yang saya tahu, itu hanya mempengaruhi kasus-kasus tertentu dan variabel yang memiliki nilai yang cocok dengan [operator yang seperti (, !, =, -e, dan sebagainya.

Biarkan saya jelaskan alasannya, dan bagaimana cara mengatasinya dalam shell Bash dan POSIX.

Penjelasan:

Pertimbangkan yang berikut ini:

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

Tidak masalah; hasil di atas tidak ada kesalahan, dan output yes. Beginilah cara kami mengharapkan barang bekerja. Anda dapat mengubah string perbandingan menjadi '1'jika Anda suka, dan nilainya x, dan itu akan berfungsi seperti yang diharapkan.

Perhatikan bahwa /usr/bin/[biner yang sebenarnya berperilaku dengan cara yang sama. Jika Anda menjalankan mis. '/usr/bin/[' '(' = '(' ']'Tidak ada kesalahan, karena program dapat mendeteksi bahwa argumen terdiri dari operasi perbandingan string tunggal.

Bug terjadi ketika kita dan dengan ekspresi kedua. Tidak masalah apa ekspresi kedua, asalkan valid. Sebagai contoh,

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

output yes, dan jelas merupakan ekspresi yang valid; tapi, jika kita gabungkan keduanya,

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

Bash menolak ekspresi jika dan hanya jika xada (atau !.

Jika kita menjalankan di atas menggunakan [program yang sebenarnya , yaitu

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

kesalahan akan dapat dimengerti: karena shell melakukan substitusi variabel, /usr/bin/[biner hanya menerima parameter ( = ( -a 1 = 1dan terminating ], itu dimengerti gagal untuk menguraikan apakah tanda kurung buka memulai sub-ekspresi atau tidak, ada dan operasi yang terlibat. Tentu, menguraikannya sebagai dua perbandingan string adalah mungkin, tetapi melakukannya dengan rakus seperti itu dapat menyebabkan masalah ketika diterapkan pada ekspresi yang tepat dengan sub-ekspresi yang diurung.

Masalahnya, sebenarnya, shell [built-in berperilaku dengan cara yang sama, seolah-olah itu memperluas nilai xsebelum memeriksa ekspresi.

(Ambiguitas ini, dan yang lainnya terkait dengan ekspansi variabel, adalah alasan besar mengapa Bash diimplementasikan dan sekarang merekomendasikan penggunaan [[ ... ]]ekspresi tes sebagai gantinya.)

Penanganannya sepele, dan sering terlihat dalam skrip menggunakan shshell yang lebih lama . Anda menambahkan karakter "aman", sering x, di depan string (kedua nilai dibandingkan), untuk memastikan ekspresi diakui sebagai perbandingan string:

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

[alias testmelihat:

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

testmenerima subekspresi dalam tanda kurung; jadi ia berpikir bahwa kurung kurawal membuka subekspresi dan mencoba menguraikannya; pengurai melihat =sebagai hal pertama dalam subekspresi dan berpikir bahwa itu adalah tes panjang-string implisit, jadi itu menyenangkan; subexpression yang kemudian harus diikuti dengan kurung kanan, dan sebaliknya parser menemukan 1bukan ). Dan itu mengeluh.

Ketika testmemiliki tepat tiga argumen, dan argumen tengah adalah salah satu operator yang diakui, itu berlaku operator untuk argumen 1 dan 3 tanpa mencari subekspresi dalam tanda kurung.

Untuk rincian lengkap melihat man bash, mencari test expr.

Kesimpulan: Algoritma parsing yang digunakan oleh testrumit. Gunakan hanya ekspresi sederhana dan gunakan operator shell! , &&dan ||untuk menggabungkannya.