solution

Một trong những cạm bẫy kinh điển của macro hàm (function-like macro) trong C là: quá trình mở rộng macro chỉ là thay thế văn bản thuần túy — tham số hình thức được thay trực tiếp bằng token của đối số thực sự, không tự động bọc thêm dấu ngoặc quanh đối số. Điều này có thể làm sai lệch hoàn toàn giá trị biểu thức nếu đối số truyền vào không tự có ngoặc bảo vệ.

Ví dụ macro #define SQUARE(x) x*x. Khi gọi SQUARE(1+2), việc thay thế thuần túy cho ra biểu thức 1+2*1+2, và theo thứ tự ưu tiên toán tử chuẩn (* được tính trước +, +/- tính trái sang phải), giá trị là $1+(2\times 1)+2 = 5$ — không phải $9=(1+2)^2$ như người lập trình có thể kỳ vọng.

Cho định nghĩa của một macro hàm NAME(param_1, ..., param_k) EXPR, trong đó EXPR là một biểu thức chỉ gồm các toán hạng là tên tham số hoặc số nguyên, nối với nhau bởi các toán tử +, -, * (không có dấu ngoặc trong EXPR). Cho một lời gọi macro với $k$ đối số, mỗi đối số là một biểu thức số nguyên (gồm số nguyên không âm, toán tử +, -, *, và có thể có dấu ngoặc (, )).

Hãy: (1) thực hiện thay thế văn bản thuần túy — thay mỗi lần xuất hiện của mỗi tham số trong EXPR bằng đúng dãy token của đối số tương ứng (không thêm ngoặc); (2) tính giá trị biểu thức kết quả theo quy tắc ưu tiên toán tử chuẩn (* trước, rồi +/- tính trái sang phải, dấu ngoặc được ưu tiên tính trước); in ra kết quả.