有没有办法确定JavaScript函数是否有副作用？

Question

给定一个Javascript函数，是否可以验证该函数没有副作用;即该函数不会更改在函数范围之外声明的任何变量的值？

Answer 1

您需要为JavaScript编写效果分析，这需要JavaScript的效果语义。一些需要考虑的事项：

• 是否有副作用的代码访问原语操作？ （例如，内存写入，磁盘写入，文件IO，更新任何全局状态？）
• 如果代码确实写入变量，它们是否会转义本地作用域？ （即它是在ST还是IO单子？）
• 是通过共享变量完成的任何通信吗？

人们已经为不纯语言编写了类型系统来静态确定副作用是否存在。 Ben Lippmeier's thesis涵盖了很多地面。

Answer 2

如果它访问任何未在函数中定义的变量，当然它会影响任何可能具有相同名称的全局变量。

您可以查看JSLint和ADSafe并针对这些工具运行您的文件。

http://www.jslint.com/

http://www.adsafe.org/

HTH。