这个被优化了吗?

Does this get optimized out?

本文关键字：优化      更新时间：2023-10-16

assert宏是这样的:

#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)，但究竟是什么条件保证它?是否有任何操作有副作用，优化器可能会抛出?

这与优化无关。当对sizeof表达式求值时，操作数永远不会被求值。例如,

char func(void) { exit(1); }
size_t sz = sizeof(func());
// same as
size_t sz = 1;

如果你想保留副作用而不产生编译器警告，你可以强制转换到void，正如Neil G在他的回答中所指出的。

assert的通常含义是要优化出来的，因此最好坚持这些语义并执行

#else 
#define ASSERT(x)
#endif

如果你坚持它不被优化，为什么不直接做

#else 
#define ASSERT(x) ((void)(x))
#endif

?

相关文章：