Do czego służy funkcja do while (0), gdy definiujemy makro?

Question

Powiel możliwe:
Do-While and if-else statements in C/C++ macros

Czytam jądro Linux i znalazłem wiele makr tak:

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

Dlaczego oni to wykorzystać zamiast definiować to po prostu w {}?

Answer 1

Możesz śledzić go średnikiem i sprawiać, że wygląda i działa bardziej jak funkcja. Działa również z klauzulą ​​if, jeśli jest to prawidłowe.

Bez czas (0) Twój kod powyżej nie będzie działać z

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

ponieważ średnik po makro będzie „jeść” klauzuli innego, a wyżej nawet nie skompilować.

Answer 2

Umożliwia grupowanie kilku instrukcji w jedno makro.

Załóżmy, że zrobił coś takiego:

if (foo) 
    INIT_LIST_HEAD(bar); 

Jeśli makro zostało zdefiniowane bez kapsułkujące zrobić {...} while (0) ;, powyższy kod rozwinie się do

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

Oczywiście nie jest to zgodne z zamierzeniem, ponieważ tylko pierwsza instrukcja zostanie wykonana, jeśli zostanie zatrzymany. Druga instrukcja zostanie wykonana niezależnie od tego, czy foo jest wstrzymane.

Edit: Dalsze wyjaśnienia na http://c-faq.com/cpp/multistmt.html i http://developer.apple.com/documentation/DeveloperTools/gcc-4.0.1/cpp/Swallowing-the-Semicolon.html#Swallowing-the-Semicolon