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

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

好吧, 你的变量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抖动删除.基于这个答案

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

在循环中,每次迭代都隐含两个操作.增量:

j++;

和比较

j<TestRunTime.Length;

所以,虽然它看起来像是循环,但它不是空的.最后会有一些东西被执行,编译器当然不会忽略它.

这也发生在其他循环中.

Answer 4

我根据一些回答者关于使用的想法制作了一个小表格来测试它long.MaxValue，这是我的参考代码：

public Form1()
{
    InitializeComponent();
    Stopwatch test = new Stopwatch();
    test.Start();
    myTextBox.Text = test.Elapsed.ToString();
}

这是带有一些无用代码的代码：

public Form1()
{
    InitializeComponent();
    Stopwatch test = new Stopwatch();
    test.Start();
    for (int i = 0; i < int.MaxValue; i++)
    {
    }
    myTextBox.Text = test.Elapsed.ToString();
}

你会说我用的是 ，int.MaxValue而不是 ，long.MaxValue我不想在这个上花费一年的时间。

如你看到的：

---------------------------------------------------------------------
|                   |   Debug               |   Release             |
---------------------------------------------------------------------
|Ref                |   00:00:00.0000019    |   00:00:00.0000019    |
|Useless code       |   00:00:05.3837568    |   00:00:05.2728447    |
---------------------------------------------------------------------

代码没有优化。稍等一下，我会尝试一些int[]测试int[].Lenght：

public Form1()
{
    InitializeComponent();
    int[] myTab = functionThatReturnInts(1);

    Stopwatch test = new Stopwatch();
    test.Start();
    for (int i = 0; i < myTab.Length; i++)
    {

    }
    myTextBox.Text = test.Elapsed.ToString();
}
public int[] functionThatReturnInts(int desiredSize)
{
    return Enumerable.Repeat(42, desiredSize).ToArray();
}

结果如下：

---------------------------------------------
|   Size            |   Release             |
---------------------------------------------
|             1     |   00:00:00.0000015    |
|           100     |   00:00:00            |
|        10 000     |   00:00:00.0000035    |
|     1 000 000     |   00:00:00.0003236    |
|   100 000 000     |   00:00:00.0312673    |
---------------------------------------------

因此，即使使用数组，它也根本没有得到优化。