c++ - 这会得到优化吗？

Question

我的断言宏是这样的:

#ifdef DEBUG
#define ASSERT(x) ((void)(!(x) && assert_handler(#x, __FILE__, __LINE__) && (exit(-1), 1)))
#else 
#define ASSERT(x) ((void)sizeof(x))

我认为这或多或少是防弹的，但我似乎在声明函数的返回值的上下文中经常使用它，这对它们的副作用很重要。如果在我的发布版本中我最终编译

ASSERT(fgets(buffer,sizeof(buffer)/sizeof(buffer[0]),file));

会变成

((void)sizeof(fgets(buffer,sizeof(buffer)/sizeof(buffer[0]),file)));

这是否有可能得到完全优化？我相当确定它不会(我正在调用一个函数，fgets)，但确保它的条件到底是什么？是否有优化器可能会丢弃的具有副作用的操作？

Answer 1

与优化无关。当您评估 sizeof 表达式时，永远不会评估操作数。例如，

char func(void) { exit(1); }

size_t sz = sizeof(func());
// same as
size_t sz = 1;

如果您想保留副作用而不产生编译器警告，您可以转换为 void，正如 Neil G 在他的回答中指出的那样。