JS函数表达式——函数递归、闭包

一：定义函数的方式：

1、函数声明；2、函数表达式

函数声明的重要特征：函数声明提升，在执行代码之前会先读取函数声明。

sayHi();
function sayHi(){
	console.log("Hi");
}
复制代码

函数表达式必须先赋值。

二：递归

function fact(num){
	if(num <= 1){
		return 1;
	}else{
		return num*fact(num-1);
	}
}
复制代码

下面代码可能导致出错

var another = fact;
fact = null;
console.log(another(4)); //出错
复制代码

使用arguments.callee可以解决这个问题，arguments.callee是一个指向正在执行的函数的指针。

function fact(num){
	if(num<=1){
		return 1;
	}else{
		return num*arguments.callee(num-1);
	}
}
复制代码

在严格模式下，不能通过arguments.callee访问，创建一个名为f()的函数，将它赋值给fact。

var fact = (function f(num){
	if(num <= 1){
		return 1;
	}else{
		return num * f(num-1);
	}
});
复制代码

三、闭包

闭包是指有权访问另一个函数作用域中的变量的函数。当某个函数被调用时，会创建一个执行环境及相应的作用域链。然后，使用arguments和其他命名参数的值来初始化函数的活动对象。

一般来说，当函数执行完毕后，局部活动对象就会被销毁，内存中仅保存全局作用域（全局执行环境的变量对象）。但是，闭包的情况有所不同。

function create(name){
	return function(){
		return name;
	}
}
复制代码

create()函数在执行完毕后，其活动对象不会被销毁，因为匿名函数的作用域链仍然在引用这个活动对象。当create()函数返回后，其执行环境的作用域链会被销毁，但它的活动对象仍然会留在内存中；直到匿名函数被销毁后，create()活动对象才会被销毁。

1、闭包和变量

作用域链的这种配置，使闭包只能取得包含函数中任何变量的最后一个值。闭包保存的是整个变量对象，而不是某个特殊的变量。

function create(){
	var result = new Array();
	for(var i =0;i<10;i++){
		result[i] = function(){
			return i;
		};
	}
	return result;
}
复制代码

数组10个10，每个函数的作用域都保存着create()函数的活动对象，所以引用的都是同一个变量i。

创建一个匿名函数强制让闭包的行为符合预期：

function create(){
	var result = new Array();
	for(var i=0;i<10;i++){
		result[i] = function(num){
			return function(){
				return num;
			};
		}(i);
	}
	return result;
}
复制代码

这个函数中，没有直接把闭包赋值给数组，而是定义了一个匿名函数，并将立即执行该匿名函数的结果赋给数组。这里的匿名函数有一个参数num，也就是最终函数要返回的值。在调用每个匿名函数时，我们传入了变量i。由于函数参数是按值传递的，所以就会将变量i的当前值复制给参数num。而在这个匿名函数内部，又创建并返回一个访问num的闭包。这样一来，result数组中的每个函数都有num变量的一个副本，因此就可以返回各自不同的数值了。

2、this对象

this对象是在运行时基于函数的执行环境绑定的：在全局函数中，this等于window，函数被当作某个对象的方法调用时，this等于那个对象。匿名函数的执行环境具有全局性，因此this通常指向window。

构造函数当作普通函数调用时，this代表的是全局window对象。和new使用创建对象，指向当前的对象。

var name = 'this window';
var object = {
	name: 'my object',
	getName: function(){
		return function(){
			return this.name;
		};
	}
};
alert(object.getName()()); //"this window"
复制代码

由于getName()返回一个函数，因此调用object.getName()()就会立即调用它返回的函数，结果就是返回一个字符串。

3、内存泄漏

function assign(){
	var element = document.getElementById("someElement");
	element.onclick = function(){
		alert(element.id);
	};
}
复制代码

以上代码创建一个作为element元素事件处理程序的闭包，而这个闭包又创建了一个循环引用。由于匿名函数保存了一个对assign()活动对象的引用，因此会导致无法减少element的引用数。只要匿名函数存在，element的引用数至少也是1，因此它占用的内存就永远不会被回收。

可通过以下解决：

function assign(){
	var element = document.getElementById("someElement");
	var id = element.id;
	element.onclick = function(){
		alert(id);
	};
	element = null;
}
复制代码

闭包会引用包含函数的整个活动对象，而其中包含着element。即使不直接引用element，包含函数的活动对象中也仍然会保存一个引用。

四、模仿块级作用域

JS没有块级作用域的概念。在块语句中定义的变量，实际是在包含函数中而非语句中创建的。

function output(count){
	for(var i=0;i<count;i++){
		alert(i);
	}
	var i; //重新声明变量，视而不见
	alert(i);
}
复制代码

在java、c++语言中，变量i只会在for循环的语句中有定义，循环一旦结束，变量i就会被销毁。在JS中，变量i定义在output()的活动对象中，从它又定义开始就可以在函数内部访问它。

用作块级作用域的(私有作用域)的匿名函数的语法：

(function(){
	//这里是块级作用域
})();
复制代码

重写output()函数：

function output(count){
	(function(){
		for(var i=0;i<count;i++){
			alert(i);
		}
	})();
	alert(i); //导致一个错误
}
复制代码

五、私有变量

转载于:https://juejin.im/post/5b004abd6fb9a07aa925fead