原文：(http://www.cnblogs.com/Ghost-Draw-Sign/articles/1530108.html)
参考：http://www.cnblogs.com/libin-1/p/5823025.html
在提到上述的概念之前，首先想说说javascript中函数的隐含参数：arguments
Arguments##
该对象代表正在执行的函数和调用它的函数的参数。
[function.]arguments[n]
参数:
function ：选项。当前正在执行的 Function 对象的名字。
n ：选项, 要传递给 Function 对象的从0开始的参数值索引。 说明Arguments 是进行函数调用时，除了指定的参数外，还另外创建的一个隐藏对象。
Arguments是一个类似数组但不是数组的对象。
说它类似数组是因为其具有数组一样的访问性质及方式，可以由arguments[n]来访问对应的单个参数的值，并拥有数组长度属性length。还有就是arguments对象存储的是实际传递给函数的参数，而不局限于函数声明所定义的参数列表，而且不能显式创建 arguments 对象。arguments 对象只有函数开始时才可用。
function ArgTest(a, b){
var i, s = "The ArgTest function expected ";
var numargs = arguments.length; // 实际被传递参数的数值。
var expargs = ArgTest.length; // 期望参数的数值。
if (expargs < 2)
s += expargs + " argument. ";
else
s += expargs + " arguments. ";
if (numargs < 2)
s += numargs + " was passed.";
else
s += numargs + " were passed.";
s += "\n\n"
for (i =0 ; i < numargs; i++){ // 获取参数内容。
s += " Arg " + i + " = " + arguments[i] + "\n";
}
return(s); // 返回参数列表。
}
在此添加了一个说明arguments不是数组(Array类)的代码:
Array.prototype.selfvalue = 1;
alert(new Array().selfvalue);
function testAguments(){
alert(arguments.selfvalue);
}
运行代码你会发现第一个alert显示1，这表示数组对象拥有selfvalue属性，值为1，而当你调用函数testAguments时，你会发现显示的是“undefined”，说明了不是arguments的属性，即arguments并不是一个数组对象。
caller##
返回一个对函数的引用，该函数调用了当前函数。
functionName.caller
返回一个对函数的引用，该函数调用了当前函数。
说明
对于函数来说，caller 属性只有在函数执行时才有定义。
如果函数是由顶层调用的，那么 caller 包含的就是 null 。
如果在字符串上下文中使用 caller 属性，那么结果和 functionName.toString 一样，也就是说，显示的是函数的反编译文本。
// caller demo {
function callerDemo() {
if (callerDemo.caller) {
var a= callerDemo.caller.toString();
alert(a);
} else {
alert("this is a top function");
}
}
function handleCaller() {
callerDemo(); //"function handleCaller() { callerDemo();}"
}
callee
返回正被执行的 Function 对象，也就是所指定的 Function 对象的正文。
ES5 提示: 在严格模式下，arguments.callee 会报错 TypeError，因为它已经被废除了。
[function.]arguments.callee
说明
function 参数是当前正在执行的 Function 对象的名称。
callee 属性的初始值就是正被执行的 Function 对象。
function 参数是当前正在执行的 Function 对象的名称。
callee 属性是 arguments 对象的一个成员，它表示对函数对象本身的引用，这有利于匿名函数的递归或者保证函数的封装性
例如下边示例的递归计算1到n的自然数之和。而该属性仅当相关函数正在执行时才可用。还有需要注意的是callee拥有length属性，这个属性有时候用于验证还是比较好的。
arguments.length是实参长度，arguments.callee.length是形参长度.由此可以判断调用时形参长度是否和实参长度一致。
//callee可以打印其本身
function calleeDemo() {
alert(arguments.callee);
}
calleeDemo(); //返回函数function calleeDemo() { alert(arguments.callee);}
//用于验证参数
function calleeLengthDemo(arg1, arg2) {
if (arguments.length==arguments.callee.length) {
window.alert("验证形参和实参长度正确！");
return;
} else {
alert("实参长度：" +arguments.length);
alert("形参长度： " +arguments.callee.length);
}
}
//递归计算
var sum = function(n){
if (n <= 0)
return 1;
else
return n ＋arguments.callee(n - 1)
}
比较一般的递归函数：
var sum = function(n){
if (1==n) return 1;
else return n + sum (n-1);
调用时：alert(sum(100));其中函数内部包含了对sum自身的引用，函数名仅仅是一个变量名，在函数内部调用sum即相当于调用一个全局变量，不能很好的体现出是调用自身，这时使用callee会是一个比较好的方法。
apply and call##
它们的作用都是将函数绑定到另外一个对象上去运行，两者仅在定义参数方式有所区别： apply( thisArg , argArray ); call( thisArg[,arg1,arg2…] ] );
即所有**函数内部的this指针都会被赋值为 thisArg**，这可实现**将函数作为另外一个对象的方法运行**的目的
apply的说明###
如果 argArray 不是一个有效的数组或者不是 arguments 对象，那么将导致一个 `TypeError`。
第一个参数是必须的，可以是null，undefined，this，但是不能为空。设置为null，undefined，this则等同于指定全局对象。。
call的说明
call 方法可将一个函数的对象上下文从初始的上下文改变为由 thisArg指定的新对象。 **如果没有提供 thisArg参数，那么 Global 对象被用作 thisArg**
相关技巧：
应用call和apply还有一个技巧在里面，就是用 call 和 apply 应用另一个函数（类）以后，当前的函数（类）就具备了另一个函数（类）的方法或者是属性，这也可以称之为 继承 。看下面示例:
// 继承的演示
function base() {
this.member = " dnnsun_Member";
this.method = function() {
window.alert(this.member);
}
}
function extend() {
base.call(this);
window.alert(member);
window.alert(this.method);
}
上面的例子可以看出，通过call之后，extend可以继承到base的方法和属性。
多重继承：
function Class10()
{
this.showSub = function(a,b)
{
alert(a-b);
}
}
function Class11()
{
this.showAdd = function(a,b)
{
alert(a+b);
}
}
function Class2()
{
Class10.call(this);
Class11.call(this);
}
使用两个 call 就实现多重继承了当然，js的继承还有其他方法，例如使用原型链
apply方法有以下应用：
- 找出数组中的最大数
1 var a = [2, 4, 5, 7, 8, 10];
2
3 console.log(Math.max.apply(null, a)); //10
4 console.log(Math.max.call(null,2, 4, 5, 7, 8, 10)); //10
Javascript中是没有提供找出数组中最大值的方法的，结合使用继承自Function.prototype的apply和Math.max方法，就可以返回数组的最大值。
- 将数组的空元素变为undefined
通过apply方法，利用Array构造函数将数组的空元素变成undefined。
console.log(Array.apply(null, [1, , 3])); // [1, undefined, 3]
空元素与undefined的差别在于，数组的forEach方法会跳过空元素，但是不会跳过undefined和null。因此，遍历内部元素的时候，会得到不同的结果。
var a = [1, , 3];
a.forEach(function(index) {
console.log(index); //1,3 ，跳过了空元素。
})
Array.apply(null,a).forEach(function(index){
console.log(index); ////1,undefined,3 ，将空元素设置为undefined
})
- 转换类似数组的对象
另外，利用数组对象的slice方法，可以将一个类似数组的对象（比如arguments对象）转为真正的数组。当然，slice方法的一个重要应用，就是将类似数组的对象转为真正的数组。call和apply都可以实现该应用。
1 console.log(Array.prototype.slice.apply({0:1,length:1})); //[1]
2 console.log(Array.prototype.slice.call({0:1,length:1})); //[1]
3 console.log(Array.prototype.slice.apply({0:1,length:2})); //[1,undefined]
4 console.log(Array.prototype.slice.call({0:1,length:2})); //[1,undefined]
1 function keith(a,b,c){
2 return arguments; //类数组对象
3 }
4
5 console.log(Array.prototype.slice.call(keith(2,3,4))); //[2,3,4]
上面代码的call，apply方法的参数都是对象，但是返回结果都是数组，这就起到了将对象转成数组的目的。从上面代码可以看到，这个方法起作用的前提是，被处理的对象必须有length属性，以及相对应的数字键。
顺便提一下，在javascript框架prototype里就使用apply来创建一个定义类的模式
其实现代码如下：
var Class = {
create: function() {
return function() {
this.initialize.apply(this, arguments);
}
}
}
解析：从代码看,该对象仅包含一个方法：Create，其返回一个函数，即类。但这也同时是类的构造函数，其中调用initialize，而这个方法是在类创建时定义的初始化函数。通过如此途径，就可以实现prototype中的类创建模式
示例：
var vehicle=Class.create();
vehicle.prototype={
initialize:function(type){
this.type=type;
}
showSelf:function(){
alert("this vehicle is "+ this.type);
}
}
var moto=new vehicle("Moto");
moto.showSelf();
bind##
bind方法用于指定函数内部的this指向（执行时所在的作用域），然后返回一个新函数。bind方法并非立即执行一个函数。
var keith = {
a: 1,
count: function() {
console.log(this.a++);
}
};
var f = keith.count;
f(); //NaN
上面代码中，如果把count方法赋值给f变量，那么this对象指向不再是keith对象了，而是window对象。而window.a默认为undefined，进行递增运算之后undefined++就等于NaN。
为了解决这个问题，可以使用bind方法，将keith对象里的this绑定到keith对象上，或者是直接调用。
1 var f = keith.count.bind(keith);
2 f(); //1
3 f(); //2
4 f(); //3
当然，this也可以绑定到其他对象上。
var obj = {
a: 100
};
var f = keith.count.bind(obj);
f(); //100
f(); //101
f(); //102
function keith(a, b) {
return a + b;
}
console.log(keith.apply(null,[1,4])); //5
console.log(keith.call(null,1,4)); //5
console.log(keith.bind(null, 1, 4)); //keith()
console.log(keith.bind(null, 1, 4)()); //5
bind方法与apply/call方法也非常类似，相当于稍微再封装了一下，仍以上述DEMO作为案例：
function Point(x, y){
this.x = x;
this.y = y;
}
Point.prototype.move = function(x, y) {
this.x += x;
this.y += y;
}
var p = new Point(0,0);
var circle = {x:1, y:1, r:1};
// p.move.call(circle, 2, 1);
// p.move.apply(circle, [2, 1]);
var circleMove = p.move.bind(circle, 2, 1); //此时并不执行move方法
circleMove(); //此时才执行
从上面这段DEMO可以看出，bind方法其实是给apply/call方法缓了一下，也可以说是封装了一下方便后续调用，其实质上相当于下面的这段代码：
function circleMove() {
p.move.call(circle, 2, 1);
}
circleMove();
bind方法兼容性适应###
在EcmaScript5中扩展了叫bind的方法（IE6,7,8不支持），使用方法如下
if (!Function.prototype.bind) {
Function.prototype.bind = function(obj) {
var _self = this
,args = arguments;
return function() {
_self.apply(obj, Array.prototype.slice.call(args, 1));
}
}
}
call，apply，bind这三个方法其实都是继承自Function.prototype
可以看出call，apply，bind三者的区别：
①bind的返回值是函数。
②call和apply方法都是在调用之后立即执行的。而bind调用之后是返回原函数，需要再调用一次才行，有点像闭包的味道。