我的编译器会忽略无用的代码吗？

Question

我通过网络回答了一些关于这个主题的问题，但我没有找到任何答案，或者是另一种语言的问题，或者它没有完全回答（死代码不是无用代码），所以我的问题是：

编译器是否忽略了（显式或非显式）无用的代码？

例如，在此代码中：

double[] TestRunTime = SomeFunctionThatReturnDoubles;
// A bit of code skipped
int i = 0;
for (int j = 0; j < TestRunTime.Length; j++)
{

}
double prevSpec_OilCons = 0;

for 循环会被删除吗？

我使用.net4.5和vs2013

背景是我维护了很多代码^{（我没有写），}我想知道无用的代码是否应该成为目标，或者我是否可以让编译器来处理这个问题。

Answer 1

在循环中，每次迭代中都隐含了两个操作。增量：

j++;

和比较

j<TestRunTime.Length;

因此，循环不是空的，尽管它看起来是空的。最后会执行一些东西，当然编译器不会忽略。

在其他循环中也会发生这种情况。

Answer 2

无法删除循环，代码没有死，例如：

  // Just some function, right?
  private static Double[] SomeFunctionThatReturnDoubles() {
    return null;
  }

  ...
  double[] TestRunTime = SomeFunctionThatReturnDoubles();
  ...
  // You'll end up with exception since TestRunTime is null
  for (int j = 0; j < TestRunTime.Length; j++)
  {
  }
  ...

通常，编译器无法预测SomeFunctionThatReturnDoubles的所有可能结果，这就是为什么它保留循环的原因。

Answer 3

好吧，您的变量i和prevSpec_OilCons，如果没有在任何地方使用，将被优化掉，但不是您的循环。

因此，如果您的代码看起来像：

static void Main(string[] args)
{
    int[] TestRunTime = { 1, 2, 3 };
    int i = 0;
    for (int j = 0; j < TestRunTime.Length; j++)
    {

    }
    double prevSpec_OilCons = 0;
    Console.WriteLine("Code end");
}

在ILSpy下，它将是：

private static void Main(string[] args)
{
    int[] TestRunTime = new int[]
    {
        1,
        2,
        3
    };
    for (int i = 0; i < TestRunTime.Length; i++)
    {
    }
    Console.WriteLine("Code end");
}

由于循环有几个语句，如比较和增量，因此可用于实现较短的延迟/等待时间。（尽管这样做不是一个好的做法）。

考虑以下循环，这是一个空循环，但执行需要大量时间。

for (long j = 0; j < long.MaxValue; j++)
{

}

你代码中的循环，不是死代码，就死代码而言，下面是死代码，会被优化掉。

if (false)
{
    Console.Write("Shouldn't be here");
}

循环甚至不会被 .NET 抖动删除。基于这个答案