javascript之函数

javascript的精华除了它的object的特性还有函数，和c/c++、java等主流语言比，实际上javascript的函数本身就是对象，这样的特性会带来极好用的特性，后面会详细介绍这个特性。

首先我们还是先从函数定义形式上说明吧：

字面量

> var add = function(a, b){
... return a + b;
... }
undefined
> add(1, 2)
3

从这种定义方法来看，add本身就是这个函数的别名（姑且这样说吧），这种叫匿名函数，可以通过函数的匿名调用函数。

还有另外一种定义方法：

> function add(a, b){
... return a + b;
... }
undefined
> add(1,2)
3

这次定义的add确确实实是一个函数名，通过调用它，可以得到预想的结果。

函数是很灵活的，不一定要预先定义，可以在一个函数执行的过程中定义另外一个函数，

调用

函数的调用说白了就是把当前代码的执行转移到函数的执行上面，等函数执行完后再把执行权返回到当前代码，函数的调用实际上有4种调用方式：方法调用模式、函数调用模式、构造器调用模式和apply调用模式，下面详细讲解一下这几种调用模式，以及它们的意义。

方法调用模式

我个人觉得方法调用模式和函数调用模式是一样的，只是表现形式不一样的，它们的区别是前者绑定在object上，后者绑定在普通的变量上，实际上都是一个道理：

方法调用模式示例：

> var addObject = {
... value: 0,
... add: function(a, b){
..... this.value = a + b;
..... }
... }
undefined
> addObject.value
0
> addObject.add(3,4)
undefined
> addObject.value
7

函数调用模式

> function add(a, b){
... return a + b;
... }
undefined
> add(1, 2)
3

构造器调用模式

javascript没有真正的类，那为什么会有构造器调用模式呢？javascript是基于原型继承的语言，可以直接从其他对象继承属性，当然这偏离了现在主流语言基于对象（类）的特性，为了符合大众的使用，javascript也是支持new调用的，这个会继承object.prototype上定义的方法。

举个例子：

> var AddObject = function(a, b){
...  this.value = a + b;
... }
undefined
> AddObject.prototype.get_value = function(){
... return this.value;
... }
[Function]
>  var o = new AddObject(2, 3);
undefined
> o.get_value();
5

Apply调用模式

apply方法是一个很神奇的方法，让我们构建一个参数数字传递给调用，apply方法接收两个参数，第一个是要绑定的this对象，第二个是参数数组：

比如我们上面的例子改造一下：

> var AddObject = function(a, b){
... this.value = a + b;
... }
undefined
> AddObject.prototype.get_value = function(addValue){
... this.value += addValue;
... return this.value;
... }
[Function]
> var o = {value: 1}
undefined
> var result = AddObject.prototype.get_value.apply(o, [1])
undefined
> result
2

构造函数调用模式和Apply调用模式构成了ES6的类的实现机制。

参数和返回值

是函数就少不了参数和返回值，但是javascript的参数和返回值与主流语言相比有一些特殊性。

参数

javascript除了显性定义的参数之外，还有两个隐形的参数this和arguments：

我们举个例子看看：

> var addObject  = {
... value: 1,
... add: function(a, b){
..... console.log(this);
..... console.log(arguments);
..... console.log(arguments.length);
..... console.log(typeof arguments);
..... this.value = this.value + a + b;
..... return this.value;
..... }
... }
undefined
> addObject.add(1, 2, 3, 4);
{ value: 1, add: [Function] }
{ '0': 1, '1': 2, '2': 3, '3': 4 }
4
object
4

从上面的例子看出来，我们实际上定义了2个参数，但是传进来的还有一个this和arguments，但是我个人觉得这两个值不应该称为参数，应该称为函数的属性，因为函数本身就是个对象，实际上函数的参数也是弱类型的，就是说不管你有没有定义形式参数，调用的时候都可以传入，只是说如果定义了形式参数，比如上面的例子的a和b，a和b的值在函数执行时被赋值为arguments的第一个和第二个值罢了，即使我们不显示定义参数，直接从arguments中取也可以，只是这样做对编程人员来说太不友好了。

返回值

用户主流语言的都知道，如果一个函数没有return一个值，调用的时候把这个函数的执行结果赋给一个变量时，编译器会报错的，但是javascript不会，如果没有return，赋给的这个变量值会变成undfined：

> var add = function(){}
undefined
> var result = add();
undefined
> result
undefined

这就是javascript的一个好处，但是我个人觉得也是一个坏处，毕竟编译性错误总比运行时错误好排查，对程序员来说更自由的用法会带来排查问题的难度。

作用域

为什么要介绍作用域呢，在现在的语言里，作用域控制着变量和参数的可见性以及生命周期，对程序员来说是很有帮助的，它减少了名称的冲突，并且提供了内存自动管理机制。javascript看起来支持作用域的，实际上它的作用域支持是很弱的。

> var add = function(a, b){
... console.log(tmp);
... return a + b;
... }
undefined
> add(1, 2);
ReferenceError: tmp is not defined
    at add (repl:2:13)
    at repl:1:1
    at REPLServer.defaultEval (repl.js:252:27)
    at bound (domain.js:287:14)
    at REPLServer.runBound [as eval] (domain.js:300:12)
    at REPLServer.<anonymous> (repl.js:417:12)
    at emitOne (events.js:82:20)
    at REPLServer.emit (events.js:169:7)
    at REPLServer.Interface._onLine (readline.js:210:10)
    at REPLServer.Interface._line (readline.js:549:8)

这个例子中，函数的作用域中tmp没有定义，打印的时候就报错了，那么下面的例子会不会报错呢？

> var add = function(a, b){
... console.log(tmp);
... var tmp = a + b;
... return tmp;
... }
undefined
> add(1, 2);

一般会觉得它要报错，毕竟tmp在使用的时候还没有定义呢，你错了，它不会报错，打印出来的是undefined，很无语吧，这也是javascript的一个特性，每个作用域在执行之前编译器会扫描一遍，定义了哪儿写变量，编辑器会首先给这些变量赋值为undefined，这也说明javascript是扫描编译性语言，和C语言类似，需要用到的变量尽量在javascript的函数体的顶部先行定义。

总结

javascript的函数和c语言挺相似的，毕竟它是从C语言变异过来的，加了很多自己的特性，有些特性对编程人员很方便，但是方便的同时，也带来了一些危险。