Core プロファイル — 言語仕様

第 2 版(2026 年改訂)。C サブセットコンパイラが対象とする言語仕様であり、 この教材では凍結された仕様として扱う。この文書がこの言語の唯一の規範で、 教材・雛形・テスト・発展課題はすべてこの版に従う。 ただし、標準トラックの実装完成は不正入力の全診断を保証しない。 規範としての診断要件と、教材で実装する診断範囲の区別は 「標準トラックの診断範囲」に示す。

設計原則:

• ISO C11(N1570)の真部分集合。 この仕様で受理されるプログラムは、 3 件の例外(後述)を除き、そのまま ISO C としても正しく、意味も一致する。 gcc 等の通常の C コンパイラでもコンパイルできる。
• セルフホスト可能。 この仕様で書かれたコンパイラが、この仕様自体を コンパイルできる(malloc したノードの連結リスト+再帰下降+テキスト出力)。
• C の核だけを残す。 配列・typedef・ビット演算などを除外する代わりに、 for・三項演算子・前置 ++/-- など C の慣用は保つ。

目次（知りたいこと → 節）

この文書は通読用ではなく引くための文書である。左の列で当たりをつけて飛ぶ。

コンパイルが通らない理由を探しているなら、まず 除外機能の一覧 を見る。 実装が動かない理由を探しているなら testing.md の症状表を見る。

字句

• 文字集合は ASCII、行終端は LF。空白(スペース・タブ・改行)はトークンの区切り。

• コメントは // から行末まで。ブロックコメント /* */ はない。

• キーワードは次の 12 語のみ:

  int  char  void  struct  if  else  while  for  break  continue  return  sizeof

  これ以外の C のキーワード(typedef、switch、unsigned など)は予約されず、 識別子として使える(例外 E2。ただし「移行上の注意」の命名規約を参照)。

• 識別子: (英字 | _)(英字 | 数字 | _)*。先頭 _ 可。キーワード 12 語を除く。

• 字句解析は最長一致。例: a+++b は a ++ + b と切り出され、 後置 ++ がないため構文エラーになる。

型

int          4 バイト符号付き整数（32 ビット 2 の補数）
char         1 バイト文字 / 整数（signed）
T *          ポインタ（多段可: int **pp）。サイズ = 8 バイト
void *       汎用ポインタ。任意の T * と相互に暗黙変換（キャスト不要）
void         関数の戻り値型としてのみ使用
struct Tag   複合型（タグ必須）

• struct の定義・前方宣言はファイルスコープのみ。フィールドは int・char・ポインタに限り(struct 値の入れ子なし)、1 フィールド 1 宣言子。

• 自己参照・相互参照は前方宣言+ポインタで書ける:

  struct Node;                      // 前方宣言（なくてもよい: 定義中の自己参照は可）
  struct Node { int val; struct Node *next; };

• struct 変数は宣言できるが、struct 値の代入・実引数・戻り値は不可 (. によるフィールドアクセスと &s は可)。struct の受け渡しはポインタで行う (代入は発展 S3 が本仕様の禁止行を改訂して追加し、実引数・戻り値は発展 L5 が仕様の外に新しく足す)。

• 除外: float double long short unsigned union enum、配列、typedef

リテラル

42           整数リテラル（10 進のみ。上限 2147483647、超過はコンパイルエラー）
'a'          文字リテラル（int として扱う。1 文字ちょうど）
"hello"     文字列リテラル（静的領域に配置、char * として参照。内容の変更は未定義）

• 整数リテラルは 0 または先頭が非 0 の数字列。8 進・16 進・2 進表記、接尾辞はない。
• エスケープは 6 種のみ: \n \t \\ \' \" \0

演算子

優先順位が高い順に示す。

一次:   リテラル  識別子  ( 式 )
後置:   p[i]  s.field  p->field  f(args)
単項:   - （負号）  ! （論理否定）  * （間接参照）  & （アドレス取得）
        ++ -- （前置のみ）  sizeof(型名)
