为什么C#编译器甚至没有警告无休止的递归?

前端之家收集整理的这篇文章主要介绍了为什么C#编译器甚至没有警告无休止的递归?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
遗留应用程序在启动时处于无限循环中;我不知道为什么/如何(代码混淆竞赛候选人),但关于被反复调用方法(从其他几种方法调用),我想,“我想知道是否有一种调用方法方法还在调用另一个也叫它的方法?“

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

所以我创建了一个简单的应用来证明这种情况:

  1. public partial class Form1 : Form
  2. {
  3. public Form1()
  4. {
  5. InitializeComponent();
  6. }
  7.  
  8. private void button1_Click(object sender,EventArgs e)
  9. {
  10. method1();
  11. }
  12.  
  13. private void button2_Click(object sender,EventArgs e)
  14. {
  15. method2();
  16. }
  17.  
  18. private void method1()
  19. {
  20. MessageBox.Show("method1 called,which will now call method2");
  21. method2();
  22. }
  23.  
  24. private void method2()
  25. {
  26. MessageBox.Show("method2 called,which will now call method1");
  27. // Note to self: Write an article entitled,"Copy-and-Paste Considered Harmful"
  28. method1();
  29. }
  30. }

…但不是!它编译得很好.为什么编译器不会将此代码标记为最可疑?如果任何一个按钮被捣碎,你就永远不会降落!

好的,有时您可能需要无限循环(起搏器代码等),但我认为应该发出警告.

解决方法

这不是无限循环,而是无休止的递归.这更糟糕,因为它们可能导致堆栈溢出.除非您编写恶意软件,否则大多数语言都不需要无限递归.然而,无尽的循环通常是有意的.服务通常以无限循环运行.

为了检测这种情况,编译器必须按照方法调用来分析代码;但是C#编译器将此过程限制为当前方法中的直接代码.例如,这里可以跟踪未初始化或未使用的变量,并且可以检测不可达的代码.在编译速度和静态分析和优化的深度之间需要权衡.

此外,几乎不可能知道程序员的真实意图.

想象一下,你写了一个完全合法的方法.突然因为你从另一个地方调用这个方法,你的编译器会抱怨并告诉你你的方法不再合法.我已经可以在SO上看到大量的帖子了:“我昨天编译的方法.今天它不再编译了.但我没有改变它”.

猜你在找的C#相关文章