传递参数的C ++编译器优化

Question

我正在使用一个可以在运行时启用/禁用报告的日志记录模块。 电话通常类似于：

WARN(
     "Danger Will Robinson! There are "
     + boost::lexical_cast<string>(minutes)
     + " minutes of oxygen left!"
);

我正在使用WARN的内联函数，但我很好奇在幕后进行了多少优化 - 在整个程序中对参数的评估将是昂贵的。 WARN函数是这样的：

bool WARNINGS_ENABLED = false;
inline void WARN(const string &message) {
    if (!WARNINGS_ENABLED) {
       return;
    }
    // ...
}

鉴于构造字符串参数没有副作用，编译器会优化它吗？ 是否需要一定程度的优化（对于某些x -Ox以g++为单位）？

Answer 1

如果您需要能够在运行时有选择地启用和禁用警告，则编译器将无法优化调用。

你需要的是将你的函数重命名为WARN2并添加一个宏，如：

#define WARN(s) do {if (WARNINGS_ENABLED) WARN2(s);} while (false)

这将阻止在运行时评估s，除非您启用了警告。

do-while东西是一个技巧，允许它在代码中的任何地方使用（裸体语句，支撑if-block中的语句，unbraced if-block中的语句，括号和unbraced while语句等）。

Answer 2

您可以使用-S选项检查GCC / G ++的功能。 这将在实际汇编之前输出代码 - 请参阅gcc（1） 。

在这种情况下，GCC和G ++或多或少的行为相同。 所以我首先将代码翻译成C以进行进一步的测试：

char WARNINGS_ENABLED = 0;

inline void WARN(const char* message) {
    if (!WARNINGS_ENABLED) {
        return;
    }
    puts(message);
}

int main() {
    WARN("foo");
    return 0;
}

运行gcc -O3 -S file.c并查看输出文件' file.s '
你会看到海湾合作委员会没有删除任何东西 ！

这不是你要求的，但为了给编译器提供优化代码的机会，你必须使WARNINGS_ENABLED 保持不变 。 另一种方法是使其静态，而不是更改该文件中的值。 但是 ：使它静止会产生副作用，即符号不会被导出。

static const char WARNINGS_ENABLED = 0;

inline void WARN(const char* message) {
  if (!WARNINGS_ENABLED) {
      return;
  }
  puts(message);
}

int main() {
    WARN("foo");
    return 0;
}

GCC然后完全清理代码。

Answer 3

我猜它只有有机会优化它才能证明没有副作用（编译器可能很难为昂贵的函数调用做）。

我不是一个提升专家，但我猜测有一种方法可以构造一个lambda，只有在WARNINGS_ENABLED为真时才会对其进行求值以生成字符串。 就像是...

inline void warnFunc(some_boost_lambda &message_generator) {
  if (WARNINGS_ENABLED) {
    cerr << message_generator() << endl;
  }
}

#define WARN(msg) warnFunc(...insert boost magic here to turn msg into a lambda...)

Answer 4

不，除非全球WARNING_ENABLED被声明为const编译器不应优化代码出在任何情况下。

顺便说一句，如果WARN是内联函数，你仍然会支付消息构造的代价（在你的例子中使用lexical_cast和字符串上的operator +非常低效），即使它已被禁用。

以下是一些有效的（当运行时禁用时，最小（接近零，具有分支预测CPU）开销） 记录支持功能和流样式日志记录的宏 。

Answer 5

你不能用预处理器定义整个事情吗？

void inline void LogWarning(const string &message) 
{
  //Warning
}

#ifdef WARNINGS_ENABLED
#define WARN(a) LogWarning(a)
#else
#define WARN(a)
#endif

这就是ASSERT（）宏的工作原理。 WARN括号内的所有代码甚至都没有通过编译器的预处理器。 这意味着你可以做其他的事情

#ifdef WARNINGS_ENABLED
// Extra setup for warning
#endif
//....
WARN(uses setup variables)

它将编译两种方式。

至于让优化器意识到括号中没有副作用，你可以在那里放一些非常复杂的语句（即高级字符串操作），这两种方法很难证明。