“特定情况”是指它使用一些它可以访问的数据,例如您当前的数据库设置、某些操作系统的版本等。
想象一下,如果编译器会检查您当前在应用中使用的数据库,并向您发出警告,说'让您知道,您数据库中的当前数据永远不会触发您刚才的语句写”或诸如“你知道,如果这变成空值,你真的会被搞砸”之类的东西......它可能可能需要一段时间,但如果它有一些东西要经过(例如当前数据库),它可能有一些东西要检查,而不仅仅是“每一种可能性”。
您认为这可行/有值(value)吗?这在任何地方都存在吗?
如果有一个量子编译器可以找出每一种可能性并自动提出异常处理等,那就太棒了。
最佳答案
我不能保证,但这似乎与众所周知的不可能的停机问题同构。
关于compiler-theory - 是否有可能有一个编译器可以预测所有可能的 'situation specific' 运行时错误?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/1515640/