JavaScript Promise對(duì)象

目錄

Promise 是 JavaScript 異步操作解決方案。介紹 Promise 之前，先對(duì)異步操作做一個(gè)詳細(xì)介紹。

概述

Javascript 語(yǔ)言的執(zhí)行環(huán)境是“單線程”（single thread）。所謂“單線程”，就是指一次只能完成一件任務(wù)。如果有多個(gè)任務(wù)，就必須排隊(duì)，前面一個(gè)任務(wù)完成，再執(zhí)行后面一個(gè)任務(wù)。

這種模式的好處是實(shí)現(xiàn)起來(lái)比較簡(jiǎn)單，執(zhí)行環(huán)境相對(duì)單純；壞處是只要有一個(gè)任務(wù)耗時(shí)很長(zhǎng)，后面的任務(wù)都必須排隊(duì)等著，會(huì)拖延整個(gè)程序的執(zhí)行。常見(jiàn)的瀏覽器無(wú)響應(yīng)（假死），往往就是因?yàn)槟骋欢?JavaScript 代碼長(zhǎng)時(shí)間運(yùn)行（比如死循環(huán)），導(dǎo)致整個(gè)頁(yè)面卡在這個(gè)地方，其他任務(wù)無(wú)法執(zhí)行。

JavaScript 語(yǔ)言本身并不慢，慢的是讀寫(xiě)外部數(shù)據(jù)，比如等待 Ajax 請(qǐng)求返回結(jié)果。這個(gè)時(shí)候，如果對(duì)方服務(wù)器遲遲沒(méi)有響應(yīng)，或者網(wǎng)絡(luò)不通暢，就會(huì)導(dǎo)致腳本的長(zhǎng)時(shí)間停滯。

為了解決這個(gè)問(wèn)題，Javascript 語(yǔ)言將任務(wù)的執(zhí)行模式分成兩種：同步（Synchronous）和異步（Asynchronous）?！巴侥Ｊ健本褪莻鹘y(tǒng)做法，后一個(gè)任務(wù)等待前一個(gè)任務(wù)結(jié)束，然后再執(zhí)行，程序的執(zhí)行順序與任務(wù)的排列順序是一致的、同步的。這往往用于一些簡(jiǎn)單的、快速的、不涉及 IO 讀寫(xiě)的操作。

“異步模式”則完全不同，每一個(gè)任務(wù)分成兩段，第一段代碼包含對(duì)外部數(shù)據(jù)的請(qǐng)求，第二段代碼被寫(xiě)成一個(gè)回調(diào)函數(shù)，包含了對(duì)外部數(shù)據(jù)的處理。第一段代碼執(zhí)行完，不是立刻執(zhí)行第二段代碼，而是將程序的執(zhí)行權(quán)交給第二個(gè)任務(wù)。等到外部數(shù)據(jù)返回了，再由系統(tǒng)通知執(zhí)行第二段代碼。所以，程序的執(zhí)行順序與任務(wù)的排列順序是不一致的、異步的。

以下總結(jié)了”異步模式”編程的幾種方法，理解它們可以讓你寫(xiě)出結(jié)構(gòu)更合理、性能更出色、維護(hù)更方便的 JavaScript 程序。

回調(diào)函數(shù)

回調(diào)函數(shù)是異步編程最基本的方法。

假定有兩個(gè)函數(shù)f1和f2，后者必須等到前者執(zhí)行完成，才能執(zhí)行。這時(shí)，可以考慮改寫(xiě)f1，把f2寫(xiě)成f1的回調(diào)函數(shù)。

function f1(callback) {
  // f1 的代碼

  // f1 執(zhí)行完成后，調(diào)用回調(diào)函數(shù)
  callback();
}

執(zhí)行代碼就變成下面這樣。

f1(f2);

回調(diào)函數(shù)的優(yōu)點(diǎn)是簡(jiǎn)單、容易理解和部署，缺點(diǎn)是不利于代碼的閱讀和維護(hù)，各個(gè)部分之間高度耦合（Coupling），使得程序結(jié)構(gòu)混亂、流程難以追蹤（尤其是回調(diào)函數(shù)嵌套的情況），而且每個(gè)任務(wù)只能指定一個(gè)回調(diào)函數(shù)。