乗除:   *  /  %
加減:   +  -   （ポインタ ± int を含む。尺度は指し先型のサイズ）
関係:   <  >  <=  >=   （int/char のみ。ポインタの関係比較はない）
等値:   ==  !=  （int/char 同士、ポインタ同士、ポインタと 0）
論理積: &&   （両辺を必ず評価する。短絡しない）
論理和: ||   （両辺を必ず評価する。短絡しない）
条件:   a ? b : c   （右結合）
代入:   =   （右結合。左辺は単項式で lvalue）

• 算術は int で行われ、char は int へ昇格される(値保存)。int から char への 縮小は代入、固定仮引数への受け渡し、return で行う。下位8ビットをsigned charの値として扱う。 例えば char f() { return 300; } の呼出し値は 44、255 を固定char引数へ渡すと -1 になる。
• 整数除算 / と剰余 % は0 方向へ切り捨てる(商の絶対値を切り捨てる。 C99 以降の ISO C、および RV64 の div/rem 命令と一致する)。剰余の符号は 被除数と同じになる(例: -7 / 2 は -3、-7 % 2 は -1)。
• 関係(< > <= >=)・等値(== !=)・論理(&& ||)演算子、および単項 ! の 結果は int 型の 0 または 1 である(RV64 の slt/seqz が自然に返す値 であり、C と同じ)。
• p[i] は *(p + i) の略記。sizeof は型名形式のみで、結果型は int(例外 E1)。
• ポインタ演算は「ポインタ ± int」のみ。ポインタ同士の減算と void * への 算術はない。
• && || は短絡しない(例外 E3)。左辺の値にかかわらず右辺も評価される。 ISO C との重要な差異であり、p != 0 && p->val > 0 のように 「左辺が偽なら右辺は評価されない」ことに頼った書き方は本仕様ではできない (条件は 2 つの if に分ける)。短絡する && / || の実装は発展 S1 で扱う。
• 条件演算子の型は両腕から決める。int/char同士はint、同型ポインタ同士はその型、 ポインタとリテラル0はポインタ型、T *とvoid *はvoid *になる。 void同士はvoid。実行時には選ばれた腕だけを評価する。
• 前置 ++/-- の左辺は 1 回だけ評価される。
• 除外: 複合代入(+= -= *= /= %=。発展 L2 で追加する)、 ビット演算・シフト(~ & ^ | << >>)、後置 ++/--、 (type)expr キャスト、カンマ演算子、sizeof 式(発展 L4 で追加する)、 関数ポインタ経由の呼出し

宣言

int x;              // 局所変数。初期化子は書けない（値は不定）
int *p;             // ポインタ変数
struct Node *q;     // struct へのポインタ
struct Point pt;    // struct 変数
int g;              // グローバル変数（0 に初期化される）

• 1 宣言 1 宣言子。初期化子はない(int x = 42; は書けない)。 初期値は代入文で設定する。グローバル変数は 0 初期化が保証される (ポインタは null になる)。
• 宣言位置はファイルスコープと関数本体の先頭のみ(2 層スコープ)。 入れ子ブロックには文だけを書く。for 内の宣言もない。
• 入れ子ブロック { ... } は新しいスコープを作らない。 関数本体の先頭で宣言した名前は、その関数のどのブロックからも同じ変数を指す。 宣言できる場所が 2 層に限られるため、ブロック単位の隠蔽(シャドーイング)は 起きない。隠蔽は「局所変数・仮引数が同名のグローバル変数を隠す」1 種類だけで、 同名のローカル(仮引数を含む)は常にグローバルを隠す(標準的な C の挙動)。 名前の解決は局所 → 大域の順に行う。
• 仮引数とローカル変数の名前が衝突する場合(同じ関数スコープ内の重複宣言)は コンパイルエラーとする。仮引数とローカルは同一スコープの名前として扱われる。
• 再宣言・再定義規則は標準的な C の規則に従う: 同一スコープでの同じ名前の 再定義(変数の二重定義、struct タグの再定義)はコンパイルエラー。ただし 関数は、戻り値型・引数型列・可変長性がすべて一致する再宣言(プロトタイプの 繰返し)を許す(定義できるのは 1 回まで)。struct の前方宣言の繰返しも許す。
• static / extern / const などの記憶クラス・修飾子はない。

