solution

Khi một macro đối tượng (object-like macro) có thân chứa chính tên của nó (tự tham chiếu trực tiếp) hoặc tham chiếu vòng qua các macro khác (tự tham chiếu gián tiếp), tiền xử lý C áp dụng quy tắc ngăn đệ quy vô hạn thường gọi là "sơn xanh" (blue paint / hide set): trong quá trình mở rộng (rescanning) thân của một macro M, nếu gặp lại chính token M, token đó không được mở rộng thêm nữa (được giữ nguyên là văn bản M) — kể cả khi M xuất hiện gián tiếp qua một chuỗi macro khác đang trong quá trình mở rộng.

Hình thức hóa: gọi $H$ là tập tên các macro đang được mở rộng trên đường đi hiện tại (ban đầu $H = \emptyset$). Hàm mở rộng dãy token expand(tokens, H) xử lý từng token $tok$:

• Nếu $tok$ là tên một macro đã định nghĩa và $tok \notin H$: thay $tok$ bằng kết quả của expand(thân(tok), H \cup \{tok\}).
• Ngược lại (không phải macro, hoặc $tok \in H$): giữ nguyên $tok$.

Cho $n$ macro đối tượng (mỗi macro có tên và thân là một dãy token, thân có thể tham chiếu đến bất kỳ macro nào kể cả chính nó hoặc tạo thành chu trình) và $m$ dòng mã nguồn. Với mỗi dòng, áp dụng expand(tokens_của_dòng, \emptyset) và in ra kết quả.

Ví dụ: #define A B, #define B A. Mở rộng A: $H=\emptyset$, A là macro, chưa bị chặn $\Rightarrow$ mở rộng thân B với $H=\{A\}$: B là macro, chưa bị chặn $\Rightarrow$ mở rộng thân A với $H=\{A,B\}$: A là macro nhưng $A \in H$ $\Rightarrow$ giữ nguyên A. Kết quả cuối cùng: A (macro tự tham chiếu vòng quay trở lại chính tên của nó).