C++ Insights：コンパイラの目でソースコードを見る
C++ Insights – See your source code with the eyes of a Compiler
C++ Insightsは、Clangベースのソース間変換ツールだ。コンパイラが裏で行っている処理を可視化することを目的としている。例えば、暗黙に生成される特殊メンバ関数や、DerivedからBaseへのアップキャスト、ラムダ式や範囲ベースforループの展開など、普段は見えない変換を明らかにする。生成されるコードは可能な限りコンパイル可能で、autoやdecltypeの型推論の裏側も確認できる。オンラインで試せるほか、VimやVSCodeなどのプラグインも提供されている。
コンパイラの目で見ることができたらどうだろうかと考え始めた。
- f1shy
このツールは好きなんだけど、ある言語にとってこういうツールが必要になる（少なくとも大いに役立つ）ということに、どこか奇妙な、悲しみ・怒り・苛立ち・失望の間を行き来するような気持ち（うまく言えない）を抱くのは自分だけだろうな。
たとえば、自分のコードが最初にどう解釈されるかは明白であってほしい。高度な最適化とか、細かいコンパイラのトリックの話ではなく、言語そのものの話だ。このツールはどの C++ コンパイラでも役に立つ。どうしてこんなに複雑な言語になってしまったんだ？
つまり（とても個人的な意見で恐縮だけど）、プログラミング言語は自分にとって問題とその解決について考えるのを助けてくれる道具だ。LLM の時代になって以前にも増して、機械に何かをさせるための道具ではなく、数学のようにアイデアや問題、解決策を形式化するための言語なんだ。理解するのに弁護士になる必要があるほど難解であるべきじゃないよね？それとも自分はもうすっかり年を取って、考え方が完全に的外れなんだろうか？
- jsrcout
絶対に試してみる。特に C++ では「でもコンパイラは何を考えているんだ？」という問題にいつも悩まされてきたから。
- alankarmisra
おお、こういうの大好きだ。C++ -> Clang -> JS のトランスパイラを書いて、C++ のソースコードの上に値の変化の状態を HTML で表示して、状態変化の全体をステップ実行できるようにしたんだ。入力値を変えて値が変わるのも見られる。JS レイヤーが値を再計算できるからね——だからトランスパイルまで手を出したんだ。そうでなければ、状態変化を出力してステップごとに CSV としてパースすればよかっただけだから。楽しいプロジェクトだったよ！