你真的懂函数吗？

摘要：函数声明根据规则，进入执行上下文会自动声明形参并且赋值，但是同名的函数声明会替换这个变量。的函数调用得到其返回值。的意义在于将执行的结果通知给代理函数进行及时处理。回调函数的传递传递的方式有两种，函数引用和函数表达式。

function后面直接跟括号，中间没有函数名的就是匿名函数。

let fn = function() {
    console.log("我是fn")
}
let fn2 = fn
console.log(fn.name) //fn
console.log(fn2.name)//fn，fn和fn2指向的是同一个function。

function后面有函数名字的，不是直接跟括号的的就是具名函数。
如果把一个具名函数赋值给一个变量，那么这个具名函数的作用域就不是window了。

let fn = function fn1() {
  console.log("function")
}
console.log(fn.name) //fn1
console.log(fn1,name) // ReferenceError: fn1 is not defined

箭头函数是es6知识点，具有以下几个特点：

如果只有一个参数，可以省略小括号。

如果有至少有两个参数，必须加小括号。

如果函数体只有一句话可以省略花括号，并且这一句作为返回值return。

如果函数体至少有两句必须加上花括号。

箭头函数里面是没有this的。

let fn = e => e+1
console.log(fn(1)) //2

let fn1 = (i,y) => i+y
console.log(fn1(2,3)) //5

let fn2 = (i,y) => {
  i+=1;
  y+=2;
  return i+y
}
console.log(fn2(5,6)) //13

静态作用域又叫做词法作用域，采用词法作用域的变量叫词法变量。词法变量有一个在编译时静态确定的作用域。词法变量的作用域可以是一个函数或一段代码，该变量在这段代码区域内可见（visibility）；在这段区域以外该变量不可见（或无法访问）。词法作用域里，取变量的值时，会检查函数定义时的文本环境，捕捉函数定义时对该变量的绑定。

词法作用域：变量的作用域是在定义时决定而不是执行时决定，也就是说词法作用域取决于源码，通过静态分析就能确定，因此词法作用域也叫做静态作用域。 with和eval除外，所以只能说JS的作用域机制非常接近词法作用域（Lexical scope）。

通过词法作用域树能判断变量指向关系，但是不能断定变量的值，变量的值还需要根据执行顺序进一步作出判断，看一下例子：

因为JavaScript采用的是词法作用域，bian"liang的作用域基于函数创建的位置，跟调用时的位置无关。

var i = 1,
    j = 2,
    k = 3;

function a(o, p, x, q) {
    var x = 4;
    alert(i);

    function b(r, s) {
        var i = 11,
            y = 5;
        alert(i);

        function c(t) {
            var z = 6;
            alert(i);
        };
        
        var d = function() {
            alert(y);
        };
        c(60);
        d();
    };
    b(40, 50);
}
a(10, 20, 30); //1 11 11 5

/**
* 模拟建立一棵语法分析树，存储function内的变量和方法
*/
var SyntaxTree = {
        // 全局对象在语法分析树中的表示
    window: {
        variables:{
            i:{ value:1},
            j:{ value:2},
            k:{ value:3}
        },
        functions:{
            a: this.a
        }
    },

    a:{
        variables:{
            x:"undefined"
        },
        functions:{
            b: this.b
        },
        scope: this.window
    },

    b:{
        variables:{
                 i:"undefined"
            y:"undefined"
        },
        functions:{
            c: this.c,
            d: this.d
        },
        scope: this.a
    },

    c:{
        variables:{
            z:"undefined"
        },
        functions:{},
        scope: this.b
    },

    d:{
        variables:{},
        functions:{},
        scope: {
           scope: this.b
        }
    }
};

/**
* 活动对象：函数执行时创建的活动对象列表
*/
let ActiveObject = {
    window: {
        variables: {
            i: { value: 1 }
            j: { value: 2 }
            k: { value: 3 }
        },
        functions: {
                a: this.a
        }
    }

    a: {
        variables: {
            x: { vale: 4 },
            functions: {
                b： this.b
            },
            scope: this.window,
            params: {
                o: { value: 10 },
                p: { value: 20 },
                x: this.variables.x
                q: { vale: "undefined" }
            },
            arguments: [this.params.o, this.params.p, this.params.x]
        }
    }

    b: {
        variables: {
            i: { vale: 11 },
            y: { vale: 5 },
        },
        functions: {
            c: this.c,
            d: this.d
        },
        params: {
            r: { value: 40 }
            s: { value: 50 }
        },
        arguments: [this.params.r, this.params.scope]
        scope: this.a
    }


    c: {
        variables: {
            z: { value: 6 },
            functions: {},
            params: {
                t: { value: 60 }
            },
            arguments: [this.params.t]
            scope: this.b
        }
    }

    d: {
        variables: {},
        functions: {},
        params: {},
        arguments: []
        this.scope: this.b
    }

}

