なぜ答えは[1，2，3，1，2，3, 3, 2, 1]にならないのでしょうか？
答えはBに6個しか入っていませんが、まだCに3つ残っています。

また、解説を見ると「呼び出し3回目の続き」と途中に書いてありますが、これは何故このタイミングで続きをしているのですか？

※問題文中の「Aからpopした値をCにpushする。」を面倒なので「Ａ→Ｃ」と書きます。

> 答えはBに6個しか入っていませんが、まだCに3つ残っています。
「Cが空になるまで」とはどこにも書いていません。

> 「呼び出し3回目の続き」と途中に書いてありますが、これは何故このタイミングで続きをしているのですか？
f()の途中に「f()を呼び出す。」とありますよね？
つまり、、、
f()は、「Ａ→Ｃ」を実行後に「f()」を実行します。そして
f()は、「f()」を実行後に「Ｃ→Ｂ」を実行するのです。
重要なことなので２回言います。
f()は、「f()」を実行後に「Ｃ→Ｂ」を実行するのです。
念のためもう一度。
f()は、「f()」を実行後に「Ｃ→Ｂ」を実行するのです。

・・・・。
f()に呼び出されたf()を、区別のためf2()とでも呼びます。
f()はf2()を呼び出しましたが、呼び出しただけです。まだ「Ｃ→Ｂ」に行ってはいけません。
f()は、「f2()」を実行後に「Ｃ→Ｂ」を実行するのです。
念のためもう一ｄ（殴

f2()が呼び出されました。f2()も例によって「そうでない場合{・・・}」に到達します。
「Ａ→Ｃ」実行後「f3()」を実行します。
「f3()」実行後「Ｃ→Ｂ」を実行します。

どうでしょう。わかってきましたでしょうか？
この時点でf()も、f2()もまだ完了していません。
f3()完了後でないとf2()は完了できないし、
f2()完了後でないとf()は完了できません。

指が疲れてきたのでここらで一度、これをヒントにもう一度、解説を読んでみてください。

わかりやすい解説で助かりました。またよろしくお願いします。