我经常在我的 #defines 中使用 do-while(0) 结构，理由在这个答案中有描述。此外，我试图使用尽可能高的编译器警告级别来捕获更多潜在问题，使我的代码更健壮、跨平台。因此，我通常使用 gcc 的 -Wall 和 MSVC 的 /Wall。
不幸的是，MSVC 对于 do-while(0) 结构会发出警告：
foo.c(36) : warning C4127: conditional expression is constant
我应该如何处理这个警告？
全局禁用对所有文件来说好像不是一个好主意，那该怎么办呢？
概述：在这种情况下，C4127警告是一个微妙的编译器bug。可以随意禁用它。
详细信息：
C4127警告本来是用来捕获在不明显的情况下逻辑表达式求值为常量的情况（例如，if(a==a && a!=a)），但一些时候，它会导致while(true)等有用的结构被标记为无效。
Microsoft建议如果您想要启用此警告并且没有其他解决方案，则使用for(;;)来实现无限循环。这是我们公司开发约定中允许禁用的极少数4级警告之一。
__pragma 方案来全局关闭警告。 - Adrian McCarthyif (1) {stuff;} else 后面没有分号会怎么样呢？或者是 do { stuff; if (always_true_condition) break; } while(1) 呢？显然，带有内部 break 或 return 语句的 do...while(1) 循环以及带有恒定条件的 if 语句非常普遍。 - supercatdo {} while((void)0, 0) - sharptoothstuff() 后面不应该加分号吗？ - Michel de Ruiter正如Michael Burr在Carl Smotricz的答案中所指出的，对于Visual Studio 2008+，您可以使用__pragma：
#define MYMACRO(f,g) \
__pragma(warning(push)) \
__pragma(warning(disable:4127)) \
do { f; g; } while (0) \
__pragma(warning(pop))
如果您更喜欢将宏定义写在一行上（没有\），那么您可以这样做，但这样可能会使得宏定义难以阅读。
while (0)之前发出警告推送(warning push)。参见其他MULTI_LINE_MACRO答案以获得某些模糊的可重用解决方案。 - Tom Whittock我有一个基于这里的一个答案的模式，它可以在clang、gcc和MSVC上工作。我在这里发布它，希望它对他人有用，并因为这里的答案帮助了我构建它。
#ifdef WIN32
# define ONCE __pragma( warning(push) ) \
__pragma( warning(disable:4127) ) \
while( 0 ) \
__pragma( warning(pop) )
#else
# define ONCE while( 0 )
#endif
我是这样使用它的：
do {
// Some stuff
} ONCE;
您也可以在宏中使用此功能：
void SomeLogImpl( const char* filename, int line, ... );
#ifdef NDEBUG
# define LOG( ... )
#else
# define LOG( ... ) do { \
SomeLogImpl( __FILE__, __LINE__, __VA_ARGS__ ); \
} ONCE
#endif
如果 F 在函数中使用 'ONCE'，那么上面指出的情况也适用：
This also works for the case pointed out above, if F uses 'ONCE' in a function:#define F( x ) do { f(x); } ONCE
...
if (a==b) F(bar); else someFunc();
编辑：多年之后，我意识到我忘记了添加这个宏实际上是为了哪个模式而编写的 - “switch-like-a-goto”模式：
do {
begin_some_operation();
if( something_is_wrong ) {
break;
}
continue_big_operation();
if( another_failure_cond ) {
break;
}
finish_big_operation();
return SUCCESS;
} ONCE;
cleanup_the_mess();
return FAILURE;
这提供了一种类似于try/finally结构的构造，比混乱的goto清理和返回代码更加有结构性。使用这个ONCE宏而不是while(0)可以让VS安静下来。
#define MY_MACRO(stuff) \
do { \
stuff \
__pragma(warning(suppress:4127)) \
} while(0)
您也可以推送/禁用/弹出，但抑制是一种更加方便的机制。
这里是另一种可能的方法，它避免了C4127、C4548和C6319（VS2013代码分析警告），不需要宏或编译指示：
static const struct {
inline operator bool() const { return false; }
} false_value;
do {
// ...
} while (false_value);
这段代码在GCC 4.9.2和VS2013中可以优化并且编译时不会出现警告。实际应用中，它可以放在一个命名空间中。
您可以使用
do {
// Anything you like
} WHILE_FALSE;
之前定义了一个WHILE_FALSE宏，如下所示：
#define WHILE_FALSE \
__pragma(warning(push)) \
__pragma(warning(disable:4127)) \
while(false) \
__pragma(warning(pop))
已通过MSVC++2013验证。
while(false)引起的。这个网站提供了一个解决此问题的例子。下面是来自该网站的示例（您需要为您的代码重新设计它）：#define MULTI_LINE_MACRO_BEGIN do {
#define MULTI_LINE_MACRO_END \
__pragma(warning(push)) \
__pragma(warning(disable:4127)) \
} while(0) \
__pragma(warning(pop))
#define MULTI_LINE_MACRO \
MULTI_LINE_MACRO_BEGIN \
std::printf("Hello "); \
std::printf("world!\n"); \
MULTI_LINE_MACRO_END
只需将您的代码插入BEGIN和END之间即可。
do {
// ...
}
while (([]() { return 0; })()) /* workaround for MSVC warning C4172 : conditional expression is constant */
} while ([]() { return 0; }()); - bolov
#define宏转换为内联函数是否可行？这样会更安全。 - Thomas Matthews