进入call stack 时的一些规则：

函数的所有形参(如果我们是在函数执行上下文中)

由名称和对应值组成的一个变量对象的属性被创建；没有传递对应参数的话，那么由名称和 undefined 值组成的一种变量对象的属性也将被创建。

所有函数声明(FunctionDeclaration, FD)

由名称和对应值（函数对象(function-object)）组成一个变量对象的属性被创建；如果变量对象已经存在相同名称的属性，则完全替换这个属性。

所有变量声明(var, VariableDeclaration)

由名称和对应值（undefined）组成一个变量对象的属性被创建；如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性。

/*
* example1:形参
*/
function test(a, b) {
    /*
    var a = 10
    var b = undefined
    根据规则1，在进入执行上下文时会自动对形参声明并且赋值。
    */ 
  console.log(a)
  var c = 10;
  function d() {}
  var e = function _e() {};
  (function x() {});
}
test(10); // 10

/*
* example2:函数声明
*/
function test(a, b) {
  console.log(a)
  function a() {}
  var e = function _e() {};
}
test(10); // ƒ a() {} .根据规则2，进入执行上下文会自动声明形参并且赋值，但是同名的函数声明会替换这个变量。

function test(a, b) {
  console.log(a)
  var a = 30;
  var a = function _e() {};
}
test(10); // 10 .根据规则2，进入执行上下文会自动声明形参并且赋值，但是同名的函数声明会替换这个变量。

/*
* example3:变量声明
*/
console.log(foo);//会打印出foo函数，根据规则3，同名的变量声明不会干扰函数声明和形参

 function foo(){
    console.log("foo");
}

var foo = 1;

在es5中，函数有四种调用方式：

1. fn(p1,p2)
2. obj.fn(p1,p2)
3. fn.call(context,p1,p2)
4. fn.apply(context,p1,p2)

第三和第四种才是正常的js函数调用方式，其他两种就是语法糖。

fn(p1,p2)     等价于 fn.call(undefined,p1,p2) 等价于 fn.apply(context,[p1,p2])
obj.fn(p1,p2) 等价于 obj.fn.call(obj,p1,p2)   等价于 obj.fn.apply(obj,[p1,p2])

如果你传的 context 就 null 或者 undefined，那么 window 对象就是默认的 context（严格模式下默认 context 是 undefined）

this是call的第一个参数！！！！

var obj = {
  foo: function(){
    console.log(this)
  }
}

var bar = obj.foo
obj.foo() // 打印出的 this 是 obj
bar() // 打印出的 this 是 window

obj.foo() 相当于 obj.foo.call(obj) 也就相当于把函数名前面的作为call的第一个参数，也就是this，如果没有就是window。
bar() 相当于 bar.call(undefined) 

在执行函数的时候，this是隐藏的一个参数，且必须是一个对象，如果不是，js是自动把它转为对象。

function fn() {
    console.log(this)
    console.log(arguments)
}
fn.call(1,2,3) // Number {1}  [2,3]

arguments是伪数组它类似于Array，但除了length属性和索引元素之外没有任何Array属性。
call和apply里面除了第一个参数之外的都是arguments，如果arguments的个数少建议使用call，使用apply也可以，如果不确定就使用apply。
使用一下方法吧arguments转为真正的数组：

var args = Array.prototype.slice.call(arguments);
var args = [].slice.call(arguments);

// ES2015
const args = Array.from(arguments);
const args = [...arguments]

MDN 官方文档对 bind() 的定义:

The bind() method creates a new function that, when called, has its this keyword set to the provided value, with a given sequence of arguments preceding any provided when the new function is called.

