c++ - 再帰関数テンプレートでの実行時の末尾呼び出しの最適化

Question

いくつかのライブラリは、テンプレートから制御フロー構造を生成します。たとえば、「安全なswitch」パターンやビジター パターンのテーブル ディスパッチなどです。

そのような構造のスタックメモリ使用量を測定したり、テールコール最適化との相互作用や一般的な実現可能性について何かを公開したりした人はいますか?

テンプレートからループを生成するなど、実行時の再帰戦略を検討しています。末尾呼び出しの最適化に依存できない場合、必然的にスタックがオーバーフローします。