一、函数的定义
定义函数有三种方式：函数声明、函数表达式、Function构造函数（不推荐）
函数声明比如：
function sum(num1,num2){
return num1 + num2;
}
函数表达式，其实就是变量声明的一种，这种定义方式得到的函数也叫匿名函数（拉姆达函数），因为function关键字后面没有函数名字，只是把这个函数体赋值给一个变量。这种方式定义函数也没有必要使用函数名---通过变量名就可以引用函数。另外还要注意，此时函数末尾有一个分号，就像声明其他变量一样需要一个分号作为结尾。比如：
var sum = function (num1,num2){
return num1 + num2;
};
Function构造函数可以接收任意数量的参数，但最后一个参数始终都被看成函数体，而前面的参数枚举出了新函数的参数。比如：
var sum = new Function("num1","num2","return num1 + num2"); //不推荐
从技术上讲，这是一个函数表达式，但是这种语法会导致解析两次代码（第一次是解析常规的ES代码，第二次是解析传入构造函数中的字符串），从而影响性能。不过，这种语法对于理解“函数是对象，函数名是指针”的概念倒是非常直观的。
二、函数的内部属性
总得来说，函数的内部属性有三个：arguments（ES3） this（ES3） caller（ES5）。
（一）arguments
小知识：ES函数的参数与大多数其他语言中函数的参数有些不同，ES函数不介意传递的参数个数满足符合定义函数时要求的个数。命名的参数只提供便利，并不是必需的。也就是说，即使你定义函数时，只接收两个参数，在调用这个函数时，可以传入一个，两个，三个甚至不传递参数，这是因为，ES函数中的参数在内部是用一个数组来表示的，函数接收到的只是这个数组，并不关心数组中包含哪些参数（如果有参数的话）。
1、参数个数任意（没有传递值的命名参数被自动赋予undefined）
arguments是一个类数组对象（因为可以使用方括号语法访问它的每一个元素，即第一个元素arguments[0]，第二个元素arguments[1]等，但是，它只是与数组类似，并不是一个Array实例），它的作用是存储传入函数的所有参数。
function a(){
alert(arguments.length);
}
a ( "string" , 2 ); //2
a (2 ); //1
a ( ); //0
我们可以根据参数个数不同来实现不同的功能：
function a(){
if ( arguments.length == 1 ){
alert(arguments[0] + 10 );
}
else if ( arguments.length == 2 ){
alert(arguments[0] + arguments[1] );
}
}
a(10); //20
a( 30 , 20); //50
2、arguments可以和命名参数一起使用
function a( num1 ,num2 ){
if ( arguments.length == 1 ){
alert( num1 + 10 );
}
else if ( arguments.length == 2 ){
alert(arguments[0] + num2 );
}
}
上述代码中，num1和arguments[0]的值相同，所以可以互换着使用。
记住一点，ES中所有函数的参数都是按值传递的，也就是说，把函数外部的值复制给函数内部的参数，就和把值从一个变量复制到另一个变量一样。基本类型值的传递如同基本类型变量的赋值一样（被传递的值会被复制给一个局部变量，即命名参数，也可以说是arguments对象中的一个元素），引用类型值的传递就如同引用类型变量的赋值一样（把这个值在内存中的地址复制给一个局部变量，因此这个局部变量的变化会反映在函数的外部P71）。
3、arguments.callee
callee是arguments的一个很重要的属性，该属性是一个指针，指向拥有这个arguments对象的函数。
function factorial ( num ){
if( num <=1){
return 1;
}else{
return num * factorial( num -1 );
}
}
var trueFactorial = factorial;
factorial = function (){
return 0;
};
alert(trueFactorial (5)); //0
alert(factorial (5)); //0
这是一个阶乘函数，但是这个函数的执行与函数名factorial紧紧耦合，当函数名修改成trueFactorial 之后，调用trueFactorial ()函数就会返回0。是因为，变量trueFactorial 获得了factorial的值，实际上是在另一个位置上保存了一个函数的指针。然后又将一个简单的返回0的函数赋值给factorial变量。 为了消除这种耦合，我们可以使用arguments.callee。如下，这样便可以解除函数体内的代码与函数名的耦合状态，trueFactorial() 可以正常的计算阶乘；至于factorial() 现在只是个返回0 的函数。
function factorial ( num ){
if( num <=1){
return 1;
}else{
return num *arguments.callee( num -1 );
}
}
var trueFactorial = factorial;
factorial = function (){
return 0;
};
alert(trueFactorial (5)); //120
alert(factorial (5)); //0
4、arguments.caller
见（三）caller()介绍。
为了实现更松散的耦合，ES5定义的arguments.callee.caller，定义这个属性是为了区分arguments.caller和函数的caller的区别，arguments.caller严格模式下会报错，非严格模式下等于undefined。
（二）this
this的行为与Java和C#中的this类似，this引用的是函数执行的环境对象。
（三）caller
这个是ES5新定义的属性，这个属性保存调用当前函数的函数的引用
因为outer()调用了inner()，所以inner.caller指向outer()。
严格模式下，不能为函数caller属性赋值。
三、函数的属性和方法
函数有两个属性：length prototype
函数有三个方法：call() apply() bind()--ES5
（一）属性
1、length
length属性表示函数希望接收的命名参数的个数
function a(num){
alert(num);
}
function b(num1,num2){
return num1+num2;
}
function c(){
alert("num");
}
alert(a.length); //1
alert(b.length); //2
alert(c.length); //0
2、prototype
（二）方法
1、call()和apply()
每个函数自身都有两个方法：apply（）和call（）。这两个方法都是在特定的作用域内调用函数，也就是修改函数体内this对象的指向。他俩的区别是接收参数的方式略有不同。（先讲如何使用）
apply（）接收两个参数，一个是在其中运行函数的作用域，另一个是参数数组；
call（）一样地接收两个参数，一个是在其中运行函数的作用域，另一个是枚举出所有的参数；
function a(num1,num2){
return num1+num2;
}
function callA1(num1,num2){
return a.apply(this,arguments); //arguments是一个类数组对象
}
function callA2(num1,num2){
return a.apply(this,[num1,num2]);
}
function callA3(num1,num2){
return a.call(this,num1,num2);
}
alert(callA1(10,10)); //20
alert(callA2(10,10)); //20
alert(callA3(10,10)); //20
（再来说一下他们的强大之处）
前文提到过，他们的作用是修改函数体内的this指向，也就是他们可以动态扩展函数运行的作用域，这也是this四种绑定方式之显性绑定原则。
使用call（）和apply（）来扩充作用域的好处是对象不需要与方法有任何的耦合关系。
2、bind()
当在函数f()上调用bind()方法并传入一个对象o作为参数，这个方法将返回一个新函数。（以函数调用的方式）调用新的函数将会把原始的函数f()当做o的方法来调用。
function f ( y ) {
return this.x+y;
}
var o={
x:1;
}
var g = f.bind(o);
g(2) //3
bind()会创建一个实例，其this值会被绑定到bind()函数的值，this的四种绑定里面这个叫做显示绑定之硬绑定