c++尝试通过替换测试来优化代码

Question

我正在看别人写的代码，它有很多调试部分，类型

if(0) { code }

或if(1) { code }

或if(false) { code }

还有

#if(0)
#endif

(虽然它没有变灰——我认为它应该变灰)

我想知道，如果我用一些#if 0(或#ifdef _DEBUG)替换它们，是否可以优化代码？ - 或者 - 它不会有任何区别？

我认为这可能会有所帮助，因为我已经看到这些部分中的代码变灰了 - 我认为这些代码已从 Release 可执行文件中删除......因此使其更快。是真的吗？

我正在考虑的代码是可以调用很多次的函数内部......

编辑:我指的代码被运行了数百万次。我知道 if(0) 的内容将被忽略...

我也意识到能够通过将测试从 0 切换到 1 来轻松调试问题的好处...

我的问题是，事实上我添加了数百万次测试 if(0) 并没有增加开销......我试图找出所有可以使这段代码花费更少时间的东西.

Answer 1

如果放置在这些 IF 中的表达式在编译时是常量和可确定的，那么您几乎可以肯定编译器已经为您将它们从代码中移除。

当然，如果您在 Debug模式下编译，和/或如果您将优化级别设置为零，那么编译器可能会跳过它并保留那些测试 - 但它会使用简单的零/一/真/假值极不可能。

对于编译时常量分支，您可以确定编译器已删除死分支。

它甚至能够删除看起来很复杂的情况，例如:

const int x = 5;

if( 3 * x * x < 10 ) // ~ 75 < 10
{
    doBlah(); // skipped
}

但是，如果 X 处没有那个“const”标记，表达式的值可能无法在编译时确定，并且它可能会“泄漏”到实际的最终产品中。

此外，以下代码中表达式的值不一定是编译时常量:

const int x = aFunction();

if( 3 * x * x < 10 ) // ~ 75 < 10
{
    doBlah(); // skipped
}

X 是一个常量，但它是用一个函数的值初始化的。 X 很可能在编译时无法确定。在运行时，该函数可以返回任何值*)，因此编译器必须假设 X 是未知的。

因此，如果有可能，请使用预处理器。在微不足道的情况下不会做太多，因为编译器已经知道了。但是案例并不总是微不足道的，您会经常注意到变化。当优化器无法推断出这些值时，它会留下代码，即使它已经死了。另一方面，预处理器保证在编译和优化之前删除禁用的部分。此外，使用预处理器至少可以加快编译速度:编译器/优化器将不必跟踪常量/计算/检查分支等。

*) 可以编写一个方法/函数，其返回值实际上在编译和优化阶段是可确定的:如果函数很简单并且如果它被内联，它的结果值可能会与一些分支一起被优化掉.. 但是即使您可以在某种程度上依赖于删除 if-0 子句，您也不能依赖内联..