〇、何為堆棧溢出?
每次執(zhí)行JavaScript代碼時滥沫,都會分配一定尺寸的棧空間(Windows系統(tǒng)中為1M)简僧,每次方法調(diào)用時都會在棧里儲存一定信息(如參數(shù)、局部變量雕欺、返回值等等)岛马,這些信息再少也會占用一定空間,如果存在較多的此類空間阅茶,就會超過線程的椫朊叮空間了。
說白了就是就是不顧堆棧中分配的局部數(shù)據(jù)塊大小脸哀,向該數(shù)據(jù)塊寫入了過多的數(shù)據(jù)蹦浦,導(dǎo)致數(shù)據(jù)越界,結(jié)果覆蓋了別的數(shù)據(jù)撞蜂。
一盲镶、引起堆棧溢出的原因?
出現(xiàn)js堆棧溢出的問題一般的情況有兩種:
- 由于過多的函數(shù)調(diào)用蝌诡,導(dǎo)致調(diào)用堆棧無法容納這些調(diào)用的返回地址溉贿,一般在遞歸中產(chǎn)生。堆棧溢出很可能由無限遞歸(Infinite recursion)產(chǎn)生浦旱,但也可能僅僅是過多的堆棧層級宇色。
- 代碼中引用了jQuery-1.4.2.min.js這個js實現(xiàn)一些動態(tài)效果或者是輔助,這個版本的jQuery就存在這樣的問題,此時如果允許的話可以考慮更換jQuery引用版本宣蠕。
二例隆、如何解決堆棧溢出問題
解決方案:
1,引入閉包抢蚀; 2镀层,引入計時器; 3皿曲,尾調(diào)優(yōu)化
使用閉包
-
錯誤代碼
function isEven(num){ if(num == 0){return true;} if(num == 1){return false;} return isEven(Math.abs(num)-2); } console.log(isEven(100000))//堆棧溢出
-
引入閉包并優(yōu)化
function isEven(num){ function isEvenInner(num){ if(num === 0){return true;} if(num === 1){return false;} return function(){ return isEvenInner(Math.abs(num)-2); } } function simplify(func,num){ var value=func(num); while(typeof value == 'function'){ value=value(); } return value; } return simplify.bind(null,isEvenInner)(num) } console.log(isEven(100000));//這種方法num太大也不可以
調(diào)用計時器
Tail Call Optimize 使用尾調(diào)優(yōu)化唱逢,可參考《尾調(diào)用優(yōu)化 -阮一峰》
-
錯誤代碼
function factorial(n){ if(n === 1) {return 1;} return n*factorial(n-1); } console.log(factorial(5))
使用尾遞歸(尾調(diào)用)
遺憾的是,大多數(shù)編程語言沒有針對尾遞歸做優(yōu)化屋休,JavaScript解釋器也沒有做優(yōu)化坞古,所以,即使把上面的fact(n)函數(shù)改成尾遞歸方式博投,也會導(dǎo)致棧溢出绸贡。
function tailFactorial(n, total) {
if (n === 1) return total;
return tailFactorial(n - 1, n * total);
}
console.log(tailFactorial(5,1))
-
尾調(diào)優(yōu)化(新增簡化函數(shù))
function tailFactorial(n, total) { if (n === 1) return total; return tailFactorial(n - 1, n * total); } console.log(tailFactorial(5,1)) function factorial(n) { return tailFactorial(n, 1); } console.log(factorial(10000))
-
尾調(diào)優(yōu)化(柯里化)
function currying(fn,n){//柯里化要綁定的參數(shù) return function(m){//柯里化的函數(shù)盯蝴,m對應(yīng)輸入的唯一一個參數(shù) return fn.call(this,m,n) }//柯里化 } var factorial_1=currying(tailFactorial,1); console.log(factorial_1(5));
-
尾調(diào)優(yōu)化(ES6)
function factorial(n, total = 1) { if (n === 1) return total; return factorial(n - 1, n * total); } factorial(5) // 120
三毅哗、深入理解(關(guān)于尾調(diào)用優(yōu)化和柯里化)
寫代碼的優(yōu)化有兩個方向:1、提高程序性能捧挺,2虑绵、使代碼模塊化,減少其耦合性闽烙,增加可維護(hù)性翅睛。如果說尾調(diào)用優(yōu)化是為了提高程序性能,那柯里化就是為了實現(xiàn)代碼適用性黑竞。
尾調(diào)用
PS:ES6尾調(diào)用優(yōu)化只能在嚴(yán)格模式下使用捕发,詳見尾調(diào)用優(yōu)化 阮一峰
定義:某個函數(shù)的最后一步是調(diào)用另一個函數(shù)。
function f(x){
return g(x);
}//尾調(diào)用
// 情況一 非尾調(diào)用
function f(x){
let y = g(x);
return y;
}
// 情況二 非尾調(diào)用
function f(x){
return g(x) + 1;
}
//尾調(diào)用不一定出現(xiàn)在函數(shù)尾部很魂,只要是最后一步操作即可扎酷。
function f(x) {
if (x > 0) {
return m(x)
}
return n(x);
}
-
尾調(diào)用優(yōu)化(Tail call optimization)
如圖所示,函數(shù)調(diào)用會在內(nèi)存形成調(diào)用棧(call stack)遏匆,尾調(diào)用由于是函數(shù)的最后一步操作法挨,所以不需要保留外層函數(shù)的調(diào)用記錄,因為調(diào)用位置幅聘、內(nèi)部變量等信息都不會再用到了凡纳,只要直接用內(nèi)層函數(shù)的調(diào)用記錄,取代外層函數(shù)的調(diào)用記錄就可以了帝蒿。
調(diào)用棧示意圖
故:function f() { let m = 1; let n = 2; return g(m + n); } f(); // 等同于 function f() { return g(3); } f(); // 等同于 g(3);
優(yōu)點:減小調(diào)用棧荐糜,節(jié)省內(nèi)存使用。
尾遞歸
定義:尾調(diào)用自身。
"尾調(diào)用優(yōu)化"對遞歸操作意義重大暴氏。ES6中第一次明確規(guī)定丛版,所有 ECMAScript 的實現(xiàn),都必須部署"尾調(diào)用優(yōu)化"偏序。這就是說页畦,在 ES6 中,只要使用尾遞歸(在嚴(yán)格模式下)研儒,就不會發(fā)生棧溢出豫缨,相對節(jié)省內(nèi)存
實例代碼見于上。
柯里化
定義:柯里化(Currying)是把接受多個參數(shù)的函數(shù)變換成接受一個單一參數(shù)(最初函數(shù)的第一個參數(shù))的函數(shù)端朵,并且返回接受余下的參數(shù)且返回結(jié)果的新函數(shù)的技術(shù)好芭。
柯里化(Currying)是把接受多個參數(shù)的函數(shù)變換成接受一個單一參數(shù)(最初函數(shù)的第一個參數(shù))的函數(shù),并且返回接受余下的參數(shù)且返回結(jié)果的新函數(shù)的技術(shù)冲呢,在直覺上舍败,柯里化聲稱“如果你固定某些參數(shù),你將得到接受余下參數(shù)的一個函數(shù)”敬拓。