Tag: 编译理论

为什么不能通过编译器完全解决死代码检测？

在C或Java中使用的编译器具有死代码预防function（警告线路不会被执行）。 我的教授说，这个问题永远不可能由编译器完全解决。 我想知道这是为什么。 我不太熟悉编译器的实际编码，因为这是一个基于理论的类。 但是我想知道他们检查了什么（例如可能的inputstringvs可接受的input等），以及为什么这是不够的。