事件監(jiān)聽(tīng)

另一種思路是采用事件驅(qū)動(dòng)模式。任務(wù)的執(zhí)行不取決于代碼的順序，而取決于某個(gè)事件是否發(fā)生。

還是以f1和f2為例。首先，為f1綁定一個(gè)事件（這里采用的jQuery的寫(xiě)法）。

f1.on('done', f2);

上面這行代碼的意思是，當(dāng)f1發(fā)生done事件，就執(zhí)行f2。然后，對(duì)f1進(jìn)行改寫(xiě)：

function f1(){
  setTimeout(function () {
    // f1的任務(wù)代碼
    f1.trigger('done');
  }, 1000);
}

上面代碼中，f1.trigger('done')表示，執(zhí)行完成后，立即觸發(fā)done事件，從而開(kāi)始執(zhí)行f2。

這種方法的優(yōu)點(diǎn)是比較容易理解，可以綁定多個(gè)事件，每個(gè)事件可以指定多個(gè)回調(diào)函數(shù)，而且可以”去耦合“（Decoupling），有利于實(shí)現(xiàn)模塊化。缺點(diǎn)是整個(gè)程序都要變成事件驅(qū)動(dòng)型，運(yùn)行流程會(huì)變得很不清晰。

發(fā)布/訂閱

“事件”完全可以理解成”信號(hào)”，如果存在一個(gè)”信號(hào)中心”，某個(gè)任務(wù)執(zhí)行完成，就向信號(hào)中心”發(fā)布”（publish）一個(gè)信號(hào)，其他任務(wù)可以向信號(hào)中心”訂閱”（subscribe）這個(gè)信號(hào)，從而知道什么時(shí)候自己可以開(kāi)始執(zhí)行。這就叫做”發(fā)布/訂閱模式“（publish-subscribe pattern），又稱”觀察者模式“（observer pattern）。

這個(gè)模式有多種實(shí)現(xiàn)，下面采用的是Ben Alman的Tiny Pub/Sub，這是jQuery的一個(gè)插件。

首先，f2向”信號(hào)中心”jQuery訂閱”done”信號(hào)。

jQuery.subscribe("done", f2);

然后，f1進(jìn)行如下改寫(xiě)：

function f1(){
	setTimeout(function () {
		// f1的任務(wù)代碼
		jQuery.publish("done");
	}, 1000);
}

jQuery.publish(“done”)的意思是，f1執(zhí)行完成后，向”信號(hào)中心”jQuery發(fā)布”done”信號(hào)，從而引發(fā)f2的執(zhí)行。

f2完成執(zhí)行后，也可以取消訂閱（unsubscribe）。

jQuery.unsubscribe("done", f2);

這種方法的性質(zhì)與”事件監(jiān)聽(tīng)”類似，但是明顯優(yōu)于后者。因?yàn)槲覀兛梢酝ㄟ^(guò)查看”消息中心”，了解存在多少信號(hào)、每個(gè)信號(hào)有多少訂閱者，從而監(jiān)控程序的運(yùn)行。

如果有多個(gè)異步操作，就存在一個(gè)流程控制的問(wèn)題：確定操作執(zhí)行的順序，以后如何保證遵守這種順序。

function async(arg, callback) {
  console.log('參數(shù)為 ' + arg +' , 1秒后返回結(jié)果');
  setTimeout(function() { callback(arg * 2); }, 1000);
}

上面代碼的async函數(shù)是一個(gè)異步任務(wù)，非常耗時(shí)，每次執(zhí)行需要1秒才能完成，然后再調(diào)用回調(diào)函數(shù)。

如果有6個(gè)這樣的異步任務(wù)，需要全部完成后，才能執(zhí)行下一步的final函數(shù)。

function final(value) {
  console.log('完成: ', value);
}

請(qǐng)問(wèn)應(yīng)該如何安排操作流程？

async(1, function(value){
  async(value, function(value){
    async(value, function(value){
      async(value, function(value){
        async(value, function(value){
          async(value, final);
        });
      });
    });
  });
});

