有沒有人嘗試寫一個修復 errexit 的 shell（`set -e`）？

Question 1

這POSIX標準（參見-e）比 Bash 手冊中有關errexitshell 選項的內容更清楚。

啟用此選項後，當任何命令失敗時（由於 Shell 錯誤的後果中列出的任何原因或返回大於零的退出狀態），shell 應立即退出，就像執行 exit 特殊內置實用程式一樣不帶任何參數，但以下情況除外：

多命令管道中任何單一命令的失敗都不應導致 shell 退出。僅考慮管道本身的故障。

當執行 while、until、if 或 elif 保留字（以 ! 開頭的管道）後面的複合清單時，應忽略 -e 設定。保留字，或 AND-OR 清單中除最後一個以外的任何命令。

如果子 shell 指令以外的複合指令的退出狀態是在 -e 被忽略時失敗的結果，則 -e 不適用於該指令。

此要求分別適用於 shell 環境和每個子 shell 環境。例如，在：

set -e; (false; echo one) | cat; echo two

false 指令導致子 shell 退出而不執行 echo one；然而，執行 echo 2 是因為管道的退出狀態 (false; echo one) |貓為零。

顯然，範例程式碼等效於以下偽代碼。

( LIST; ) && COMMAND || COMMAND

的退出狀態清單為零，因為：

shellerrexit選項被忽略。
返回狀態是指定的最後一個命令的退出狀態清單，這裡true。

因此，執行 AND 清單的第二部分：echo "OK"。

Answer

這POSIX標準（參見-e）比 Bash 手冊中有關errexitshell 選項的內容更清楚。

啟用此選項後，當任何命令失敗時（由於 Shell 錯誤的後果中列出的任何原因或返回大於零的退出狀態），shell 應立即退出，就像執行 exit 特殊內置實用程式一樣不帶任何參數，但以下情況除外：

多命令管道中任何單一命令的失敗都不應導致 shell 退出。僅考慮管道本身的故障。

當執行 while、until、if 或 elif 保留字（以 ! 開頭的管道）後面的複合清單時，應忽略 -e 設定。保留字，或 AND-OR 清單中除最後一個以外的任何命令。

如果子 shell 指令以外的複合指令的退出狀態是在 -e 被忽略時失敗的結果，則 -e 不適用於該指令。

此要求分別適用於 shell 環境和每個子 shell 環境。例如，在：

set -e; (false; echo one) | cat; echo two

false 指令導致子 shell 退出而不執行 echo one；然而，執行 echo 2 是因為管道的退出狀態 (false; echo one) |貓為零。

顯然，範例程式碼等效於以下偽代碼。

( LIST; ) && COMMAND || COMMAND

的退出狀態清單為零，因為：

shellerrexit選項被忽略。
返回狀態是指定的最後一個命令的退出狀態清單，這裡true。

因此，執行 AND 清單的第二部分：echo "OK"。

Question 2

不是「有人嘗試過寫…」這個問題的答案，而是關於如何完成它的一些想法。好奇是否有人可以提供回饋。

目前腳本解決方案（Python、JavaScript 和較舊的 Perl 等）中的常見方法是使用 try ... catch 區塊。預期行為是任何錯誤都會觸發異常。此行為與 $? 中捕獲錯誤的 *sh 行為衝突。顯然，「-e」未能以大多數開發人員期望的方式正確工作。無需在這裡詳細說明，因為這已經被廣泛記錄。

兩種可能的方法：

創建更好的set -e：例如，set -ocatcherr具有更好的錯誤處理能力。
新增try { list ; }指令，遵循現代腳本解決方案

'-ofailerr` 可以定義如下：

如果任何命令在控制流之外失敗（if/while/until），則當前執行上下文應傳回 1（如果這是頂級區塊，則退出）。此變更將有效地迫使開發人員對任何失敗的命令提供錯誤處理，或明確標記帶有可以忽略的錯誤的命令。
適用於簡單的腳本，有效地在未處理的錯誤上中止。

方法try { list ; }類似，只是語法不同

例子：

function foo {
    cat $* > a.txt
    wc -l a.txt
}

set -oerrfail
foo /non/existing/file    # Will  fail, without executing the "wc -l"

if foo /non/existing/file ; then
   ...
else
   # This is the "catch" block
fi

使用 try 區塊：

try {
    foo /non/existing/file
    ...
} || { catch-block }

實際上，該 try 相當於“set -oerrofail”，在“if !”下運行命令列表。 { ... } ;然後 { catch 區塊 }

Answer