引用符なしで文字列を出力するCプログラムの書き方

C言語には一風変わった課題がいくつかありますが、そのひとつが「引用符（ダブルクォーテーション）を一切使わずに文字列を出力する」というものです。通常、文字列リテラルを扱うには "Hello World" のように引用符で囲む必要がありますが、本記事ではマクロ関数を活用することで、これを実現する方法を解説します。

マクロ関数による文字列化の仕組み

ポイントとなるのは、次のようなマクロ定義です。

#define getString(x) #x

getString() はマクロ関数であり、引数 x を文字列に変換して返します。x の前に付けている # は、Cプリプロセッサにおける文字列化演算子（stringize operator）と呼ばれるもので、「この引数を文字列リテラルへ変換せよ」という指示を意味します。

つまり、getString(Hello World) と書くだけで、プリプロセッサがコンパイル時に自動的に "Hello World" という文字列リテラルへ置き換えてくれるのです。

処理の流れ（アルゴリズム）

ステップ1：引用符なしの文字列を用意する
ステップ2：マクロ関数を使って文字列として出力する
ステップ3：終了

• 入力： 引用符で囲まれていない文字列を1つ受け取る
• 出力： その文字列をコンソールに表示する

サンプルコード

#include<stdio.h>
#define getString(x) #x
// # が x を文字列に変換する
int main(void) {
   printf(getString(Hello World));
   return 0;
}

実行結果

Hello World

解説

このプログラムでは、printf() の引数として直接文字列リテラルを渡す代わりに、getString(Hello World) を指定しています。コンパイルの前段階であるプリプロセスの時点で、# 演算子によって Hello World というトークン列が "Hello World" という文字列リテラルに変換されるため、ソースコード上には引用符が一切現れません。

なお、空白を含む引数もそのまま1つの文字列として扱われる点が特徴的です。このテクニックは、デバッグ用に変数名や式を文字列として出力したい場合などにも応用できます。