ShellCheckのドキュメントに書いてあるcd foo || ! echo "Failure"という書き方にはどのようなメリットがあるのでしょうか？

Question

ShellCheckのドキュメントSC2164を読んでいたときに、よくわからない記載があったのでどなたか解説をいただきたいです。

SC2164のコンセプトは、シェルスクリプト内で「cdでカレントディレクトリを移動してから諸々コマンドを実行する」場合、cdが失敗した場合を想定して処理を書いておきましょう、というものだと理解しています。
ドキュメント内のコードそのままですが、例えば、

cd generated_files || exit
rm -r *.c

と書いておけば、cdし損ねた状態でrm -rしてしまうリスクを回避できます。

ドキュメント内では具体的な対応例として

• cd foo || exit as suggested to abort immediately, reusing exit code from failed cd command
• cd foo || { echo "Failure"; exit 1; } abort with custom message
• cd foo || ! echo "Failure" omitting "abort with custom message"
• if cd foo; then echo "Ok"; else echo "Fail"; fi for custom handling
• <(cd foo && cmd) as an alternative to <(cd foo || exit; cmd) in <(..), $(..) or ( )

が例示されています。
このうち、上から3つ目のcd foo || ! echo "Failure"という書き方の意図がよくわかりません。

omitting "abort with custom message"

という付記も、文意が今一つ読み取れませんでした。

物は試しと思い、cdが必ず失敗するようにして

cd foo || ! echo "Failure"
echo "second line"

として実行してみたのですが、何がメリットなのかよくわかりませんでした。
cdに失敗したときだけ"Failure"が出力されるというのはわかりますが、後続のecho "second line"はcdの成否に関わらず普通に実行されますし、!無しで

cd foo || echo "Failure"
echo "second line"

と書くのと何が違うのかもわかりません。
（一応、cd foo || ! echo "Failure"とcd foo || echo "Failure"でexit statusは変わりますが、後続の処理が走るのは変わらないし…）

cd foo || ! echo "Failure"の書き方にはどのようなメリットがあるのでしょうか？

Answer 1

exit statusは変わりますが

が目的でしょう。

!を付けないと、cd fooが成功しようが失敗しようがcd foo || echo "Failure"という行全体の終了コードは0です。

!を付けるとcd foo || ! echo "Failure"という行全体の終了コードはcd fooの終了コードを同じになります。

例えば、

if cd foo || ! echo "Failure"
then ～～～
else ～～～
fi

と

if cd foo
then ～～～
else  echo "Failure"
 ～～～
fi

は同じですが、何らかの理由で前者の方が見やすいケースがあるのかも知れません。

あるいは、

mycd() {
  cd "$@" || ! echo "Failure"
}

のように関数を定義するとかですかね。
この場合もあえてこの書き方をしなくて良いと思いますが。

Answer 2

以下の通り、コマンドの実行結果が変化します。

$ cd foo || ! echo "Failure"
$ echo $?
1

$ cd foo || echo "Failure"
$ echo $?
0