Promise&回调地狱

一、回调

• 回调表达程序异步和管理并发的两个主要缺陷：缺乏顺序性和可信任性。

• 会使得代码变得更加难以理解、追踪、调试和维护。（回调地狱）

• 回调的不足之处：
  1.大脑对于事情的计划方式是线性的、阻塞的、单线程的，但是回调表达异步流程的方式是非线性的、非顺序的，这使得正确推导这样的代码难度很大。难于理解的代码是坏代码，会导致坏bug。
  我们需要一种更同步、更顺序、更阻塞的方式来表达异步，就像我们的大脑一样。
  2.因为回调暗中把控制权交给第三方（通常是不受你控制的第三方工具，例如jQuery的Ajax）来调用你代码中的continuation。这种控制转移导致一系列麻烦的信任问题，因此导致错误。比如回调被调用的次数是否会超过预期、调用回调过早(如：ajax(...,a); b();其中，ajax可能同步完成，可能异步完成，这可能导致竞态条件)或过晚、没有把所需的环境/参数成功传给你的回调函数、吞掉可能出现的错误或异常......
  可以发明一些特定逻辑来解决这些信任问题，但是其难度高于应有的水平，可能会产生更笨重、更难维护的代码，还有重复代码的开销，并且缺乏足够的保护，其中的损害要直到你受到bug的影响才会被发现。

二、Promise

1.实现关注点分离

var evt=a()
b(evt)
c(evt)

(1)b,c不需要牵扯到a的调用细节。
(2)a不需要知道或关注b,c是否存在。

回调则相反：

function a(b,c){
// do something
if(evt?) b(evt);
else c(evt)
}

(1)b,c需要牵扯到a的调用细节。
(2)a需要知道或关注b,c是否存在。

2.promise信任问题

• promise调用then时，提供给then的回调只会被异步调用，(不同于回调，可能被同步也可能被异步调用)，这些被调度的回调会在下一个异步时间点上依次被立即调用(插在异步队列的最前面)。
  并且，这些then异步调用的任务队列会插在当前事件循环tick之后，而不是添加到事件循环队列的末尾(插在当前事件的末尾，下一个事件之前)。
  promise会自动防止Zalgo的出现，因为只能被异步调用，不同于回调可能被同步也可能被异步调用，因此不用担心竞态条件。
  (既可能在现在(同步)也可能在将来(异步)调用回调，由这种同步或异步行为引起的不确定性，被称为Zalgo)

• Promise固有特性(链式流程)【《你不知道的JavaScript(中卷)》p204】
  1.调用Promise的then(..)会自动创建一个新的Promise从调用返回。
  2.在完成或拒绝处理函数内部，如果返回一个值或抛出一个异常，新返回的Promise就相应地决议。
  3.如果完成或拒绝处理函数返回一个Promise，它将会被展开，这样一来，不管它的决议值是什么，都会成为当前then(..)返回的链接Promise的决议值。(替换)
  4.如果不显式返回一个值，就会隐式返回undefined。
  5.若抛出异常，异常会沿着Promise链传播下去，直到遇到显示定义的拒绝处理函数。
  6.如果Promise注册了一个完成回调和一个拒绝回调，那么Promise在决议时总是会调用其中的一个。如果回调函数本身包含JavaScript错误，那可能看不到期望的结果，但实际上回调还是被调用了。
  7.Promise只能被决议一次，所以任何通过then(..)注册的（每个）回调就只会被调用一次。
  8.Promise至多只能有一个决议值（完成或拒绝）。
  9.如果出于某种原因，Promise创建代码试图调用多次resolve(..)或reject(..)，或者试图两者都调用，那么这个Promise将只会接受第一次决议，并默默地忽略任何后续调用。

• 2个方法
  1.Promise.resolve(..)
  (1)若传入一个非Promise、非thenable的立即值，如42，就会得到一个用这个值填充的Promise。
  例如：

var p=Promise.resolve(42);

等同于

var p=new Promise( function(resolve,reject){
  resolve(42)
})

(2)若传入一个真正的Promise，则返回同一个promise：

var p1=Promise.resolve(42);
var p2=Promise.resolve(p1);
p1===p2; //true<br>

(3)若传入一个非Promise的thenable值(例如其他库自己实现的类Promise，但不是ES6规定的Promise)，则会试图展开这个值，而且展开过程会持续到提取出一个具体的非类Promise的最终值。(p196)


2.Promise.reject(..)
reject(..)不会像resolve(..)一样进行展开，只会将传入的值原封不动地设置为拒绝理由。(例如传入一个Promise/thenable值，便原封不动地返回，不会展开提取出一个具体的非类Promise的最终值。)