大概意思就是，bind会返回一个新的函数（并没有的调用原来的函数），这个新函数会call原来的函数，call的参数由你决定。看例子：

        this.x = 9;
        var module = {
          x: 81,
          getX: function() { return this.x; }
        };
        
        var retrieveX = module.getX;
        var boundGetX = retrieveX.bind(module);
        boundGetX(); // 81

retrieveX.bind(module)返回了一个新的函数boundGetX,然后调用这个新的函数的时候，把这个函数里面的this绑定到了module对象上，所以this.x就相当于module.x也就是等于81.

在计算机科学中，柯里化（英语：Currying），又译为卡瑞化或加里化，是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凯尔·加里命名的，尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。

说的明白一点就是，给函数传递一部分参数，让它返回一个函数去处理其他参数，举个例子，求三个数之和：

let addOne = function add(x) {
  return function(y) {
    return function(z) {
      return x+y+z
    }
  }
}

let one = addOne(3)
console.log(one)//ƒ (y) {return function (z) {return x + y + z}}
let two = one(4)
console.log(two)//ƒ (z) {return x + y + z}
let three = two(5)
console.log(three)//12

javascript函数柯里化--详细说明链接

在数学和计算机科学中，高阶函数是至少满足下列一个条件的函数：

接受一个或多个函数作为输入
输出一个函数

举一些高阶函数的例子：

/*
*接受一个或多个函数作为输入
*/
1. Array.prototype.filter()
2. Array.prototype.forEach()
3. Array.prototype.reduce()
4. Array.prototype.map()
5. Array.prototype.find()
6. Array.prototype.every()

/*
*输出一个函数
*/
1. fn.bind(args)

函数A作为参数(函数引用)传递到另一个函数B中，并且这个函数B执行函数A。我们就说函数A叫做回调函数。如果没有名称(函数表达式)，就叫做匿名回调函数。

名词形式：被当做参数的函数就是回调
动词形式：调用这个回调
注意回调跟异步没有任何关系

资源加载：动态加载js文件后执行回调，加载iframe后执行回调，ajax操作回调，图片加载完成执行回调，AJAX等等。

DOM事件及Node.js事件基于回调机制(Node.js回调可能会出现多层回调嵌套的问题)。

setTimeout的延迟时间为0，这个hack经常被用到，settimeout调用的函数其实就是一个callback的体现

链式调用：链式调用的时候，在赋值器(setter)方法中(或者本身没有返回值的方法中)很容易实现链式调用，而取值器(getter)相对来说不好实现链式调用，因为你需要取值器返回你需要的数据而不是this指针，如果要实现链式方法，可以用回调函数来实现。

setTimeout、setInterval的函数调用得到其返回值。由于两个函数都是异步的，即：他们的调用时序和程序的主流程是相对独立的，所以没有办法在主体里面等待它们的返回值，它们被打开的时候程序也不会停下来等待，否则也就失去了setTimeout及setInterval的意义了，所以用return已经没有意义，只能使用callback。callback的意义在于将timer执行的结果通知给代理函数进行及时处理。

传递的方式有两种，函数引用和函数表达式。

$.get("myhtmlpage.html", myCallBack);//这是对的
$.get("myhtmlpage.html", myCallBack("foo", "bar"));//这是错的，那么要带参数呢？
$.get("myhtmlpage.html", function(){//带参数的使用函数表达式
myCallBack("foo", "bar");
});

箭头函数的主要区别在this，箭头函数是没有this这个概念的，看例子：

setTimeout(function(a){
  console.log(this) //这个this指的是{name:"Jack"}
  setTimeout(function(a){
    console.log(this) //这个this指的是window，因为没有bind，调用setTimeout的是window
  },1000)
}.bind({name:"Jack"}),1000)

setTimeout(function(a){
  console.log(this) //这个this指的是{name:"Jack"}
  setTimeout(function(a){
    console.log(this) //这个this指的是{name: "Jack"}，因为bind了外面的this也就是{name: "Jack"}
  },1000)
}.bind({name:"Jack"}),1000)

setTimeout(function(a){
  console.log(this) //这个this指的是{name:"Jack"}
  setTimeout(a=>console.log(this),1000)//这个this指的是{name:"Jack"},因为箭头函数没有this的概念，它指的this就是外面的this，也就是{name:"Jack"}
}.bind({name:"Jack"}),1000)

至此基本上说了js的所有函数内容，只是简单举个例子，更深入的研究还需要看一些其他大佬的博客哦~~~~