上面代碼采用6個(gè)回調(diào)函數(shù)的嵌套，不僅寫(xiě)起來(lái)麻煩，容易出錯(cuò)，而且難以維護(hù)。

串行執(zhí)行

我們可以編寫(xiě)一個(gè)流程控制函數(shù)，讓它來(lái)控制異步任務(wù)，一個(gè)任務(wù)完成以后，再執(zhí)行另一個(gè)。這就叫串行執(zhí)行。

var items = [ 1, 2, 3, 4, 5, 6 ];
var results = [];
function series(item) {
  if(item) {
    async( item, function(result) {
      results.push(result);
      return series(items.shift());
    });
  } else {
    return final(results);
  }
}
series(items.shift());

上面代碼中，函數(shù)series就是串行函數(shù)，它會(huì)依次執(zhí)行異步任務(wù)，所有任務(wù)都完成后，才會(huì)執(zhí)行final函數(shù)。items數(shù)組保存每一個(gè)異步任務(wù)的參數(shù)，results數(shù)組保存每一個(gè)異步任務(wù)的運(yùn)行結(jié)果。

并行執(zhí)行

流程控制函數(shù)也可以是并行執(zhí)行，即所有異步任務(wù)同時(shí)執(zhí)行，等到全部完成以后，才執(zhí)行final函數(shù)。

var items = [ 1, 2, 3, 4, 5, 6 ];
var results = [];

items.forEach(function(item) {
  async(item, function(result){
    results.push(result);
    if(results.length == items.length) {
      final(results);
    }
  })
});

上面代碼中，forEach方法會(huì)同時(shí)發(fā)起6個(gè)異步任務(wù)，等到它們?nèi)客瓿梢院螅艜?huì)執(zhí)行final函數(shù)。

并行執(zhí)行的好處是效率較高，比起串行執(zhí)行一次只能執(zhí)行一個(gè)任務(wù)，較為節(jié)約時(shí)間。但是問(wèn)題在于如果并行的任務(wù)較多，很容易耗盡系統(tǒng)資源，拖慢運(yùn)行速度。因此有了第三種流程控制方式。

并行與串行的結(jié)合

所謂并行與串行的結(jié)合，就是設(shè)置一個(gè)門檻，每次最多只能并行執(zhí)行n個(gè)異步任務(wù)。這樣就避免了過(guò)分占用系統(tǒng)資源。

var items = [ 1, 2, 3, 4, 5, 6 ];
var results = [];
var running = 0;
var limit = 2;

function launcher() {
  while(running < limit && items.length > 0) {
    var item = items.shift();
    async(item, function(result) {
      results.push(result);
      running--;
      if(items.length > 0) {
        launcher();
      } else if(running == 0) {
        final();
      }
    });
    running++;
  }
}

launcher();

上面代碼中，最多只能同時(shí)運(yùn)行兩個(gè)異步任務(wù)。變量running記錄當(dāng)前正在運(yùn)行的任務(wù)數(shù)，只要低于門檻值，就再啟動(dòng)一個(gè)新的任務(wù)，如果等于0，就表示所有任務(wù)都執(zhí)行完了，這時(shí)就執(zhí)行final函數(shù)。

簡(jiǎn)介

Promise對(duì)象是CommonJS工作組提出的一種規(guī)范，目的是為異步操作提供統(tǒng)一接口。

那么，什么是Promises？

首先，它是一個(gè)對(duì)象，也就是說(shuō)與其他JavaScript對(duì)象的用法，沒(méi)有什么兩樣；其次，它起到代理作用（proxy），充當(dāng)異步操作與回調(diào)函數(shù)之間的中介。它使得異步操作具備同步操作的接口，使得程序具備正常的同步運(yùn)行的流程，回調(diào)函數(shù)不必再一層層嵌套。

簡(jiǎn)單說(shuō)，它的思想是，每一個(gè)異步任務(wù)立刻返回一個(gè)Promise對(duì)象，由于是立刻返回，所以可以采用同步操作的流程。這個(gè)Promises對(duì)象有一個(gè)then方法，允許指定回調(diào)函數(shù)，在異步任務(wù)完成后調(diào)用。

