Đây có phải là một lỗi trong bash? `return` không thoát khỏi chức năng nếu được gọi từ một đường ống

Gần đây tôi có một số vấn đề kỳ lạ với bash. Trong khi cố gắng đơn giản hóa tập lệnh của mình, tôi đã nghĩ ra đoạn mã nhỏ này:

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

returnCó nên thoát khỏi chức năng mà không in $?, không nên? Chà, sau đó tôi đã kiểm tra xem tôi có thể trở về từ một mình không:

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

Điều tương tự xảy ra mà không có whilevòng lặp:

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

Có cái gì tôi đang thiếu ở đây? Một tìm kiếm Google không mang lại điều gì về điều này! Phiên bản bash của tôi là 4.2.37 (1) - phát hành trên Debian Wheezy.

Liên quan: /programming//a/7804208/4937930

Đây không phải là lỗi mà bạn không thể thoát khỏi tập lệnh hoặc trả về từ một hàm bằng exithoặc returntrong các lớp con. Chúng được thực hiện trong một quy trình khác và không ảnh hưởng đến quy trình chính.

Bên cạnh đó, tôi cho rằng bạn đang nhìn thấy các hành vi không có giấy tờ của bash trên (có thể) không xác định cụ thể. Trong một hàm, không có lỗi nào được xác nhận returnở cấp cao nhất của các lệnh con và nó chỉ hoạt động như thế nào exit.

IMHO đó là một lỗi bash cho hành vi không nhất quán returntùy thuộc vào câu lệnh chính có trong hàm hay không.

#!/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 $?

Đầu ra:

$ 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

Nó không phải là một lỗi trong bashnhưng hành vi được ghi lại của nó :

Mỗi lệnh trong một đường ống được thực hiện trong lớp con riêng của nó

Lệnh returnnày có giá trị trong một định nghĩa hàm nhưng cũng nằm trong một lớp con, nó không ảnh hưởng đến lớp vỏ của nó nên lệnh tiếp theo echo, được thực thi bất kể. Tuy nhiên, đây không phải là cấu trúc vỏ không di động vì tiêu chuẩn POSIX cho phép các lệnh tạo đường ống được thực thi trong một lớp con (mặc định) hoặc trên cùng (phần mở rộng được phép).

Ngoài ra, mỗi lệnh của một đường ống đa lệnh nằm trong môi trường mạng con; như một phần mở rộng, tuy nhiên, bất kỳ hoặc tất cả các lệnh trong một đường ống có thể được thực thi trong môi trường hiện tại. Tất cả các lệnh khác sẽ được thực hiện trong môi trường shell hiện tại.

Hy vọng, bạn có thể nói bashđể hành xử theo cách bạn mong đợi với một vài lựa chọn:

$ 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

Mỗi tài liệu POSIX, sử dụng returnbên ngoài chức năng hoặc tập lệnh có nguồn gốc là không xác định . Vì vậy, nó phụ thuộc vào vỏ của bạn để xử lý.

Hệ vỏ sẽ báo cáo lỗi, trong khi ở ksh, returnngoài chức năng hoặc có nguồn gốc kịch bản hành xử giống như exit. Hầu hết các vỏ POSIX khác và osh schily cũng hoạt động như vậy:

$ 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

kshvà zshkhông xuất ra vì phần cuối của ống trong các shell này được thực thi trong shell hiện tại thay vì subshell. Câu lệnh return ảnh hưởng đến môi trường shell hiện tại được gọi là hàm, khiến hàm trả về ngay lập tức mà không in bất cứ thứ gì.

Trong phiên tương tác, bashchỉ báo cáo lỗi nhưng không chấm dứt trình bao, schily's oshbáo cáo lỗi và chấm dứt trình bao:

$ 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

( zshTrong phiên tương tác và đầu ra là làm thiết bị đầu cuối không chấm dứt, bash, yashvà schily's oshbáo cáo các lỗi nhưng không chấm dứt vỏ)

Tôi nghĩ rằng bạn đã có hành vi dự kiến, trong bash, mỗi lệnh trong một đường ống được thực thi trong một lớp con. Bạn có thể tự xác nhận bằng cách cố gắng sửa đổi một biến toàn cục của hàm:

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

Nhân tiện, sự trở lại đang hoạt động nhưng nó trở lại từ lớp con. Một lần nữa bạn có thể kiểm tra xem:

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

Sẽ xuất ra như sau:

1
This should not be printed.

Vì vậy, câu lệnh return trả lại chính xác thoát khỏi subshell

.

Câu trả lời chung hơn là bash và một số shell khác thường đưa tất cả các yếu tố của một đường ống vào các quy trình riêng biệt. Điều này là hợp lý khi dòng lệnh là

chương trình 1 | chương trình 2 | chương trình 3

vì các chương trình thường được chạy trong các quy trình riêng biệt (trừ khi bạn nói ). Nhưng nó có thể gây ngạc nhiên choexec program

lệnh 1 | lệnh 2 | lệnh 3

trong đó một số hoặc tất cả các lệnh là các lệnh dựng sẵn. Các ví dụ tầm thường bao gồm:

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

Một ví dụ thực tế hơn một chút là

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

nơi toàn bộ while... do... donevòng lặp được đưa vào một tiến trình con, và do đó thay đổi nó để tkhông nhìn thấy được bằng vỏ chính sau khi vòng lặp kết thúc. Và đó chính xác là những gì bạn đang làm - chuyển thành một whilevòng lặp, khiến cho vòng lặp chạy như một lớp con, và sau đó cố gắng quay trở lại từ lớp con.