C言語の文字列化演算子（#）とトークン貼り付け演算子（##）を徹底解説

C言語のプリプロセッサには、マクロ定義をより柔軟に扱うための特殊な演算子が用意されています。本記事では、その中でも重要な「文字列化演算子（#）」と「トークン貼り付け演算子（##）」について、具体的なコード例を交えながら詳しく解説します。

文字列化演算子（#）とは

文字列化演算子「#」は、プリプロセッサで使用される演算子の一つです。マクロ定義内で引数の前に「#」を付けることで、コンパイラに対してそのトークンを文字列リテラルへ変換するよう指示します。

この演算子を活用すれば、通常はダブルクォート（"）で囲む必要のあるテキストを、クォートなしで文字列として扱うことができます。

サンプルコード

#include<stdio.h>
#define STR_PRINT(x) #x
main() {
    printf(STR_PRINT(This is a string without double quotes));
}

実行結果

This is a string without double quotes

上記の例では、マクロ STR_PRINT に渡された引数「This is a string without double quotes」が、自動的に文字列リテラルへと変換されて出力されます。引数にダブルクォートを付けていないにもかかわらず、正しく文字列として表示されている点に注目してください。

トークン貼り付け演算子（##）とは

トークン貼り付け演算子「##」も、プリプロセッサで使用される演算子です。マクロ定義内で2つのトークンの間に「##」を記述すると、それらを連結して1つのトークンとして合成するようコンパイラに指示します。

サンプルコード

#include<stdio.h>
#define STR_CONCAT(x, y) x##y
main() {
    printf("%d", STR_CONCAT(20, 50));
}

実行結果

2050

この例では、STR_CONCAT(20, 50) と呼び出すことで、引数の「20」と「50」が「##」によって連結され、1つの数値リテラル「2050」として扱われます。その結果、printf 関数は 2050 を出力します。

まとめ

文字列化演算子（#）とトークン貼り付け演算子（##）は、いずれもマクロ定義内でのみ使用できるプリプロセッサ演算子です。「#」はトークンを文字列リテラルへ変換し、「##」は2つのトークンを1つに連結します。これらを活用することでマクロの柔軟性が大幅に向上し、デバッグ用のログ出力やコードの自動生成など、さまざまな場面で役立ちます。