比如，異步操作f1返回一個(gè)Promise對(duì)象，它的回調(diào)函數(shù)f2寫(xiě)法如下。

(new Promise(f1)).then(f2);

這種寫(xiě)法對(duì)于多層嵌套的回調(diào)函數(shù)尤其方便。

// 傳統(tǒng)寫(xiě)法
step1(function (value1) {
  step2(value1, function(value2) {
    step3(value2, function(value3) {
      step4(value3, function(value4) {
        // ...
      });
    });
  });
});

// Promises的寫(xiě)法
(new Promise(step1))
  .then(step2)
  .then(step3)
  .then(step4);

從上面代碼可以看到，采用Promises接口以后，程序流程變得非常清楚，十分易讀。

注意，為了便于理解，上面代碼的Promise對(duì)象的生成格式，做了簡(jiǎn)化，真正的語(yǔ)法請(qǐng)參照下文。

總的來(lái)說(shuō)，傳統(tǒng)的回調(diào)函數(shù)寫(xiě)法使得代碼混成一團(tuán)，變得橫向發(fā)展而不是向下發(fā)展。Promises規(guī)范就是為了解決這個(gè)問(wèn)題而提出的，目標(biāo)是使用正常的程序流程（同步），來(lái)處理異步操作。它先返回一個(gè)Promise對(duì)象，后面的操作以同步的方式，寄存在這個(gè)對(duì)象上面。等到異步操作有了結(jié)果，再執(zhí)行前期寄放在它上面的其他操作。

Promises原本只是社區(qū)提出的一個(gè)構(gòu)想，一些外部函數(shù)庫(kù)率先實(shí)現(xiàn)了這個(gè)功能。ECMAScript 6將其寫(xiě)入語(yǔ)言標(biāo)準(zhǔn)，因此目前JavaScript語(yǔ)言原生支持Promise對(duì)象。

Promise接口

前面說(shuō)過(guò)，Promise接口的基本思想是，異步任務(wù)返回一個(gè)Promise對(duì)象。

Promise對(duì)象只有三種狀態(tài)。

• 異步操作“未完成”（pending）
• 異步操作“已完成”（resolved，又稱fulfilled）
• 異步操作“失敗”（rejected）

這三種的狀態(tài)的變化途徑只有兩種。

• 異步操作從“未完成”到“已完成”
• 異步操作從“未完成”到“失敗”。

這種變化只能發(fā)生一次，一旦當(dāng)前狀態(tài)變?yōu)椤耙淹瓿伞被颉笆　?，就意味著不?huì)再有新的狀態(tài)變化了。因此，Promise對(duì)象的最終結(jié)果只有兩種。

• 異步操作成功，Promise對(duì)象傳回一個(gè)值，狀態(tài)變?yōu)?code class="highlighter-rouge">resolved。
• 異步操作失敗，Promise對(duì)象拋出一個(gè)錯(cuò)誤，狀態(tài)變?yōu)?code class="highlighter-rouge">rejected。

Promise對(duì)象使用then方法添加回調(diào)函數(shù)。then方法可以接受兩個(gè)回調(diào)函數(shù)，第一個(gè)是異步操作成功時(shí)（變?yōu)?code class="highlighter-rouge">resolved狀態(tài)）時(shí)的回調(diào)函數(shù)，第二個(gè)是異步操作失敗（變?yōu)?code class="highlighter-rouge">rejected）時(shí)的回調(diào)函數(shù)（可以省略）。一旦狀態(tài)改變，就調(diào)用相應(yīng)的回調(diào)函數(shù)。

// po是一個(gè)Promise對(duì)象
po.then(
  console.log,
  console.error
);

上面代碼中，Promise對(duì)象po使用then方法綁定兩個(gè)回調(diào)函數(shù)：操作成功時(shí)的回調(diào)函數(shù)console.log，操作失敗時(shí)的回調(diào)函數(shù)console.error（可以省略）。這兩個(gè)函數(shù)都接受異步操作傳回的值作為參數(shù)。

then方法可以鏈?zhǔn)绞褂谩?/p>

po
  .then(step1)
  .then(step2)
  .then(step3)
  .then(
    console.log,
    console.error
  );

