Dize sol parantez olduğunda kabuk destek testinde hata

Kabukların ayrıştırılmaması için her zaman iyi bir uygulama olduğuna dikkat çekiyordum.

Sonra buna rastladım:

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

Sorunu izole etmeye çalışarak aynı hatayı elde etmek:

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

Sorunu bu şekilde çözdüm:

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

Hala burada neler olduğunu bilmem gerekiyor.

Bu, testin nasıl [tanımlandığına dair bir hata olarak düşünülebilecek çok karanlık bir durumdur ; ancak, [birçok sistemde mevcut olan gerçek ikili davranışına uymuyor . Bildiğim kadarıyla söyleyebilirim, sadece belli durumlarda ve bir eşleşen bir değeri olan bir değişken etkiler [gibi operatörü (, !, =,-e , vb.

Nedenini ve Bash ve POSIX mermilerinde nasıl çalışacağını açıklamama izin verin.

Açıklama:

Aşağıdakileri göz önünde bulundur:

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

Sorun değil; Yukarıdakiler hata vermez ve çıktı verir yes. İşlerin böyle olmasını bekliyoruz. İsterseniz karşılaştırma dizesini '1've değerini değiştirebilirsiniz.x ; beklendiği gibi çalışacaktır.

Gerçek /usr/bin/[ikili aynı şekilde davranır unutmayın . Eğer kaçarsan'/usr/bin/[' '(' = '(' ']' hata yoktur, çünkü program argümanların tek bir dize karşılaştırma işleminden oluştuğunu tespit edebilir.

Böcek biz ve ikinci bir ifadeyle olduğunda ortaya çıkar . Geçerli olduğu sürece ikinci ifadenin ne olduğu önemli değildir. Örneğin,

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

çıktılar yesve açıkça geçerli bir ifadedir; ama ikisini birleştirirsek,

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

Ancak ve ancak Bash ifadesini reddeder xolduğu (veya! .

Yukarıdakileri asıl [programı kullanarak çalıştırırsak , yani

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

hata anlaşılabilir olacaktır: kabuk değişken ikameleri yaptığı için, /usr/bin/[ikili sadece parametreleri alır ( = ( -a 1 = 1ve sonlandırır ], açık parantezlerin bir alt ifade başlatıp başlatmayacağını, orada ve işlem . Elbette, onu iki dize karşılaştırması olarak ayrıştırmak mümkündür, ancak bunu ciddiyetle yapmak, parantezli alt ifadelerle uygun ifadelere uygulandığında sorunlara neden olabilir.

Asıl sorun, [yerleşik kabuğun x, ifadeyi incelemeden önceki değerini artırıyormuş gibi davranmasıdır .

(Bu belirsizlikler ve değişken genişlemeyle ilgili diğerleri, Bash'in uygulamasının ve şimdi [[ ... ]]bunun yerine test ifadelerinin kullanılmasını tavsiye etmesinin büyük bir nedenidir .)

Çözüm geçicidir ve genellikle eski shkabukları kullanan komut dosyalarında görülür . xİfadenin bir dize karşılaştırması olarak tanınmasını sağlamak için genellikle dizelerin önüne (her iki değer karşılaştırılır) bir "güvenli" karakter eklersiniz :

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

[aka testgörür:

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

testparantez içindeki alt ifadeleri kabul eder; bu yüzden sol parantezin bir alt ifade açtığını ve onu ayrıştırmaya çalıştığını düşünüyor; ayrıştırıcı =alt ifadede ilk şey olarak görür ve bunun örtük bir dize uzunluğu testi olduğunu düşünür, bu yüzden mutludur; subexpression sonra sağ parantez tarafından takip edilecek ve bunun yerine ayrıştırıcı bulur gerektiğini 1yerine ). Ve şikayet ediyor.

Ne zaman testtam olarak üç argüman vardır ve orta argüman tanınan işletmecilerinden biridir, parantez içinde subexpressions için bakmadan 1. ve 3. argümanları o operatörü uygular.

Tüm detaylar için man bash, arayın test expr.

Sonuç: Kullanılan ayrıştırma algoritması testkarmaşıktır. Yalnızca basit ifadeler kullanın ve kullanımı kabuk operatörleri !, &&ve ||bunları birleştirmek.