値型・参照型

値型:
- 値型（例えば int や float など）はスタックに保存されます。スタックに直接データが格納され、スコープを抜けると自動的に解放されます。
参照型:
- 参照型（例えばクラスや配列）はヒープにデータが格納され、その参照（アドレス）だけがスタックに保存されます。ヒープ上のオブジェクトは、ガベージコレクションが不要と判断したときに解放されます。

スタック・ヒープ

スタック（Stack） と ヒープ（Heap） は、プログラムがメモリを管理する際に使用される領域の2つの異なる方法です。
それぞれの特徴と役割を解説します。

スタックは、 LIFO（Last In, First Out） 方式でメモリを管理する領域です。主に関数のローカル変数や、メソッド呼び出し時の情報（戻り先アドレスやパラメータなど）を保存します。

関数が呼び出されるごとに、その関数で使用される変数や情報がスタックに積み上げられ、
関数が終了するとそれらが一気に取り除かれる（解放される）。

ヒープ は、動的にメモリを確保するための領域です。必要に応じてプログラムの実行中に自由にメモリを確保（動的割り当て）し、使い終わったら明示的に解放する必要があります。

動的メモリ管理: ヒープは必要な分だけ動的にメモリを割り当てることができ、使用が終わったら解放する必要があります（手動解放やガベージコレクションが担当）。
大きなメモリ領域: スタックに比べてヒープのサイズは大きく、巨大なデータ構造（例: 大きな配列やオブジェクト）を扱うのに適しています。
メモリの断片化が発生しやすい: メモリがランダムに割り当てられるため、断片化が起き、アクセス速度が遅くなることがあります。

ヒープに割り当てたメモリは、プログラムがその領域を指すポインタを保持し、
明示的にメモリを解放するまでそのまま残る。