上面代碼中，po的狀態(tài)一旦變?yōu)?code class="highlighter-rouge">resolved，就依次調(diào)用后面每一個(gè)then指定的回調(diào)函數(shù)，每一步都必須等到前一步完成，才會(huì)執(zhí)行。最后一個(gè)then方法的回調(diào)函數(shù)console.log和console.error，用法上有一點(diǎn)重要的區(qū)別。console.log只顯示回調(diào)函數(shù)step3的返回值，而console.error可以顯示step1、step2、step3之中任意一個(gè)發(fā)生的錯(cuò)誤。也就是說(shuō)，假定step1操作失敗，拋出一個(gè)錯(cuò)誤，這時(shí)step2和step3都不會(huì)再執(zhí)行了（因?yàn)樗鼈兪遣僮鞒晒Φ幕卣{(diào)函數(shù)，而不是操作失敗的回調(diào)函數(shù)）。Promises對(duì)象開(kāi)始尋找，接下來(lái)第一個(gè)操作失敗時(shí)的回調(diào)函數(shù)，在上面代碼中是console.error。這就是說(shuō)，Promises對(duì)象的錯(cuò)誤有傳遞性。

從同步的角度看，上面的代碼大致等同于下面的形式。

try {
  var v1 = step1(po);
  var v2 = step2(v1);
  var v3 = step3(v2);
  console.log(v3);
} catch (error) {
  console.error(error);
}

Promise對(duì)象的生成

ES6提供了原生的Promise構(gòu)造函數(shù)，用來(lái)生成Promise實(shí)例。

下面代碼創(chuàng)造了一個(gè)Promise實(shí)例。

var promise = new Promise(function(resolve, reject) {
  // 異步操作的代碼

  if (/* 異步操作成功 */){
    resolve(value);
  } else {
    reject(error);
  }
});

Promise構(gòu)造函數(shù)接受一個(gè)函數(shù)作為參數(shù)，該函數(shù)的兩個(gè)參數(shù)分別是resolve和reject。它們是兩個(gè)函數(shù)，由JavaScript引擎提供，不用自己部署。

resolve函數(shù)的作用是，將Promise對(duì)象的狀態(tài)從“未完成”變?yōu)椤俺晒Α保磸?code class="highlighter-rouge">Pending變?yōu)?code class="highlighter-rouge">Resolved），在異步操作成功時(shí)調(diào)用，并將異步操作的結(jié)果，作為參數(shù)傳遞出去；reject函數(shù)的作用是，將Promise對(duì)象的狀態(tài)從“未完成”變?yōu)椤笆　保磸?code class="highlighter-rouge">Pending變?yōu)?code class="highlighter-rouge">Rejected），在異步操作失敗時(shí)調(diào)用，并將異步操作報(bào)出的錯(cuò)誤，作為參數(shù)傳遞出去。

Promise實(shí)例生成以后，可以用then方法分別指定Resolved狀態(tài)和Reject狀態(tài)的回調(diào)函數(shù)。

po.then(function(value) {
  // success
}, function(value) {
  // failure
});

用法辨析

Promise的用法，簡(jiǎn)單說(shuō)就是一句話：使用then方法添加回調(diào)函數(shù)。但是，不同的寫(xiě)法有一些細(xì)微的差別，請(qǐng)看下面四種寫(xiě)法，它們的差別在哪里？

// 寫(xiě)法一
doSomething().then(function () {
  return doSomethingElse();
});

// 寫(xiě)法二
doSomething().then(function () {
  doSomethingElse();
});

// 寫(xiě)法三
doSomething().then(doSomethingElse());

// 寫(xiě)法四
doSomething().then(doSomethingElse);

為了便于講解，下面這四種寫(xiě)法都再用then方法接一個(gè)回調(diào)函數(shù)finalHandler。寫(xiě)法一的finalHandler回調(diào)函數(shù)的參數(shù)，是doSomethingElse函數(shù)的運(yùn)行結(jié)果。

doSomething().then(function () {
  return doSomethingElse();
}).then(finalHandler);

寫(xiě)法二的finalHandler回調(diào)函數(shù)的參數(shù)是undefined。

