นี่เป็นข้อบกพร่องในการทุบตีหรือไม่? `return 'ไม่ออกจากฟังก์ชั่นถ้าเรียกจากไพพ์

ฉันมีปัญหาแปลก ๆ กับทุบตีเมื่อเร็ว ๆ นี้ ในขณะที่พยายามทำให้สคริปต์ของฉันง่ายขึ้นฉันได้รับโค้ดเล็ก ๆ นี้:

$ o(){ echo | while read -r; do return 0; done; echo $?;}; o
0
$ o(){ echo | while read -r; do return 1; done; echo $?;}; o
1

returnควรออกจากฟังก์ชั่นโดยไม่พิมพ์$?ใช่มั้ย ถ้าอย่างนั้นฉันจะตรวจสอบว่าฉันสามารถกลับจากท่อเพียงอย่างเดียว:

$ echo | while read -r; do return 1; done
bash: return: can only `return' from a function or sourced script

สิ่งเดียวกันนี้เกิดขึ้นโดยไม่มีการwhileวนซ้ำ:

$ foo(){ : | return 1; echo "This should not be printed.";}
$ foo
This should not be printed.

มีบางอย่างที่ฉันหายไปที่นี่หรือไม่? การค้นหาของ Google ไม่ได้สนใจอะไรเลย! เวอร์ชั่นทุบตีของฉันคือ4.2.37 (1) - ปล่อยให้ Debian Wheezy

ที่เกี่ยวข้อง: /programming//a/7804208/4937930

ไม่ใช่ข้อผิดพลาดที่คุณไม่สามารถออกจากสคริปต์หรือกลับจากฟังก์ชันโดยexitหรือreturnใน subshells พวกเขาจะดำเนินการในกระบวนการอื่นและไม่ส่งผลกระทบต่อกระบวนการหลัก

นอกจากนั้นฉันคิดว่าคุณเห็นพฤติกรรมที่ไม่มีเอกสารของการทุบตีข้อมูลจำเพาะ (อาจ) ที่ไม่ได้กำหนด ในฟังก์ชั่นไม่มีข้อผิดพลาดถูกยืนยันสำหรับreturnที่ระดับสูงสุดของคำสั่ง subshell และมันก็ทำตัวเหมือนexitและมันก็จะทำงานเช่น

IMHO มันเป็นข้อผิดพลาดทุบตีสำหรับพฤติกรรมที่ไม่สอดคล้องกันreturnขึ้นอยู่กับว่าคำสั่งหลักอยู่ในฟังก์ชั่นหรือไม่

#!/bin/bash

o() {
    # Runtime error, but no errors are asserted,
    # each $? is set to the return code.
    echo | return 10
    echo $?
    (return 11)
    echo $?

    # Valid, each $? is set to the exit code.
    echo | exit 12
    echo $?
    (exit 13)
    echo $?
}
o

# Runtime errors are asserted, each $? is set to 1.
echo | return 20
echo $?
(return 21)
echo $?

# Valid, each $? is set to the exit code.
echo | exit 22
echo $?
(exit 23)
echo $?

เอาท์พุท:

$ bash script.sh 
10
11
12
13
script.sh: line 20: return: can only `return' from a function or sourced script
1
script.sh: line 22: return: can only `return' from a function or sourced script
1
22
23

มันไม่ได้เป็นข้อบกพร่องในbashแต่พฤติกรรมของเอกสาร :

แต่ละคำสั่งในไปป์ไลน์จะถูกดำเนินการใน subshell ของตัวเอง

returnคำแนะนำที่ถูกต้องจะถูกนิยามฟังก์ชันภายใน แต่อยู่ใน subshell เช่นกันก็ไม่ได้ส่งผลกระทบต่อผู้ปกครองของเปลือกเพื่อให้การเรียนการสอนต่อไปechoจะดำเนินการโดยไม่คำนึงถึง อย่างไรก็ตามมันเป็นโครงสร้างแบบพกพาที่ไม่ใช่แบบพกพาเนื่องจากมาตรฐาน POSIXอนุญาตให้คำสั่งในการเขียนไพพ์ไลน์สามารถดำเนินการได้ใน subshell (ค่าเริ่มต้น) หรือส่วนบนสุด (ส่วนขยายที่อนุญาต)

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

หวังว่าคุณจะบอกได้ bashให้ทำตัวเหมือนที่คุณคาดหวังด้วยตัวเลือกสองทาง:

$ set +m # disable job control
$ shopt -s lastpipe # do not run the last command of a pipeline a subshell 
$ o(){ echo | while read -r; do return 0; done; echo $?;}
$ o
$          <- nothing is printed here

