PythonからC++へ：なぜこんなに大きなギャップを感じるのか

C++に初めて触れたすべてのPythonプログラマーは同じ反応をします。なぜ「hello world」を出力するのにこんなに儀式的な手続きが必要なのか、ということです。ギャップは単なる構文の違いではありません。メモリ、型、そしてプログラムが実行されている間にコンピュータが実際に何をしているのかについて考え方を変えることです。

Pythonが隠していたもの

Pythonはインタプリタ（ほとんどの場合CPython）の上で動作し、メモリ割り当て、ガベージコレクション、型チェックをバックグラウンドで処理します。x = 5と書いて後でx = "hello"と書いても、Pythonは黙認して名前を再割り当てします。クレームもなく、クリーンアップの手間もありません。

C++はそれをしません。int x = 5;と書くと、整数用にサイズが固定されたメモリの塊を予約しています。後から文字列をそこに放り込むことはできません。そしてnewで動的にメモリを割り当てる場合、deleteで明示的に解放する責任があります。それを忘れるとメモリリークです。ポインタを逆参照する前にnullかどうか確認するのを忘れると、segfaultが発生します。Pythonはパフォーマンスと引き換えにセーフティネットを提供します。C++ははさみを渡して走ってくるなと信頼します。

静的型付けは変数を宣言する方法を変えるだけではなく、コードの書き方を変える

Pythonでは、関数シグネチャは提案です。C++では、コンパイル時に強制されるコントラクトです。

int add(int a, int b) {
    return a + b;
}

add(3, "four")を呼び出すと、プログラムが実行される前にコンパイラが止めます。Pythonはdef add(a, b): return a + bと書くのを喜んで許可し、互換性のない型が渡された瞬間に実行時にクラッシュします。これは小さな不便ではなく、エラーがいつ浮上すべきかについての異なる哲学です。C++はコンパイル時にバグを捕まえることを望みます。Pythonはテストを書かなかった場合は本番環境でそれらを捕まえるのでいいと思います。

メモリ管理が本当のカリキュラム

最大の概念的なジャンプは、スタックとヒープの違いを理解することです。ローカル変数と関数パラメータは通常スタック上に存在し、関数がreturnするときに自動的にクリーンアップされます。newで作成されたものはヒープ上に存在し、明示的にdeleteするか、スマートポインタでラップするまでそこに残ります。

モダンC++（C++11以降）には、手動でraw pointerを管理しなくて済むようにstd::unique_ptrとstd::shared_ptrがあります。

std::unique_ptr<int> ptr = std::make_unique<int>(42);

このオブジェクトはスコープから外れるときに自動的に破棄されます。手動のdeleteは不要です。2024年にC++を学んでいるなら、1998年のカリキュラム向けのraw pointer演算演習をやり込む代わりに、スマートポインタとRAII（Resource Acquisition Is Initialization）パターンに直行してください。ポインタを概念的に理解する必要はありますが、それを証明するためにmalloc/freeコードを書く必要はありません。

コンパイルは異なるフィードバックループ

Pythonは即座にフィードバックを与えます。スクリプトを実行し、エラーを見て、修正し、再度実行します。C++は間にコンパイルステップを挿入し、そのステップはPythonが実行時に先延ばしにするバグの全カテゴリをキャッチします。g++ -Wall -Wextra program.cpp -o programでコンパイルし、すべての警告に注意を払うことは、後の混乱したデバッグの時間を何時間も節約します。型の不一致、初期化されていない変数、符号付き/符号なし比較の問題はすべてここで表示され、謎めいた実行時の動作ではなく表示されます。トレードオフは反復速度です。特にコードベースが数ファイルを超える場合、edit-compile-runループはPythonのedit-runループよりも遅く、完全なリビルドに数分かかることもあります。これは、プロジェクトが数ファイルを超えて成長する際にccacheなどのツールと、CMakeを介したインクリメンタルビルドが重要である理由の一部です。

これが実際に重要な場所

C++を学ぶのは、Pythonで書いたのと同じプログラムをより速く書くためではありません。いくつかの問題がそれを必要とするため学びます。フレームバジェットが厳しいゲームエンジン、キロバイト単位のRAMを持つ組み込みシステム、マイクロ秒が金銭的価値を持つ高頻度取引システム、またはPythonのインタプリタ自体の下に位置するオペレーティングシステムコンポーネント。セキュリティ作業をしている場合、C++メモリモデルを理解することはバッファオーバーフローとuse-after-free脆弱性がバイナリレベルでどのように発生するかを直接説明します。Pythonの抽象化は積極的にこれを隠しています。

正直なアドバイス。C++をPythonのように感じさせようとしないでください。しばらくの間、不快な感じを受け入れてください。その不快感がポイントです。それはあなたのPythonインタプリタが今まであなたに代わってしてきたことを教えてくれています。

このような言語間の比較が役に立つなら、Korra Studioにはメモリセーフティ、システムプログラミングの基礎、そして逆エンジニアリングに関する関連セグメントがあり、それらはまさにこれらの概念に基づいています。