C言語における#defineとconstの違いを徹底解説

はじめに

C言語で定数を扱う方法として、#define と const の2つが広く使われています。一見するとどちらも同じ役割を果たすように思えますが、内部の仕組みや挙動には大きな違いがあります。この記事では、それぞれの特徴と違いをわかりやすく解説します。

#define の仕組み

#define はプリプロセッサディレクティブの一種です。マクロを定義すると、コンパイルが始まる前の前処理段階で、ソースコード内のマクロ名がすべて定義済みの値に置き換えられます。

つまり、コンパイラがコードを処理する時点では、マクロはすでに実際の値へと展開されているため、コンパイラはマクロの存在自体を一切認識しません。その結果、型のチェックは行われず、デバッグ時にもマクロ名は残りません。

#define PI 3.14159
double area = PI * r * r;
/* コンパイル前には 3.14159 * r * r に置き換えられる */

const の仕組み

一方で const は、実際には変数です。宣言するとメモリ上に領域が確保され、型情報やスコープを持ちます。通常の変数と異なる点は、値を直接書き換えることができないという点です。

なお、ポインタを介すれば値を間接的に変更できるケースもありますが、これは未定義動作(UB)を引き起こす可能性があるため、実践では絶対に避けるべきです。

主な違いの比較表

メモリ使用量とコンパイラ最適化

「マクロはメモリを余分に消費しない分、const より優れている」と考えるプログラマーもいます。確かに #define 自体はメモリを追加で消費しません。しかし、優れた最適化機能を持つコンパイラであれば、const 変数も定数畳み込み(constant folding)などの最適化によって、マクロと同等のコードを生成します。そのため、最適化されたリリースビルドにおいては、両者の実行効率の差はほとんどありません。

まとめ

#define はコンパイル前に単純に置き換えられるテキストマクロであり、const は型とスコープを持つ定数変数です。現代のC言語では、型安全性やデバッグのしやすさの観点から、const を使うことが推奨される場面が多くなっています。ただし、条件付きコンパイルや配列サイズの定義など、マクロが適しているケースも存在するため、用途に応じて適切に使い分けることが重要です。