有沒有辦法確定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。