C++性能、优化编译器、.cpp 中的空函数

Question

我有一个非常基本的类，将其命名为 Basic，用于更大项目中的几乎所有其他文件。在某些情况下，需要有调试输出，但在发布模式下，不应启用此输出并且应为 NOOP。

目前，标头中有一个定义，可根据设置打开或关闭宏。所以当关闭时，这绝对是一个 NOOP。我想知道，如果我有以下代码，编译器（MSVS / gcc）是否能够优化函数调用，以便它再次成为 NOOP。 （通过这样做，开关可以位于 .cpp 中，并且在编译/链接时间方面切换速度会快得多）。

--Header--
void printDebug(const Basic* p);

class Basic {
   Basic() {
      simpleSetupCode;

      // this should be a NOOP in release, 
      // but constructor could be inlined
      printDebug(this);
   }
};
--Source--
// PRINT_DEBUG defined somewhere else or here
#if PRINT_DEBUG
void printDebug(const Basic* p) {
   // Lengthy debug print
}
#else
void printDebug(const Basic* p) {}
#endif

Answer 1

与所有此类问题一样，答案是 - 如果这对您来说真的很重要，请尝试该方法并检查发出的汇编语言。

Answer 2

如果编译器在编译时知道 printDebug 函数的实现，它可能会优化此代码。如果 printDebug 在另一个目标模块中，则可能只能通过链接器使用整个程序优化来优化。但测试这一点的唯一方法是读取编译器生成的汇编代码。
如果你已经有 PRINT_DEBUG 宏，你可以通过 TRACE 定义的方式扩展它：

#define PRINT_DEBUG    // optional
#ifdef PRINT_DEBUG
#define PRINT_DEBUG_CALL(p) printDebug(p)
#else
#define PRINT_DEBUG_CALL(p)
#endif


void printDebug(const Basic* p);

class Basic {
   Basic() {
      simpleSetupCode;

      // this should be a NOOP in release, 
      // but constructor could be inlined
      PRINT_DEBUG_CALL(this);
   }
};
--Source--
// PRINT_DEBUG defined somewhere else or here
#if PRINT_DEBUG
void printDebug(const Basic* p) {
   // Lengthy debug print
}
#endif

Answer 3

#if PRINT_DEBUG
#define printDebug _real_print_debug
#else
#define printDebug(...)
#endif

这样，预处理器将在所有调试代码到达编译器之前将其删除。

Answer 4

目前大多数优化都是在编译时完成的。一些编译器如 LLVM 能够在链接时进行优化。这是一个非常有趣的想法。我建议你看一下。

等待此类优化，你可以做的有以下几件事。定义一个宏，允许您根据是否定义了 DEBUG 来包含以下语句。

#ifdef DEBUG
#define IF_DEBUG (false) {} else
#else
#define IF_DEBUG 
#endif

您可以像这样使用它，

   Basic() {
      simpleSetupCode;

      // this should be a NOOP in release, 
      // but constructor could be inlined
      IF_DEBUG printDebug(this);
   }

这已经比

   Basic() {
      simpleSetupCode;

      // this should be a NOOP in release, 
      // but constructor could be inlined
#if DEBUG
      printDebug(this);
#endif
   }

注意您可以像关键字一样使用它更具可读性

IF_DEBUG {
   printDebug(this);
   printDebug(thas);
}

Answer 5

呃，为什么不以不同的方式使用预处理器宏呢？

就在我的头顶上，类似这样的东西：

  #define DEBUG_TRACE(p)
  #ifdef PRINT_DEBUG
    printDebug(p);
  #else
    ;
  #endif