Phases of translation

Cソースファイルは、以下のフェーズがこの正確な順序で行われるもの として コンパイラによって処理されます。実際の実装では、動作が同じである限り、これらのアクションを結合したり異なる方法で処理したりする場合があります。

フェーズ1

Phase 2

#include <stdio.h>
#define PUTS p\
u\
t\
s
/* 行の結合はフェーズ2で行われ、マクロは
 * フェーズ3でトークン化され、フェーズ4で展開されるため、
 * 上記は #define PUTS puts と等価です
 */
int main(void)
{
 /* 行の結合を使用して puts を呼び出す */ PUT\
S\
("Output ends here\\
0Not printed" /* 行の結合後、残ったバックスラッシュは
               * 0をエスケープし、文字列を早期に終了させる
               */
);
}

フェーズ3

入力が特定の文字まで前処理トークンに解析されている場合、次の前処理トークンは、その後の解析が失敗する場合でも、前処理トークンを構成できる文字の最長シーケンスとして一般に取得されます。これは一般に maximal munch として知られています。

int foo = 1;
// int bar = 0xE+foo; // エラー: 無効なプリプロセス番号 0xE+foo
int bar = 0xE/*コメントは空白に展開される*/+foo; // OK: 0xE + foo
int baz = 0xE + foo; // OK: 0xE + foo
int pub = bar+++baz; // OK: bar++ + baz
int ham = bar++-++baz; // OK: bar++ - ++baz
// int qux = bar+++++baz; // エラー: bar++ ++ +baz, bar++ + ++bazではない
int qux = bar+++/*区切りコメント*/++baz; // OK: bar++ + ++baz

最大マンチ規則の唯一の例外は次のとおりです：

• ヘッダー名の前処理トークンは、 #include ディレクティブ内、 または #embed (C23以降) ディレクティブ内、 __has_include および __has_embed 式内 (C23以降) および #pragma ディレクティブ内の実装定義の場所でのみ形成されます。

#define MACRO_1 1
#define MACRO_2 2
#define MACRO_3 3
#define MACRO_EXPR (MACRO_1 <MACRO_2> MACRO_3) // OK: <MACRO_2> はヘッダー名ではない

フェーズ4

フェーズ 5

注: この段階で実行される変換は、一部の実装ではコマンドラインオプションで制御可能です: gccとclangは - finput - charset でソース文字セットのエンコーディングを指定し、 - fexec - charset および - fwide - exec - charset で文字列リテラルと文字定数における実行文字セットのエンコーディングを指定します （エンコーディングプレフィックスを持たないもの） (C11以降) 。

フェーズ6

隣接する string literals は連結されます。

フェーズ7

コンパイルが実行されます: トークンは構文的および意味的に解析され、翻訳単位として変換されます。

フェーズ 8

リンクが行われる: 外部参照を満たすために必要な翻訳単位とライブラリコンポーネントがプログラムイメージに収集され、その実行環境（OS）での実行に必要な情報が含まれます。

参考文献

関連項目