doSomething().then(function () {
  doSomethingElse();
  return;
}).then(finalHandler);

寫(xiě)法三的finalHandler回調(diào)函數(shù)的參數(shù)，是doSomethingElse函數(shù)返回的回調(diào)函數(shù)的運(yùn)行結(jié)果。

doSomething().then(doSomethingElse())
  .then(finalHandler);

寫(xiě)法四與寫(xiě)法一只有一個(gè)差別，那就是doSomethingElse會(huì)接收到doSomething()返回的結(jié)果。

doSomething().then(doSomethingElse)
  .then(finalHandler);

加載圖片

我們可以把圖片的加載寫(xiě)成一個(gè)Promise對(duì)象。

var preloadImage = function (path) {
  return new Promise(function (resolve, reject) {
    var image = new Image();
    image.onload  = resolve;
    image.onerror = reject;
    image.src = path;
  });
};

Ajax操作

Ajax操作是典型的異步操作，傳統(tǒng)上往往寫(xiě)成下面這樣。

function search(term, onload, onerror) {
  var xhr, results, url;
  url = 'http://example.com/search?q=' + term;

  xhr = new XMLHttpRequest();
  xhr.open('GET', url, true);

  xhr.onload = function (e) {
    if (this.status === 200) {
      results = JSON.parse(this.responseText);
      onload(results);
    }
  };
  xhr.onerror = function (e) {
    onerror(e);
  };

  xhr.send();
}

search("Hello World", console.log, console.error);

如果使用Promise對(duì)象，就可以寫(xiě)成下面這樣。

function search(term) {
  var url = 'http://example.com/search?q=' + term;
  var xhr = new XMLHttpRequest();
  var result;

  var p = new Promise(function (resolve, reject) {
    xhr.open('GET', url, true);
    xhr.onload = function (e) {
      if (this.status === 200) {
        result = JSON.parse(this.responseText);
        resolve(result);
      }
    };
    xhr.onerror = function (e) {
      reject(e);
    };
    xhr.send();
  });

  return p;
}

search("Hello World").then(console.log, console.error);

加載圖片的例子，也可以用Ajax操作完成。

function imgLoad(url) {
  return new Promise(function(resolve, reject) {
    var request = new XMLHttpRequest();
    request.open('GET', url);
    request.responseType = 'blob';
    request.onload = function() {
      if (request.status === 200) {
        resolve(request.response);
      } else {
        reject(new Error('圖片加載失敗：' + request.statusText));
      }
    };
    request.onerror = function() {
      reject(new Error('發(fā)生網(wǎng)絡(luò)錯(cuò)誤'));
    };
    request.send();
  });
}

小結(jié)

Promise對(duì)象的優(yōu)點(diǎn)在于，讓回調(diào)函數(shù)變成了規(guī)范的鏈?zhǔn)綄?xiě)法，程序流程可以看得很清楚。它的一整套接口，可以實(shí)現(xiàn)許多強(qiáng)大的功能，比如為多個(gè)異步操作部署一個(gè)回調(diào)函數(shù)、為多個(gè)回調(diào)函數(shù)中拋出的錯(cuò)誤統(tǒng)一指定處理方法等等。

而且，它還有一個(gè)前面三種方法都沒(méi)有的好處：如果一個(gè)任務(wù)已經(jīng)完成，再添加回調(diào)函數(shù)，該回調(diào)函數(shù)會(huì)立即執(zhí)行。所以，你不用擔(dān)心是否錯(cuò)過(guò)了某個(gè)事件或信號(hào)。這種方法的缺點(diǎn)就是，編寫(xiě)和理解都相對(duì)比較難。

• Sebastian Porto, Asynchronous JS: Callbacks, Listeners, Control Flow Libs and Promises
• Rhys Brett-Bowen, Promises/A+ - understanding the spec through implementation
• Matt Podwysocki, Amanda Silver, Asynchronous Programming in JavaScript with “Promises”
• Marc Harter, Promise A+ Implementation
• Bryan Klimt, What’s so great about JavaScript Promises?
• Jake Archibald, JavaScript Promises There and back again
• Mikito Takada, 7. Control flow, Mixu’s Node book