文・制御構造

if (cond) { ... }
if (cond) { ... } else { ... }   // else は最も内側の if に結合

while (cond) { ... }

for (init; cond; step) { ... }   // 3 式は各省略可。宣言は不可

return expr;
return;            // void 関数
break;             // ループ内のみ
continue;          // ループ内のみ。step へ合流

• 条件式はスカラー型(int・char・ポインタ)。真偽は「0(ポインタなら null)と 等しくないこと」。
• 除外: switch, goto, do-while, ラベル文

関数

// プロトタイプ（引数名必須）
int add(int a, int b);

// 定義
int add(int a, int b) {
    return a + b;
}

// 可変長引数（外部プロトタイプ限定。固定引数 1 個以上の後にのみ書ける）
int printf(char *fmt, ...);

• 関数の宣言・定義の固定仮引数は最大8個、呼出しの実引数も可変長部を含めて最大8個。 9個以上はコンパイルエラーとする。...自体は固定仮引数の個数に数えない。
• 引数なしは () と書く((void) は受理しない)。() は「0 引数」の意味で、 個数が宣言と合わない呼出しはコンパイルエラー。固定部の実引数は仮引数への代入が許される型に限る。
• 呼出しには事前の宣言(プロトタイプまたは定義)が必要。再帰可。
• 呼出し式の型は、関数の宣言・定義に書かれた戻り値型である。 ポインタを返す呼出しの結果には、その型に従って *・添字・ポインタ演算・-> を使える。
• 引数型は int / char / ポインタ。戻り値型はそれに void を加えた 4 種 (struct 値の引数・戻り値はない。発展 L5 で追加する)。
• 固定部の実引数とreturn式には、仮引数型と戻り値型への代入変換を行う。 同じ型であることと、変換して受け渡せることを区別する。
• 可変長 ... の定義は書けない(宣言のみ)。可変部の実引数はスカラー型に限り、 char は int へ昇格して渡される。
• エントリポイントは int main() または int main(int argc, char **argv)。

プリプロセッサ

#include "file.h"      // "..." 形式のみ。<...> はない
#define NAME value     // オブジェクト形式マクロのみ（定数置換）

