ลำดับความสำคัญของ Pipe (|) และตรรกะและ (&&) ใน bash

สถานการณ์สุดคลาสสิกกับโอเปอเรเตอร์สำคัญคุณมีบรรทัดเหมือน:

(cd ~/screenshots/ && ls screenshot* | head -n 5)

และคุณไม่รู้ว่ามันแยกวิเคราะห์((A && B) | C)หรือ(A && B | C)...

เอกสารอย่างเป็นทางการเกือบจะพบที่นี่ไม่ได้แสดงรายการท่อในรายการดังนั้นผมจึงไม่สามารถเพียงแค่ตรวจสอบในตาราง

นอกจากนี้ใน bash (ไม่เพียง แต่เปลี่ยนลำดับการดำเนินการ แต่สร้าง subshellดังนั้นฉันจึงไม่ 100% แน่ใจว่าบรรทัดนี้เทียบเท่ากับบรรทัดก่อนหน้า:

((cd ~/screenshots/ && ls screenshot*) | head -n 5)

โดยทั่วไปแล้วจะรู้ASTของ bash line ได้อย่างไร? ในหลามฉันมีฟังก์ชั่นที่ให้ต้นไม้กับฉันเพื่อให้ฉันสามารถตรวจสอบลำดับการทำงานได้อย่างง่ายดาย

cd ~/screenshots/ && ls screenshot* | head -n 5

สิ่งนี้เทียบเท่า

cd ~/screenshots && { ls screenshot* | head -n 5 ; }

( กลุ่มคำสั่งวงเล็บปีกกาเข้าด้วยกันโดยไม่มีเชลล์ย่อย ) ความสำคัญของการ|จึงสูงกว่า (ผูกที่เข้มงวดมากขึ้นกว่า) และ&& ||นั่นคือ,

A && B | C

และ

A || B | C

มักจะหมายความว่าการส่งออกเท่านั้น B คือการได้รับการ C คุณสามารถใช้(...)หรือ{ ... ; }เข้าร่วมคำสั่งร่วมกันเป็นเอนทิตีเดียวสำหรับแก้ความกำกวมหากจำเป็น:

{ A && B ; } | C
A && { B | C ; } # This is the default, but you might sometimes want to be explicit

คุณสามารถทดสอบสิ่งนี้โดยใช้คำสั่งที่แตกต่างกัน ถ้าคุณวิ่ง

echo hello && echo world | tr a-z A-Z

แล้วคุณจะได้รับ

hello
WORLD

ย้อนกลับ: tr a-z A-Zพิมพ์ใหญ่และคุณสามารถเห็นได้ว่าecho worldมีการส่งไปเท่านั้นในขณะที่echo helloดำเนินการด้วยตนเอง

สิ่งนี้ถูกกำหนดไว้ในไวยากรณ์เชลล์แม้ว่าจะไม่ชัดเจนมาก: การand_orผลิต (สำหรับ&&/ ||) ถูกกำหนดให้มี aa pipelineในเนื้อหาของมันในขณะที่pipelineเพิ่งมีcommandซึ่งไม่ได้มีand_or- เฉพาะการcomplete_commandผลิตที่สามารถเข้าถึงand_orและมีอยู่ที่ ระดับสูงสุดและภายในร่างกายของโครงสร้างที่สร้างขึ้นเช่นฟังก์ชั่นและลูป

คุณสามารถใช้ไวยากรณ์นั้นด้วยตนเองเพื่อรับทรีการแยกวิเคราะห์สำหรับคำสั่ง แต่ Bash ไม่ได้ให้อะไรเลย ฉันไม่รู้เกี่ยวกับเปลือกหอยใด ๆ ที่ทำนอกเหนือจากที่ใช้สำหรับการแยกวิเคราะห์ของตนเอง

ไวยากรณ์เชลล์มีหลายกรณีพิเศษที่กำหนดไว้เพียงแบบกึ่งทางการและมันอาจเป็นภารกิจที่จะทำให้ถูกต้อง แม้แต่ Bash เองก็ทำให้มันผิดดังนั้นการปฏิบัติและอุดมคติอาจแตกต่างกัน

มีตัวแยกวิเคราะห์ภายนอกที่พยายามจับคู่ไวยากรณ์และสร้างต้นไม้และผู้ที่ฉันจะแนะนำMorbig ในวงกว้างซึ่งพยายามที่จะเชื่อถือได้มากที่สุด

DR; TL;คั่นรายการเช่น: &, &&และ||ตัดสินใจเรียงลำดับคำสั่ง

คู่มือทุบตีบอกเรา:

รายการ AND และ OR เป็นลำดับของหนึ่งหรือมากกว่าหนึ่งท่อคั่นด้วย && และ || ผู้ประกอบการควบคุมตามลำดับ

หรือวิกิของ Bash แฮ็คเกอร์จะวางไว้อย่างชัดเจน

<PIPELINE1> && <PIPELINE2>

ดังนั้นในการcd ~/screenshots/ && ls screenshot* | head -n 5 มีหนึ่งท่อ - และเป็นหนึ่งในคำสั่งง่ายๆls screenshot* | head -n 5 cd ~/screenshots/โปรดทราบว่าตามคู่มือ

แต่ละคำสั่งในไปป์ไลน์จะดำเนินการเป็นกระบวนการแยกต่างหาก (เช่นใน subshell)

บนมืออื่น ๆ ที่(cd ~/screenshots/ && ls screenshot*) | head -n 5แตกต่างกัน - คุณมีหนึ่งท่อ: ด้านซ้ายมี subshell head -n 5และด้านขวาที่คุณมี ในกรณีนี้ใช้สัญลักษณ์ของ OP มันจะเป็น(A && B) | C

ลองทำตัวอย่างอื่น:

$ echo foo | false &&  echo 123 | tr 2 5
$

<pipeline1> && <pipeline2>ที่นี่เรามีรายการหนึ่ง เนื่องจากเรารู้ว่าสถานะทางออกของไปป์ไลน์เหมือนกับคำสั่งสุดท้ายและfalseส่งคืนสถานะลบหรือที่รู้จักว่าล้มเหลว&&จะไม่ดำเนินการทางด้านขวามือ

$ echo foo | true &&  echo 123 | tr 2 5
153

ที่นี่ไปป์ไลน์ด้านซ้ายมีสถานะออกจากความสำเร็จดังนั้นไปป์ไลน์ที่ถูกต้องจะถูกดำเนินการและเราจะเห็นผลลัพธ์ของมัน

โปรดทราบว่าเชลล์ไวยากรณ์ไม่ได้หมายถึงลำดับการดำเนินการจริง หากต้องการอ้างอิงหนึ่งในคำตอบของ Gilles :

คำสั่ง Piped ทำงานพร้อมกัน เมื่อคุณเรียกใช้ ps | grep …มันเป็นโชคดีของการดึง (หรือรายละเอียดของการทำงานของเชลล์รวมกับตัวกำหนดการปรับละเอียดลึกลงไปในลำไส้ของเคอร์เนล) ว่า ps หรือ grep เริ่มต้นก่อนหรือไม่ เพื่อรันพร้อมกัน

และจากทุบตีคู่มือ:

รายการ AND และ OR ถูกดำเนินการด้วยการเชื่อมโยงด้านซ้าย

ขึ้นอยู่กับว่าในcd ~/screenshots/ && ls screenshot* | head -n 5การcd ~/screenshots/จะถูกดำเนินการก่อนls screenshot* | head -n 5ถ้าคำสั่งก่อนหน้าประสบความสำเร็จ แต่head -n 5อาจเป็นกระบวนการแรกที่เกิดขึ้นมากกว่าlsเพราะพวกเขาอยู่ในขั้นตอน

ที่นี่มีการระบุไว้ในbash(1):

SHELL GRAMMAR
[...]
   Pipelines
       A  pipeline  is  a sequence of one or more commands separated by one of
       the control operators | or |&.
[...]
   Lists
       A list is a sequence of one or more pipelines separated by one  of  the
       operators ;, &, &&, or ||, and optionally terminated by one of ;, &, or
       <newline>.

ดังนั้น&&แยกท่อ

echo hello && echo world | lessคุณเพียงแค่อาจจะลอง คุณจะเห็นว่า|มีลำดับความสำคัญสูงกว่า (ไพพ์ไลน์ของคำสั่งคือคำสั่ง) มีตัวอย่างที่ 2 ของคุณไม่เหมือนกัน อย่างไรก็ตามเนื่องจากcdไม่มีเอาต์พุตคุณจะไม่เห็นความแตกต่างอีเทอร์