C++入門書で再帰について解説しようとしたら思わぬ最適化できないコードに出くわした

C++入門書を書き始めて早数カ月、すでに文章量が「江添亮の詳説C++17」の半分近くに達しているが、まだようやくループを説明したところだ。 ループの章を一通り書き終えて、ついでに再帰によってループを実現する方法について軽く触れて章を閉じようと、以下のようなコードを書いた。 void hello() { std::cout << "hello\n"s ; hello() ; } すると何故かsegmentation faultを起こすではないか。GCCでもClangでも同じ挙動になる。なぜC++コンパイラーはこの程度の末尾再帰を最適化できないのだろうか。 不思議に思って以下のコードも試すと、こちらは問題なく末尾再帰の最適化が行われる。 void hello() { std::cout << "hello\n" ; hello() ; } 違いは文字列だ。今回の入門書では、初心者に簡単にするた

[kazkaz03]

stringのデストラクタが影響してる？

[sgo2]

デストラクタが問題というのは何かで見たけど、ブロックじゃ駄目な理由が謎。…try/catchで囲んだら変化しないだろうか。

[zyzy]

お手上げ感ある

[UDONCHAN]

おもしろい

[vanbraam]

C++はimplicitな仕様は余りない印象だが,仕様がexplicitでも場合分けが複雑過ぎて結局使いこなせない.この例は問題が仕様か実装かはまだ不明だが,こういう言語で自分の足を撃たずにコードを書くのは記憶力が良くないと無理

[zetta1985]

“コンパイラーの気持ちはよくわからない。”

[kitaj]

そもそもC++に末尾呼び出し最適化があるということを初めて知った！ちょっと調べたらlambdaもか使えるようになってて全然知らない言語になってる…

[tanakh]

えーこの記事では解決してないのか(´･_･`)

[tsekine]

最適化を阻むナニカが言語仕様に潜んでるとか。そう考えるとワクワク…しない。

[YokoChan]

この再帰関数はゴールが無いから無限ループですね。関数に入ったら、引数からゴールかどうか判定してゴールなら終了コードをリターン、ゴールでないなら処理をして新引数で再帰呼び出ししてその値をリターンする。

[wkwkhautbois]

やっぱり末尾再帰は期待してはいけないのか。

[endo_5501]

意味わかんねえなぁ

[masterq]

やはりC++オワコンなのでは。。。