Mengapa kosong diperlukan antara “[[” dan “-e xxx” di ksh?

Misalnya, perintah berikut ini tidak berfungsi:

if [[-e xyz]]; then echo File exists;fi

ksh memberikan kesalahan berikut

[[-e: command not found

Apakah itu karena "[[-" ambigu?

Penjelasan yang paling sederhana adalah, karena dalam manual itu muncul [[ expression ]]sehingga harus ada ruang antara [[dan expressiondan penutup ]]. Tetapi tentu saja kita dapat mencoba untuk melihatnya secara lebih mendalam. Kerang memiliki tata bahasa yang agak rumit dan sangat bergantung pada konsep "pemisahan kata". Secara khusus, ksh (1) menyatakan manual:

Shell mulai mengurai inputnya dengan memecahnya menjadi kata-kata. Kata-kata, yang merupakan urutan karakter, dibatasi oleh karakter spasi putih yang tidak dikutip (spasi, tab, dan baris baru) atau meta-karakter (<,>, |,;, &, (,)). Selain membatasi kata, spasi dan tab diabaikan, sedangkan baris baru biasanya membatasi perintah.

Jadi seperti yang dinyatakan dalam manual, urutan karakter [[-edianggap kata shell. kshakan mencari perintah seperti itu dalam daftar built-in dan operator khusus (suka foratau while), kemudian mencari perintah eksternal - dan voilà - tidak ada yang ditemukan, maka ada pesan kesalahan tentang perintah tidak ditemukan.

Dalam hal ini [[juga bukan meta-karakter khusus. Jika ya, -ebagian dalam [[-eakan dianggap sebagai kata shell, bukan argumen untuk [[dirinya sendiri. Namun, [[dijelaskan sebagai perintah majemuk, dan manual mengatakan sebagai berikut:

Perintah majemuk dibuat menggunakan kata-kata yang dicadangkan berikut - kata-kata ini hanya dikenali jika mereka tidak dikutip dan jika digunakan sebagai kata pertama dari suatu perintah (yaitu, mereka tidak dapat didahului oleh penugasan parameter atau pengalihan):

Jadi agar [[dapat dikenali sebagai perintah majemuk, itu harus menjadi kata pertama dari perintah atau daftar perintah, yang menurut definisi sebelumnya dari "kata" menyiratkan itu harus dipisahkan oleh spasi, tab, atau baris baru dari lainnya kata-kata / argumen.

Anda telah bertanya di komentar : "Mengapa parser tidak bisa berhenti begitu menemukan" [["pola, dan memperlakukan itu sebagai awal dari perintah bersyarat?" Jawaban singkat mungkin karena 1) pengaruh [sintaksis karena awalnya merupakan perintah eksternal, dan untuk kepatuhan standar POSIX ada sebagai perintah eksternal bahkan hari ini, dan 2) karena parser shell dibangun demikian. Shell parser dapat mengenali karakter khusus yang tidak dibatasi ruang: echo $((2+2))dan (echo foobar)berfungsi dengan baik. Mungkin di masa depan ketika kshpengembangan dilanjutkan atau tampaknya ada percabangan atau klon (seperti mkshatau pdksh) seseorang akan mengimplementasikan sintaksis tanpa spasi di [[-e.

Lihat juga:

• Dalam hal tata bahasa POSIX, [[disebut "kata yang dilindungi undang-undang" (lihat bagian 2.9 dari Bahasa Perintah Shell ). Menurut definisi POSIX, kata yang dipesan harus dibatasi oleh spasi. Sebaliknya (adalah operator, dan negara standar di bagian 2.9 "representasi termasuk spasi antara token di beberapa tempat di mana <blank>s tidak diperlukan (ketika salah satu token adalah operator)". Lihat diskusi terkait: POSIX Shell Grammar: Mengapa Brace Group Membutuhkan Ruang Pertama Tapi Subshell Tidak?

Yang penting untuk dicatat adalah itu [adalah perintah, dan kata kunci shell [[dalam bash dan ksh didasarkan pada [.

[[digunakan dalam cara yang mirip dengan [. Kadang-kadang Anda bahkan dapat mengganti [ ]dengan [[ ]]tanpa perubahan perilaku. Dengan [, seperti perintah apa pun, spasi wajib antara perintah dan argumennya. Hal yang sama berlaku untuk [[.

Kami dulu hanya punya /usr/bin/[. Sekarang sebagian besar shell sudah [dibangun untuk efisiensi — tetapi sintaksnya sama. Dalam shell yang menyediakan [[, itu berfungsi sebagai alternatif yang lebih fleksibel[ .

Berikut ini deskripsi untuk [di bash:

$ help [
[: [ arg... ]
    Evaluate conditional expression.

    This is a synonym for the "test" builtin, but the last argument must
    be a literal `]', to match the opening `['.

Jadi [sama dengan test(selain mengharapkan ]argumen di akhir). help testakan memberikan detail lebih banyak tentang itu. Anda dapat membandingkan ini dengan help [[.

Ada juga halaman manual untuk perintah eksternal [( man \[).

Dalam kasus

if [[-e

• Baik [juga [[adalah perintah, ada. Kata lengkapnya [[-eadalah.
• Itu if [[-emembuatnya menjadi ujian untuk benar / salah. Jadi, apakah [[-eada perintah ?

Apakah itu karena "[[-" ambigu?

Iya. Atau tidak. [[-eadalah apa adanya: tidak ada yang dipahami shell sehingga ia menganggap itu adalah perintahnya sendiri. ;-)

Ruang adalah pembatas dan diperlukan. Seperti yang Anda lihat dari shellcheck:

$ shellcheck gmail-browse-msgs-algorithm.sh

In gmail-browse-msgs-algorithm.sh line 847:
        [[$Today != "${DaysArr[ i + DAY_DELETED_ON_NDX ]}" ]] && continue
          ^-- SC1035: You need a space after the [[ and before the ]].

(Baik ksh dan bash mendukung [[dan tidak bekerja tanpa spasi. Shellcheck memberikan output yang persis sama dengan skrip ksh dan bash yang berisi baris buggy.)

Mengapa pembatas diperlukan karena token dan leksikon .

[[bisa menjadi perintah eksternal! Artinya, ini mungkin program dan bukan sintaks yang didukung oleh shell Anda secara langsung. Mendukung sintaksis tanpa spasi mungkin untuk kshtetapi akan gagal pada sistem dengan eksternal [[sehingga untuk alasan kompatibilitas lebih baik untuk menjaga ruang yang diperlukan.

BusyBox menyediakan [[sebagai perintah eksternal , misalnya.

Karena [[-edapat berpartisipasi dalam ekspansi shell (dapat digunakan seperti

echo [[-e]*

untuk membuat daftar semua file yang dimulai dengan huruf di antara [dan secara einklusif), itu akan menjadi kekacauan total jika [dan ]merupakan karakter khusus yang tidak berpartisipasi dalam pemisahan kata yang diatur oleh spasi.