Việc sử dụng làm gì trong khi (0) khi chúng tôi xác định macro?

Question

thể trùng lặp:
Do-While and if-else statements in C/C++ macros

Tôi đang đọc kernel linux và tôi thấy nhiều macro như thế này:

#define INIT_LIST_HEAD(ptr) do { \ 
    (ptr)->next = (ptr); (ptr)->prev = (ptr); \ 
} while (0) 

Tại sao họ sử dụng này chứ không phải là định nghĩa nó chỉ đơn giản trong một {}?

Answer 1

Bạn có thể theo dõi nó bằng dấu chấm phẩy và làm cho nó trông giống như một hàm. Nó cũng hoạt động với các mệnh đề if/else đúng cách.

Nếu không có thời gian (0), mã của bạn ở trên sẽ không làm việc với

if (doit) 
    INIT_LIST_HEAD(x); 
else 
    displayError(x); 

kể từ dấu chấm phẩy sau khi vĩ mô sẽ "ăn" mệnh đề khác, và ở trên sẽ thậm chí không biên dịch.

Answer 2

Nó cho phép bạn nhóm nhiều câu lệnh thành một macro.

Giả sử bạn đã làm một cái gì đó như:

if (foo) 
    INIT_LIST_HEAD(bar); 

Nếu macro được định nghĩa mà không có sự Encapsulating làm {...} while (0) ;, các mã trên sẽ mở rộng tới

if (foo) 
    (bar)->next = (bar); 
    (bar)->prev = (bar); 

Điều này rõ ràng không phải là những gì đã được dự định, vì chỉ có tuyên bố đầu tiên sẽ được thực hiện nếu foo nắm giữ. Câu lệnh thứ hai sẽ được thực hiện bất kể foo có giữ.

Chỉnh sửa: Hơn nữa giải thích tại http://c-faq.com/cpp/multistmt.html và http://developer.apple.com/documentation/DeveloperTools/gcc-4.0.1/cpp/Swallowing-the-Semicolon.html#Swallowing-the-Semicolon