c# - 为什么 C# 编译器甚至不警告无限递归？

Question

遗留应用程序在启动时处于无限循环状态；我还不知道为什么/如何(代码混淆竞赛候选人)，但是关于被一遍又一遍调用的方法(从其他几种方法调用)，我想，“我想知道是否有一个方法调用它是否也在调用另一个也调用它的方法？”

我想:“不，编译器能够解决这个问题，并且不允许它，或者至少发出警告!”

所以我创建了一个简单的应用程序来证明情况确实如此:

public partial class Form1 : Form
{
    public Form1()
    {
        InitializeComponent();
    }

    private void button1_Click(object sender, EventArgs e)
    {
        method1();
    }

    private void button2_Click(object sender, EventArgs e)
    {
        method2();
    }

    private void method1()
    {
        MessageBox.Show("method1 called, which will now call method2");
        method2();
    }

    private void method2()
    {
        MessageBox.Show("method2 called, which will now call method1");
        // Note to self: Write an article entitled, "Copy-and-Paste Considered Harmful"
        method1();
    }
}

...但是没有!它编译得很好。为什么编译器最多不会将此代码标记为有问题？如果按下任一按钮，您就进入了永不落地!

好吧，有时您可能想要一个无限循环(起搏器代码等)，但我仍然认为应该发出警告。

Answer 1

1. 正如您所说，有时人们想要无限循环。 .net 的 jit-compiler 支持 tailcall 优化，所以你甚至可能不会像你那样得到无限递归的堆栈溢出。

2. 对于一般情况，在有限时间内预测程序是否会在某个时刻终止或陷入无限循环是不可能的。它叫做 halting problem .编译器所能找到的只是一些很容易决定的特殊情况。