mở rộng cpp của macro không có mã thông báo

Question

Tôi đang đọc về mở rộng macro CPP và muốn hiểu mở rộng khi chuỗi mã thông báo (tùy chọn) không được cung cấp. Tôi đã tìm thấy gcc v4.8.4 thực hiện điều này:

$ cat zz.c 
#define B 
(B) 
|B| 
$ gcc -E zz.c 
# 1 "zz.c" 
# 1 "<built-in>" 
# 1 "<command-line>" 
# 1 "zz.c" 

() 
| | 

Bất cứ ai có thể giải thích lý do mở rộng không gian bằng một trường hợp và một không?

Answer 1

Bộ tiền xử lý C hoạt động trên "mã thông báo" và bất cứ khi nào có khả năng thay đổi ý nghĩa hoặc sự mơ hồ, nó luôn thêm khoảng trống để giữ nguyên nghĩa.

Hãy xem xét ví dụ của bạn,

(B) 

không có sự mơ hồ hoặc ý nghĩa thay đổi cho dù có một khoảng trống giữa ( và ) thêm hay không không phụ thuộc vào giá trị vĩ mô của B.

Nhưng nó không phải là trường hợp với

|B| 

Tùy thuộc vào vĩ mô B, này ở trên có thể thể là || hoặc |something|. Vì vậy, preprocessor buộc phải thêm một khoảng trống để giữ nguyên các quy tắc từ vựng của C.

Hành vi tương tự có thể được nhìn thấy với bất kỳ mã thông báo nào khác có thể thay đổi ý nghĩa.Ví dụ,

#define B + 
B+ 

sẽ tạo ra

+ + 

như trái ngược với

++ 

vì lý do nói.

Tuy nhiên, đây chỉ là bộ tiền xử lý tuân thủ các quy tắc từ vựng C. GCC có và hỗ trợ một bộ tiền xử lý cũ được gọi là bộ xử lý truyền thống sẽ không thêm bất kỳ khoảng trắng thừa nào. Ví dụ, nếu bạn gọi Preprocessor trong chế độ truyền thống:

gcc -E -traditional-cpp file.c 

sau đó

#define B 

(B) 
|B| 

sản (không có khoảng trắng)

() 
|| 

Answer 2

chỉnh sửa: xem câu trả lời của hvd về việc thực hiện tiền xử lý của gcc

Điều này có thể phân biệt giữa bitwise và toán tử OR logic.

mẫu này:

if (x | 4) printf("true\n"); // Bitwise OR, may or may not be true 

là khác nhau từ:

if (x || 4) printf("true\n"); // Always true 

Vì họ là những nhà khai thác khác nhau với các chức năng khác nhau, nó là cần thiết cho việc tiền xử lý để thêm khoảng trắng để tránh việc thay đổi ý nghĩa dự định tuyên bố.

Answer 3

Đầu ra của gcc -E cố tình không khớp với các quy tắc chính xác được chỉ định bởi tiêu chuẩn C. Các tiêu chuẩn C không mô tả bất kỳ cách cụ thể kết quả tiền xử lý nên được nhìn thấy, và thậm chí không yêu cầu một cách tồn tại.

Lần duy nhất một số loại đầu ra tiền xử lý được yêu cầu hiển thị là khi toán tử # được sử dụng. Và nếu bạn sử dụng điều này, bạn có thể thấy rằng không có bất kỳ không gian nào. câu trả lời

flaming.toaster của toàn đúng khi chỉ ra rằng lý do gcc -E đầu ra chèn một không gian là để ngăn chặn hai liên tiếp | s từ đang được phân tích như một || thẻ duy nhất. Chương trình sau đây được yêu cầu đưa ra chẩn đoán cho lỗi cú pháp:

#define EMPTY 
int main() { return 0 |EMPTY| 0; } 

và không gian ở đó để đảm bảo trình biên dịch vẫn có đủ thông tin để thực sự tạo lỗi.