สำหรับเอกสาร POSIX การใช้งานreturnนอกฟังก์ชั่นหรือสคริปต์ที่มาไม่ได้ระบุไว้ไว้ ดังนั้นมันขึ้นอยู่กับเปลือกของคุณในการจัดการ

SystemV เปลือกจะรายงานข้อผิดพลาดในขณะที่ในksh, ด้านนอกของฟังก์ชั่นหรือมาประพฤติสคริปต์เช่นreturn exitPOSIX เชลล์ส่วนใหญ่และschosh's oshก็มีพฤติกรรมเช่นนั้น:

$ for s in /bin/*sh /opt/schily/bin/osh; do
  printf '<%s>\n' $s
  $s -c '
    o(){ echo | while read l; do return 0; done; echo $?;}; o
  '
done
</bin/bash>
0
</bin/dash>
0
</bin/ksh>
</bin/lksh>
0
</bin/mksh>
0
</bin/pdksh>
0
</bin/posh>
0
</bin/sh>
0
</bin/yash>
0
</bin/zsh>
</opt/schily/bin/osh>
0

ksh และ zshไม่ได้เอาต์พุตเนื่องจากส่วนสุดท้ายของไพพ์ในเชลล์เหล่านี้ถูกดำเนินการในเชลล์ปัจจุบันแทนที่จะเป็นเชลล์ย่อย คำสั่ง return ส่งผลกระทบต่อสภาพแวดล้อมเชลล์ปัจจุบันซึ่งเรียกว่าฟังก์ชั่นทำให้ฟังก์ชั่นส่งคืนทันทีโดยไม่ต้องพิมพ์อะไร

ในเซสชันแบบโต้ตอบbashรายงานข้อผิดพลาดเท่านั้น แต่ไม่ได้ยกเลิกเชลล์schily's oshรายงานข้อผิดพลาดและยกเลิกเชลล์:

$ for s in /bin/*sh; do printf '<%s>\n' $s; $s -ci 'return 1; echo 1'; done
</bin/bash>
bash: return: can only `return' from a function or sourced script
1
</bin/dash>
</bin/ksh>
</bin/lksh>
</bin/mksh>
</bin/pdksh>
</bin/posh>
</bin/sh>
</bin/yash>
</bin/zsh>
</opt/schily/bin/osh>
$ cannot return when not in function

( zshในช่วงการโต้ตอบและการส่งออกเป็นขั้วที่ต้องทำไม่ยกเลิกbash, yashและschily's oshรายงานข้อผิดพลาด แต่ไม่ได้บอกเลิกเปลือก)

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

foo(){ x=42; : | x=3; echo "x==$x";}

โดยวิธีการกลับมาทำงาน แต่มันกลับมาจาก subshell คุณสามารถตรวจสอบอีกครั้งว่า:

foo(){ : | return 1; echo$?; echo "This should not be printed.";}

จะส่งออกต่อไปนี้:

1
This should not be printed.

ดังนั้นคำสั่ง return จะออกจาก subshell อย่างถูกต้อง

.

คำตอบทั่วไปคือ bash และ shell อื่น ๆ โดยปกติจะใส่องค์ประกอบทั้งหมดของไปป์ไลน์ในกระบวนการแยกต่างหาก นี่สมเหตุสมผลเมื่อบรรทัดคำสั่งคือ

โปรแกรม1 | โปรแกรม2 | โปรแกรม3

เนื่องจากปกติโปรแกรมจะทำงานในกระบวนการแยกต่างหากอยู่ดี (เว้นแต่คุณจะพูด) แต่มันอาจมาเป็นเซอร์ไพรสได้exec program

คำสั่ง1 | คำสั่ง2 | คำสั่ง3

โดยที่คำสั่งบางส่วนหรือทั้งหมดเป็นคำสั่งในตัว ตัวอย่างเล็กน้อย ได้แก่ :

$ a=0
$ echo | a=1
$ echo "$a"
0
$ cd /
$ echo | cd /tmp
$ pwd
/

ตัวอย่างที่เหมือนจริงมากขึ้นเล็กน้อยคือ

$ t=0
$ ps | while read pid rest_of_line
> do
>     : $((t+=pid))
> done
$ echo "$t"
0

ที่ทั้งwhile... do... doneห่วงจะใส่ลงในกระบวนการย่อยและดังนั้นการเปลี่ยนแปลงในการtจะมองไม่เห็นเปลือกหลักหลังจากที่วงปลาย และนั่นคือสิ่งที่คุณกำลังทำอยู่ - ส่งไปยังwhileลูปทำให้ลูปทำงานเป็น subshell แล้วลองกลับจาก subshell