13
为什么无法通过编译器完全解决死代码检测？
我在C或Java中使用的编译器具有防止死代码的功能（警告将永远不会执行任何行）。我的教授说，尽管如此，编译器永远无法完全解决这个问题。我想知道为什么会这样。我对编译器的实际编码不太熟悉，因为这是一个基于理论的类。但是我想知道他们检查什么（例如可能的输入字符串与可接受的输入等），以及为什么这样做不够。
192
compiler-theory