• 指令は行単位(行頭の # から改行まで)で、この 2 種のみ。
• #include は入れ子可。循環取込みはエラー。同一ファイルの(非循環な) 再取込みは特別扱いせず、通常の再宣言・再定義規則に従う (struct タグの再定義はエラーになるため、共有ヘッダはルートから 1 回だけ 取り込む構成を推奨)。
• #define の置換は 1 段のみ。置換結果にマクロ名が含まれる場合はエラー (マクロからマクロを参照する書き方は使えない)。実装はこのエラーの診断で 「マクロの多段参照は使えない」ことを利用者に示すことが望ましい。
• 置換されるのはコード中の識別子トークンだけである。文字列リテラル "NAME"、文字リテラル 'N'、行コメント // NAME の中身は置換されない。
• マクロの再定義は、本体のトークン列が同一の場合に限り許す。
• 除外: 関数形式マクロ #define F(x)、条件コンパイル #ifdef など

標準ライブラリ（lib.h）

宣言のみ提供する。Linux/RV64(LP64)では全シンボルをそのまま libc に リンクして解決できる(追加実装なしで動く)。

struct FILE;                                    // 不透明型。前方宣言のみで完全化しない

int  printf(char *fmt, ...);                    // stdout へ書式出力
int  fprintf(struct FILE *f, char *fmt, ...);   // ストリームへ書式出力
struct FILE *fdopen(int fd, char *mode);        // fd をストリーム化（fd 2 = 標準エラー）
struct FILE *fopen(char *path, char *mode);     // ファイルを開く。失敗時 NULL
int  fread(void *buf, int size, int n, struct FILE *f);
int  fclose(struct FILE *f);
void *malloc(int size);                         // 失敗時 NULL
void exit(int code);

#define NULL 0

• タグ FILE はこの仕様の名前であり(リンクは関数シンボル名だけで行われる)、 libc 内部の型名には依存しない。
• 標準エラーへの出力は fdopen(2, "w") で得たストリームへの fprintf で行う。
• strcmp / strlen 相当は提供しない(純粋な文字列走査は言語内で書けるため、 必要なら自作する)。
• 書式文字列の意味は ISO C(7.21.6)に従う。

到達範囲: 機能 → 導入コマ → 検証テスト

• 標準トラックは以下の機能を段階的に学ぶ。不正入力の全診断は完成条件に含めず、 標準トラックの診断範囲で保証する項目を区別する。
• 発展トピックには本仕様を超える題材と、標準実装の検査を補う題材がある。複合代入 += -= *= /= %= は 発展 L2 が追加する構文であり(意味論は L2 の資料が定義する)、 短絡する && / || は発展 S1 が本仕様の意味論を C のそれへ寄せる題材である。
• セルフホスト(発展課題 P1)の自己記述ソースは本仕様の機能だけで書く。 L2 を実装した場合にかぎり、自分のソースで複合代入を使ってもよい。

そのうえで、本仕様の各機能を「どのコマで導入し、どのテストで検証するか」に 1 対 1 で対応させたのが以下の表である。この表がこの対応の唯一の出典であり、 getting_started.md の全体の流れと code_example.md の付録は、 コマ単位の要約としてこの表を参照する。

読み方:

• 導入コマは、その機能を原稿が初めて説明する回である。
• 代表テストのパスは workbook/ からの相対パス。 python3 scaffold/test_runner.py sessions/NN_xxx で回の分をまとめて実行できる。
• final/tests/ の 17 本(fixed17)はコマ15 の総合判定であり、 個々の機能の代表テストとしては挙げない。
• 区分が「発展」の行は本仕様の外側であり、標準トラックの実装対象ではない。
• この表と区分列の「本仕様の外側」「仕様外」は、標準トラック(コマ1〜15)の実装対象かどうかを指す。 発展課題の S/L の区分は別の軸(その回の出発点となる正解が仕様に書いてあるか)であり、 S1・S3 のように「本仕様の外側」かつ S 系という組み合わせがある (判定基準は発展課題の索引の「S と L の判定基準」節)。

字句とリテラル

型

演算子

宣言とスコープ

文と制御構造

関数

プリプロセッサ

標準ライブラリ（lib.h）

実行時の意味

テストを持たない項目

上の表で代表テストが — の行は、次のいずれかの理由による。 正しい入力の機能と、不正入力の診断を区別する。診断の実装範囲は次節に示す。

標準トラックの診断範囲

この仕様の「コンパイル時エラー」「不可」は、Core処理系が拒否すべき入力を定める。 一方、標準トラックは正しい入力のコード生成を中心に学び、以下の診断を実装する。 fixed17とコマ2〜14の全テスト通過は、Coreの全診断要件を満たす証明ではない。 検出しない入力も仕様上は不正なままで、コンパイルできたことを許可の根拠にしない。

診断を保証しない項目は、アセンブラやリンカで偶然エラーになっても検査済みとはいえない。 例えば int main() { return missing(1); } は未宣言呼出しなので、 本来はコンパイラ自身が拒否すべき入力である。

完全な診断実装は発展として扱う。 発展Q1（型検査パス）で独立した検査パスを学び、 さらに関数シグネチャとスコープの宣言表を整え、 上表の保証しない項目を検査し、不正入力ごとにコンパイラが非ゼロ終了する負テストを追加する。 その検査では、単なるツール不足や内部例外と、意図した診断を区別する。 標準の test_runner.py は実行結果を比較するための道具なので、負テストには別の検査経路を用意する。

除外機能の一覧

ISO C との関係と移行上の注意

基準は ISO C11(N1570)。本仕様の受理するプログラムは、次の 3 件を除き ISO C の真部分集合である(C23 を基準にしても採用・除外の判断は変わらない)。

例外 E1 — sizeof の結果型は int。 ISO では符号なしの size_t。本仕様は符号なし整数型を持たないため int とする。 このサブセットの範囲では観測できる差はないが、通常の C では比較や 書式指定(%zu)で差が出る。

例外 E2 — 予約語は使用 12 語のみ。 ISO では全キーワードが識別子として使えないが、本仕様では typedef や switch を識別子に使える。ただし次の命名規約に従うこと:

命名規約: C のキーワードを識別子に使わない。 予約されていない C キーワード(C23 の bool true false nullptr を含む)を 識別子に使ったプログラムは、本仕様では合法でも通常の C コンパイラでは コンパイルできない。セルフホストでは第 1 段(Stage 0)を gcc でビルドするため、 この規約を破るとビルドが壊れる。

例外 E3 — && || が短絡しない。 ISO では左辺だけで結果が定まる場合、右辺は評価されない。本仕様では両辺を必ず 評価する(演算子表・「評価順序」節を参照)。構文は ISO C と同じだが意味が違う ため、p != 0 && p->val > 0 のような ISO C では安全なイディオムが、本仕様では NULL 参照になる。この差を埋めるのが発展 S1 である。

このほか、通常の C から見ると次の点が狭い(いずれも「ISO で合法な書き方の 一部だけを受理する」制限であり、例外ではない):

• マクロからマクロを参照する #define は書けない(1 段置換)。
• include guard(#ifdef)がないため、共有ヘッダはルートから 1 回だけ取り込む。
• 文字列リテラルは char * として型付けされる(配列型がないため。 観測できる差はない)。

実行時の意味

サイズ・アラインメント・レイアウト

struct のフィールドは宣言順に配置し、各フィールドのオフセットはそのアラインメントへ 切り上げる。struct 全体のサイズは struct のアラインメントの倍数へ切り上げる。 sizeof はこの規則で定まる値を返す。null ポインタの表現は全ビット 0。

初期化と記憶域

• グローバル変数は 0 に初期化される(ポインタは null)。
• 局所変数・仮引数は自動記憶域。局所変数の初期値は不定。
• 文字列リテラルは静的記憶域に置かれ、内容の変更は未定義。

評価順序

• && || は左から両辺を評価する（短絡しない）。左辺の値が結果を決める場合 (0 && e、1 || e)でも右辺 e は評価され、その副作用は起こる。 ISO C との差異である(例外 E3)。短絡する版は発展 S1 で実装する。
• ?: は条件を評価してから選ばれた枝だけを評価する(こちらは ISO C と同じ)。
• 代入は右辺の評価と左辺の lvalue 決定の後に格納する。
• それ以外の二項演算のオペランド間、および実引数間の評価順序は未規定。

未定義動作

次はコンパイルエラーにならず、実行時の動作が未定義である:

1. 符号付き整数のオーバーフロー
2. 0 による除算・剰余、および商が int の表現範囲に収まらない除算・剰余 （INT_MIN / -1、INT_MIN % -1）。INT_MIN は単項 - と1個の整数リテラルでは 書けないが、-2147483647 - 1 のような式で表せる。
3. 不正なポインタ参照(null・未確保領域・確保領域外、ポインタ演算の範囲逸脱)
4. 文字列リテラルの内容の変更
5. 未初期化の局所変数の値の使用
6. 非 void 関数が return なしで終端に達した後、呼出し側が戻り値を使うこと
7. 可変長部の実引数と printf 系書式の不一致
8. 不完全型(定義のない前方宣言のみの struct。例: struct FILE)への sizeof の適用。診断必須エラーにはしない(実装が検出してエラーにするかは処理系 定義)。

これに対し、型規則違反・構文違反・整数リテラルの範囲超過・#define の 置換規則違反・循環取込みはコンパイル時エラー(診断必須)である。

形式文法（EBNF）

再帰下降パーサー実装の参照用。文法は文脈自由であり(typedef がないため)、 字句解析がシンボルテーブルを参照する必要はない。

この節は最終形である。各コマの時点で書ける範囲だけを抜き出した累積スナップショットは、 コマ1〜14 の各資料の「この回までの言語仕様（EBNF）」節にある。

記法:
  rule ::= ...    定義
  A | B           選択（A または B）
  { A }           A の 0 回以上の繰り返し
  [ A ]           省略可能（0 または 1 回）
  ( A )           グループ化
  'token'         終端記号（キーワード・記号）
  UPPER           字句トークン（下部に定義）

二項演算子列(binary_expr)の構文木は「演算子」節の優先順位で構成する。 右結合の規則(代入・条件)は再帰で直接表している。

前処理

指令行(行頭の # から改行まで)は構文解析より前に処理され、 以下の構文には現れない。

include_dir ::= '#' 'include' '"' FILENAME '"' NEWLINE
define_dir  ::= '#' 'define' IDENT { TOKEN } NEWLINE

FILENAME は " と改行を除く 1 文字以上の文字列。{ TOKEN } は改行までの トークン列(0 個以上)。

型

型は、書ける位置ごとに 4 つの非終端記号で表す。

stars       ::= '*' { '*' }

scalar_type ::= 'int'  [ stars ]
              | 'char' [ stars ]
              | 'void' stars
              | 'struct' IDENT stars

obj_type    ::= scalar_type
              | 'struct' IDENT

ret_type    ::= scalar_type
              | 'void'

type_name   ::= obj_type

この構成により次の制約が構文レベルで決まる: void 単独の変数・引数・フィールドは書けない(void は * を伴うか 戻り値型のみ)、struct 値の引数・戻り値・フィールドは書けない、 sizeof(void) は書けない。 struct 値の引数・戻り値は、この param と ret_type を拡張して発展 L5 が追加する。

トップレベル

program       ::= external_decl { external_decl }

external_decl ::= struct_decl
                | var_decl
                | func_proto
                | func_def

struct_decl   ::= 'struct' IDENT '{' field_decl { field_decl } '}' ';'
                | 'struct' IDENT ';'                /* 前方宣言 */

field_decl    ::= scalar_type IDENT ';'

var_decl      ::= obj_type IDENT ';'

プログラムは 1 個以上の外部宣言からなる(空プログラムは不可)。 struct 定義はファイルスコープのみ、タグ必須、フィールドは 1 個以上。 初期化子は存在しない。

関数

param       ::= scalar_type IDENT
param_list  ::= param { ',' param }

func_proto  ::= ret_type IDENT '(' [ param_list [ ',' '...' ] ] ')' ';'
func_def    ::= ret_type IDENT '(' [ param_list ] ')' func_body

func_body   ::= '{' { var_decl } { stmt } '}'

宣言・定義の固定仮引数は最大8個、呼出しの実引数も可変長部を含め最大8個である。 この個数制限は上のEBNFに加えて検査する。 引数なしは ()((void) は受理しない)。仮引数は名前必須。 ... はプロトタイプ限定で、1 個以上の固定引数の後にのみ書ける ((...) 単独形は導出できない)。局所変数の宣言は関数本体の先頭のみで、 入れ子ブロックは宣言を含まない。

文

stmt        ::= expr_stmt
              | block
              | if_stmt
              | while_stmt
              | for_stmt
              | 'break' ';'
              | 'continue' ';'
              | 'return' [ expr ] ';'

expr_stmt   ::= [ expr ] ';'

block       ::= '{' { stmt } '}'

if_stmt     ::= 'if' '(' expr ')' stmt [ 'else' stmt ]

while_stmt  ::= 'while' '(' expr ')' stmt

for_stmt    ::= 'for' '(' [ expr ] ';' [ expr ] ';' [ expr ] ')' stmt

else は最も内側の未対応 if へ結合する(dangling-else は最近傍優先)。

式

expr        ::= assign_expr     /* カンマ演算子はない */

assign_expr ::= unary_expr '=' assign_expr   /* 右結合。複合代入はない */
              | cond_expr

cond_expr   ::= binary_expr [ '?' expr ':' cond_expr ]   /* 右結合 */

binary_expr ::= unary_expr { bin_op unary_expr }

bin_op      ::= '*' | '/' | '%'
              | '+' | '-'
              | '<' | '>' | '<=' | '>='
              | '==' | '!='
              | '&&'
              | '||'

unary_expr  ::= postfix_expr
              | '-'  unary_expr          /* 負号 */
              | '!'  unary_expr          /* 論理否定 */
              | '*'  unary_expr          /* 間接参照 */
              | '&'  unary_expr          /* アドレス取得 */
              | '++' unary_expr          /* 前置インクリメント */
              | '--' unary_expr          /* 前置デクリメント */
              | 'sizeof' '(' type_name ')'

postfix_expr   ::= primary_expr { postfix_suffix }
postfix_suffix ::= '[' expr ']'          /* 添字 */
                 | '.'  IDENT            /* フィールドアクセス */
                 | '->' IDENT            /* ポインタ経由フィールドアクセス */

primary_expr ::= INT_LITERAL
               | CHAR_LITERAL
               | STRING_LITERAL
               | IDENT '(' [ arg_list ] ')'   /* 関数呼び出し（識別子直呼びのみ） */
               | IDENT
               | '(' expr ')'

arg_list    ::= assign_expr { ',' assign_expr }

• binary_expr は「単項式を二項演算子でつないだ列」だけを定め、木の形は定めない。 木の形は「演算子」節の優先順位で決まる: 優先順位の高い演算子ほど 先にまとまり(木の深い側に置かれ)、同じ順位の演算子は左から順にまとめる(左結合)。 bin_op の行の並びはこの優先順位の高い順である。この文法と優先順位の組で、 どの式についても構文木は一意に決まる。
• 代入の左辺の文法カテゴリは unary_expr(N1570 6.5.16 と同じ)。 lvalue 制約は意味解析で検査する。
• ++/-- は前置のみ。後置形は postfix_suffix に含まれない。
• sizeof は型名形式のみ。type_name は型キーワード(int char void struct)で始まるため sizeof(式) との構文衝突はなく、sizeof(x) は 構文エラーになる。
• キャストは導出できない(( expr ) の中に型は書けない)。

字句トークン

INT_LITERAL    ::= '0' | NONZERO { DIGIT }
CHAR_LITERAL   ::= "'" ( char_ch | escape ) "'"
STRING_LITERAL ::= '"' { str_ch | escape } '"'
escape         ::= '\n' | '\t' | '\\' | "\'" | '\"' | '\0'

IDENT          ::= ( ALPHA | '_' ) { ALPHA | DIGIT | '_' }
                   /* ただしキーワード 12 語を除く */

ALPHA   = [a-zA-Z]
DIGIT   = [0-9]
NONZERO = [1-9]

char_ch は '・\・改行を除く任意の文字、str_ch は "・\・改行を 除く任意の文字。

実装の注記（再帰下降）

• external_decl の判別: 先頭が struct のとき、識別子の次のトークン ({ / ; / * / 識別子)で分岐する。それ以外は ret_type を読み、 識別子の次が ( なら関数、; なら変数。
• assign_expr は、まず cond_expr として読み、直後が = の ときに左辺が unary_expr 由来であることを検査する方式でよい。

この資料の原稿を見る