c - 如果0在c程序中编译

Question

我正在尝试从我的程序中删除未使用的代码 - 我现在无法删除代码，我只想先禁用它。

假设我有以下代码:

if (cond){
  doSomething()
}

和 cond 始终为 false，因此永远不会调用 doSomething。

我想做这样的事情:

#define REMOVE_UNUSED_CODE 0
if (cond && REMOVE_UNUSED_CODE){
  doSomething()
}

现在这对我们(希望对编译器)来说很明显，这段代码未被使用。

编译器会删除所有这些 if 条件，还是会留下它永远不会进入？

P.S.: 我不能为此目的使用#if 0

Answer 1

GCC 将显式删除具有控制它们的常量表达式的条件 block ，以及 the GNU coding standards explicitly recommend that you take advantage of this ，而不是使用更粗糙的方法，例如依赖预处理器。尽管使用预处理器 #if 可能看起来更有效，因为它在较早阶段删除了代码，但实际上，现代优化器在您为它们提供尽可能多的信息时效果最好(当然，它会使您的程序更干净和如果您可以避免在不需要的地方添加相分离依赖性，则更加一致。

像这样的决定对于现代编译器来说非常非常非常 - 即使是非常简单的 TCC将执行一些死代码消除；强大的系统，如 LLVM GCC 会发现这一点，以及您作为人类读者可能会错过的更复杂的情况(通过跟踪变量的生命周期和修改，而不是简单地查看单个点)。

这是对完全编译的其他优势的补充，例如 if 中的代码将被检查是否有错误(而 #if 更有用删除在当前系统上会错误的代码，例如对不存在的平台函数的引用)。