【記事レポート】CとGoの生成コードを読む ― アセンブリから見る言語設計の違い

記事の概要

これはZennで公開されている無料の技術書（Book）で、著者は saku0512（佐藤 佑作） 氏。2026年9月5日に公開されたばかりの新刊で、文章量は約 173,946字、全15章の大ボリューム作品です（価格0円）。

テーマはずばり、CとGoという2つの言語で同じようなコードを書いたとき、コンパイラが生成するアセンブリ（機械語）がどう違い、そこから言語設計思想の違いが見えてくるかを体系的に読み解くというもの。低レイヤー好きにはたまらない一冊です。

章立て（全15章）から見る本書の流れ

• 01CとGoの生成コードを比べる前に
• 02CとGoのアセンブリを出力してみる
• 03まずは足し算を比較する
• 04関数の引数はどこへ行くのか ― ABIを比較する
• 05ローカル変数とスタックフレームを追う
• 06if・for・switchはアセンブリでどうなるのか
• 07配列アクセスを比較する ― Bounds Check
• 08Bounds Checkはいつ消えるのか
• 09ポインタ操作を比較する
• 10GCの痕跡をアセンブリから探す
• 11mallocとnewを比較する ― Escape Analysis
• 12CのスタックとGoroutineのスタックは何が違うのか
• 13関数呼び出しはどこへ消えた？ ― Inlineと最適化
• 14Go特有の機能は生成コードでどう見えるか
• 15CとGoの生成コードから見えたもの

本書で学べる重要ポイント

• 生成コード比較というアプローチ: 抽象的な言語仕様の話ではなく、実際にコンパイラが出力したアセンブリを並べて比較するため、「言語設計の違い」が具体的な命令レベルで理解できる。
• ABI（呼び出し規約）の違い: 関数の引数がレジスタ渡しかスタック渡しか、といったCとGoの引数の扱いの違いを追いかける。
• Bounds Check（境界チェック）: Goの安全性を支える配列境界チェックが、どのケースでは消えて（最適化され）どのケースでは残るのかを「いつ消えるか」という視点で深掘り。
• GCとEscape Analysis: CのmallocとGoのnewを比較し、エスケープ解析によってヒープ割り当てがどう変わるか、アセンブリ上のGCの痕跡を読む。
• Goroutineのスタック: 固定サイズのCスタックと、拡張可能なGoroutineのスタックの設計違いを比較。
• インライン化と最適化: ソース上の関数呼び出しが最適化で消える様子を確認し、Go特有の機能（defer等）が生成コードでどう表れるかを見る。

コメント・所感

「GoはGCやランタイムのせいでCより遅い」といった雑な理解ではなく、生成されるコードレベルで何が違うのかを自分の目で確認できる構成が魅力。17万字・15章・無料という点でも破格の内容で、パフォーマンス・チューニングや低レイヤー理解の土台を作りたい人に最適な一冊です。