Конструкция широко используется в "функциональных" макросах и предназначена для объединения нескольких statement и объявлений внутри макроса в один составной statement. Такое объединение нужно для того, чтобы макрос можно было использовать как обычный вызов функции в ветках условного оператора, циклах и т.п. без необходимости постоянно заключать этот вызов во внешнюю пару { ... }
На первый взгляд того же самого можно было бы достичь просто путем заключения самого определения макроса в пару { ... }
вместо do { ... } while (0)
. Однако вариант с { ... }
будет обладать одним неприятным недостатком - надо будет постоянно помнить, что его тело представляет из себя { ... }
, а после { ... }
в С не всегда можно ставить ;
.
Например, если бы тело SET_CALLBACK
было заключено просто в { ... }
, то вот такой естественно выглядящий код не скомпилировался бы по причине того, что из-за поставленной после SET_CALLBACK(foo)
точки с запятой ветка else
оказалось оторванной от своего if
if (true)
SET_CALLBACK(foo); // <- "Лишняя" `;`
else // <- Ошибка: оторванный `else`
/* что-то еще */;
Вот тут-то на сцену и выходит do { ... } while (0)
. Цикл do/while
уникален тем, что является единственной (почти) в языке С грамматической конструкцией, которая формирует блок, и при этом всегда безусловно заканчивается на ;
. Благодаря этой замыкающей ;
мы можем более естественным образом использовать do { ... } while (0)
внутри составных макросов для объединения их в единый statement. В вышеприведенном примере с if
;
, указанная после SET_CALLBACK(foo)
, будет "поглощена" конструкцией do { ... } while (0)
и не приведет в "разрушению" целостности if
.
Вот именно ради того, чтобы иметь возможность "вызывать" функциональные макросы через тот же естественный синтаксис, через который мы вызываем обычные функции, тело составного макроса и заключают не в { ... }
, а именно в do { ... } while (0)
P.S. Почему авторы языка в свое время решили настоять на включении [теоретически совсем не нужной] замыкающей ;
в синтаксис do/while
- не совсем ясно, но это было сделано.