"特定情况"我的意思是它使用了一些可以访问的数据,例如当前的数据库设置,某些操作系统的版本等.
想象一下,如果编译器检查你当前在你的应用程序中使用的数据库,并打电话给你一个警告,说"你知道,你的数据库中的当前数据永远不会触发你刚才写的声明 "或者你知道的事情,如果这成为一个空值,你真的会被搞砸 '......它可能需要一段时间,但如果它有一些东西要去(比如当前的数据库)它可能需要检查而不仅仅是'各种可能性'.
你认为这是可行/有价值的吗？这存在于任何地方吗？
拥有量子编译器可以找出所有可能性并自动提出异常处理等等,这将是很酷的.