Promise 物件

Promise 的含義

Promise 是非同步程式設計的一種解決方案,比傳統的解決方案——回呼函式和事件——更合理和更強大。它由社群最早提出和實現,ES6將其寫進了語言標準,統一了用法,原生提供了Promise物件。

所謂Promise,簡單說就是一個容器,裡面儲存著某個未來才會結束的事件(通常是一個非同步操作)的結果。從語法上說,Promise 是一個物件,從它可以獲取非同步操作的訊息。Promise 提供統一的 API,各種非同步操作都可以用同樣的方法進行處理。

Promise物件有以下兩個特點。

(1)物件的狀態不受外界影響。Promise物件代表一個非同步操作,有三種狀態:Pending(進行中)、Resolved(已完成,又稱 Fulfilled)和Rejected(已失敗)。只有非同步操作的結果,可以決定當前是哪一種狀態,任何其他操作都無法改變這個狀態。這也是Promise這個名字的由來,它的英語意思就是“承諾”,表示其他手段無法改變。

(2)一旦狀態改變,就不會再變,任何時候都可以得到這個結果。Promise物件的狀態改變,只有兩種可能:從Pending變為Resolved和從Pending變為Rejected。只要這兩種情況發生,狀態就凝固了,不會再變了,會一直保持這個結果。如果改變已經發生了,你再對Promise物件添加回調函式,也會立即得到這個結果。這與事件(Event)完全不同,事件的特點是,如果你錯過了它,再去監聽,是得不到結果的。

有了Promise物件,就可以將非同步操作以同步操作的流程表達出來,避免了層層巢狀的回呼函式。此外,Promise物件提供統一的介面,使得控制非同步操作更加容易。

Promise也有一些缺點。首先,無法取消Promise,一旦新建它就會立即執行,無法中途取消。其次,如果不設定回呼函式,Promise內部丟擲的錯誤,不會反應到外部。第三,當處於Pending狀態時,無法得知目前進展到哪一個階段(剛剛開始還是即將完成)。

如果某些事件不斷地反覆發生,一般來說,使用 stream 模式是比部署Promise更好的選擇。

基本用法

ES6規定,Promise物件是一個建構函式,用來生成Promise實例。

下面程式碼創造了一個Promise實例。

var promise = new Promise(function(resolve, reject) {
  // ... some code

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

Promise建構函式接受一個函式作為引數,該函式的兩個引數分別是resolvereject。它們是兩個函式,由JavaScript引擎提供,不用自己部署。

resolve函式的作用是,將Promise物件的狀態從“未完成”變為“成功”(即從Pending變為Resolved),在非同步操作成功時呼叫,並將非同步操作的結果,作為引數傳遞出去;reject函式的作用是,將Promise物件的狀態從“未完成”變為“失敗”(即從Pending變為Rejected),在非同步操作失敗時呼叫,並將非同步操作報出的錯誤,作為引數傳遞出去。

Promise實例生成以後,可以用then方法分別指定Resolved狀態和Reject狀態的回呼函式。

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

then方法可以接受兩個回呼函式作為引數。第一個回呼函式是Promise物件的狀態變為Resolved時呼叫,第二個回呼函式是Promise物件的狀態變為Reject時呼叫。其中,第二個函式是可選的,不一定要提供。這兩個函式都接受Promise物件傳出的值作為引數。

下面是一個Promise物件的簡單例子。

function timeout(ms) {
  return new Promise((resolve, reject) => {
    setTimeout(resolve, ms, 'done');
  });
}

timeout(100).then((value) => {
  console.log(value);
});

上面程式碼中,timeout方法返回一個Promise實例,表示一段時間以後才會發生的結果。過了指定的時間(ms引數)以後,Promise實例的狀態變為Resolved,就會觸發then方法繫結的回呼函式。

Promise新建後就會立即執行。

let promise = new Promise(function(resolve, reject) {
  console.log('Promise');
  resolve();
});

promise.then(function() {
  console.log('Resolved.');
});

console.log('Hi!');

// Promise
// Hi!
// Resolved

上面程式碼中,Promise新建後立即執行,所以首先輸出的是“Promise”。然後,then方法指定的回呼函式,將在當前指令碼所有同步任務執行完才會執行,所以“Resolved”最後輸出。

下面是非同步載入圖片的例子。

function loadImageAsync(url) {
  return new Promise(function(resolve, reject) {
    var image = new Image();

    image.onload = function() {
      resolve(image);
    };

    image.onerror = function() {
      reject(new Error('Could not load image at ' + url));
    };

    image.src = url;
  });
}

上面程式碼中,使用Promise包裝了一個圖片載入的非同步操作。如果載入成功,就呼叫resolve方法,否則就呼叫reject方法。

下面是一個用Promise物件實現的Ajax操作的例子。

var getJSON = function(url) {
  var promise = new Promise(function(resolve, reject){
    var client = new XMLHttpRequest();
    client.open("GET", url);
    client.onreadystatechange = handler;
    client.responseType = "json";
    client.setRequestHeader("Accept", "application/json");
    client.send();

    function handler() {
      if (this.readyState !== 4) {
        return;
      }
      if (this.status === 200) {
        resolve(this.response);
      } else {
        reject(new Error(this.statusText));
      }
    };
  });

  return promise;
};

getJSON("/posts.json").then(function(json) {
  console.log('Contents: ' + json);
}, function(error) {
  console.error('出錯了', error);
});

上面程式碼中,getJSON是對XMLHttpRequest物件的封裝,用於發出一個針對JSON資料的HTTP請求,並且返回一個Promise物件。需要注意的是,在getJSON內部,resolve函式和reject函式呼叫時,都帶有引數。

如果呼叫resolve函式和reject函式時帶有引數,那麼它們的引數會被傳遞給回呼函式。reject函式的引數通常是Error物件的實例,表示丟擲的錯誤;resolve函式的引數除了正常的值以外,還可能是另一個Promise實例,表示非同步操作的結果有可能是一個值,也有可能是另一個非同步操作,比如像下面這樣。

var p1 = new Promise(function (resolve, reject) {
  // ...
});

var p2 = new Promise(function (resolve, reject) {
  // ...
  resolve(p1);
})

上面程式碼中,p1p2都是Promise的實例,但是p2resolve方法將p1作為引數,即一個非同步操作的結果是返回另一個非同步操作。

注意,這時p1的狀態就會傳遞給p2,也就是說,p1的狀態決定了p2的狀態。如果p1的狀態是Pending,那麼p2的回呼函式就會等待p1的狀態改變;如果p1的狀態已經是Resolved或者Rejected,那麼p2的回呼函式將會立刻執行。

var p1 = new Promise(function (resolve, reject) {
  setTimeout(() => reject(new Error('fail')), 3000)
})

var p2 = new Promise(function (resolve, reject) {
  setTimeout(() => resolve(p1), 1000)
})

p2
  .then(result => console.log(result))
  .catch(error => console.log(error))
// Error: fail

上面程式碼中,p1是一個Promise,3秒之後變為rejectedp2的狀態在1秒之後改變,resolve方法返回的是p1。由於p2返回的是另一個 Promise,導致p2自己的狀態無效了,由p1的狀態決定p2的狀態。所以,後面的then語句都變成針對後者(p1)。又過了2秒,p1變為rejected,導致觸發catch方法指定的回呼函式。

Promise.prototype.then()

Promise實例具有then方法,也就是說,then方法是定義在原型物件Promise.prototype上的。它的作用是為Promise實例新增狀態改變時的回呼函式。前面說過,then方法的第一個引數是Resolved狀態的回呼函式,第二個引數(可選)是Rejected狀態的回呼函式。

then方法返回的是一個新的Promise實例(注意,不是原來那個Promise實例)。因此可以採用鏈式寫法,即then方法後面再呼叫另一個then方法。

getJSON("/posts.json").then(function(json) {
  return json.post;
}).then(function(post) {
  // ...
});

上面的程式碼使用then方法,依次指定了兩個回呼函式。第一個回呼函式完成以後,會將返回結果作為引數,傳入第二個回呼函式。

採用鏈式的then,可以指定一組按照次序呼叫的回呼函式。這時,前一個回呼函式,有可能返回的還是一個Promise物件(即有非同步操作),這時後一個回呼函式,就會等待該Promise物件的狀態發生變化,才會被呼叫。

getJSON("/post/1.json").then(function(post) {
  return getJSON(post.commentURL);
}).then(function funcA(comments) {
  console.log("Resolved: ", comments);
}, function funcB(err){
  console.log("Rejected: ", err);
});

上面程式碼中,第一個then方法指定的回呼函式,返回的是另一個Promise物件。這時,第二個then方法指定的回呼函式,就會等待這個新的Promise物件狀態發生變化。如果變為Resolved,就呼叫funcA,如果狀態變為Rejected,就呼叫funcB

如果採用箭頭函式,上面的程式碼可以寫得更簡潔。

getJSON("/post/1.json").then(
  post => getJSON(post.commentURL)
).then(
  comments => console.log("Resolved: ", comments),
  err => console.log("Rejected: ", err)
);

Promise.prototype.catch()

Promise.prototype.catch方法是.then(null, rejection)的別名,用於指定發生錯誤時的回呼函式。

getJSON('/posts.json').then(function(posts) {
  // ...
}).catch(function(error) {
  // 處理 getJSON 和 前一個回呼函式執行時發生的錯誤
  console.log('發生錯誤!', error);
});

上面程式碼中,getJSON方法返回一個 Promise 物件,如果該物件狀態變為Resolved,則會呼叫then方法指定的回呼函式;如果非同步操作丟擲錯誤,狀態就會變為Rejected,就會呼叫catch方法指定的回呼函式,處理這個錯誤。另外,then方法指定的回呼函式,如果執行中丟擲錯誤,也會被catch方法捕獲。

p.then((val) => console.log('fulfilled:', val))
  .catch((err) => console.log('rejected', err));

// 等同於
p.then((val) => console.log('fulfilled:', val))
  .then(null, (err) => console.log("rejected:", err));

下面是一個例子。

var promise = new Promise(function(resolve, reject) {
  throw new Error('test');
});
promise.catch(function(error) {
  console.log(error);
});
// Error: test

上面程式碼中,promise丟擲一個錯誤,就被catch方法指定的回呼函式捕獲。注意,上面的寫法與下面兩種寫法是等價的。

// 寫法一
var promise = new Promise(function(resolve, reject) {
  try {
    throw new Error('test');
  } catch(e) {
    reject(e);
  }
});
promise.catch(function(error) {
  console.log(error);
});

// 寫法二
var promise = new Promise(function(resolve, reject) {
  reject(new Error('test'));
});
promise.catch(function(error) {
  console.log(error);
});

比較上面兩種寫法,可以發現reject方法的作用,等同於丟擲錯誤。

如果Promise狀態已經變成Resolved,再丟擲錯誤是無效的。

var promise = new Promise(function(resolve, reject) {
  resolve('ok');
  throw new Error('test');
});
promise
  .then(function(value) { console.log(value) })
  .catch(function(error) { console.log(error) });
// ok

上面程式碼中,Promise 在resolve語句後面,再丟擲錯誤,不會被捕獲,等於沒有丟擲。因為 Promise 的狀態一旦改變,就永久保持該狀態,不會再變了。

Promise 物件的錯誤具有“冒泡”性質,會一直向後傳遞,直到被捕獲為止。也就是說,錯誤總是會被下一個catch語句捕獲。

getJSON('/post/1.json').then(function(post) {
  return getJSON(post.commentURL);
}).then(function(comments) {
  // some code
}).catch(function(error) {
  // 處理前面三個Promise產生的錯誤
});

上面程式碼中,一共有三個Promise物件:一個由getJSON產生,兩個由then產生。它們之中任何一個丟擲的錯誤,都會被最後一個catch捕獲。

一般來說,不要在then方法裡面定義Reject狀態的回呼函式(即then的第二個引數),總是使用catch方法。

// bad
promise
  .then(function(data) {
    // success
  }, function(err) {
    // error
  });

// good
promise
  .then(function(data) { //cb
    // success
  })
  .catch(function(err) {
    // error
  });

上面程式碼中,第二種寫法要好於第一種寫法,理由是第二種寫法可以捕獲前面then方法執行中的錯誤,也更接近同步的寫法(try/catch)。因此,建議總是使用catch方法,而不使用then方法的第二個引數。

跟傳統的try/catch程式碼塊不同的是,如果沒有使用catch方法指定錯誤處理的回呼函式,Promise物件丟擲的錯誤不會傳遞到外層程式碼,即不會有任何反應。

var someAsyncThing = function() {
  return new Promise(function(resolve, reject) {
    // 下面一行會報錯,因為x沒有宣告
    resolve(x + 2);
  });
};

someAsyncThing().then(function() {
  console.log('everything is great');
});

上面程式碼中,someAsyncThing函式產生的Promise物件會報錯,但是由於沒有指定catch方法,這個錯誤不會被捕獲,也不會傳遞到外層程式碼,導致執行後沒有任何輸出。注意,Chrome瀏覽器不遵守這條規定,它會丟擲錯誤“ReferenceError: x is not defined”。

var promise = new Promise(function(resolve, reject) {
  resolve('ok');
  setTimeout(function() { throw new Error('test') }, 0)
});
promise.then(function(value) { console.log(value) });
// ok
// Uncaught Error: test

上面程式碼中,Promise 指定在下一輪“事件迴圈”再丟擲錯誤,結果由於沒有指定使用try...catch語句,就冒泡到最外層,成了未捕獲的錯誤。因為此時,Promise的函式體已經執行結束了,所以這個錯誤是在Promise函式體外丟擲的。

Node 有一個unhandledRejection事件,專門監聽未捕獲的reject錯誤。

process.on('unhandledRejection', function (err, p) {
  console.error(err.stack)
});

上面程式碼中,unhandledRejection事件的監聽函式有兩個引數,第一個是錯誤物件,第二個是報錯的Promise實例,它可以用來了解發生錯誤的環境資訊。。

需要注意的是,catch方法返回的還是一個 Promise 物件,因此後面還可以接著呼叫then方法。

var someAsyncThing = function() {
  return new Promise(function(resolve, reject) {
    // 下面一行會報錯,因為x沒有宣告
    resolve(x + 2);
  });
};

someAsyncThing()
.catch(function(error) {
  console.log('oh no', error);
})
.then(function() {
  console.log('carry on');
});
// oh no [ReferenceError: x is not defined]
// carry on

上面程式碼執行完catch方法指定的回呼函式,會接著執行後面那個then方法指定的回呼函式。如果沒有報錯,則會跳過catch方法。

Promise.resolve()
.catch(function(error) {
  console.log('oh no', error);
})
.then(function() {
  console.log('carry on');
});
// carry on

上面的程式碼因為沒有報錯,跳過了catch方法,直接執行後面的then方法。此時,要是then方法裡面報錯,就與前面的catch無關了。

catch方法之中,還能再丟擲錯誤。

var someAsyncThing = function() {
  return new Promise(function(resolve, reject) {
    // 下面一行會報錯,因為x沒有宣告
    resolve(x + 2);
  });
};

someAsyncThing().then(function() {
  return someOtherAsyncThing();
}).catch(function(error) {
  console.log('oh no', error);
  // 下面一行會報錯,因為y沒有宣告
  y + 2;
}).then(function() {
  console.log('carry on');
});
// oh no [ReferenceError: x is not defined]

上面程式碼中,catch方法丟擲一個錯誤,因為後面沒有別的catch方法了,導致這個錯誤不會被捕獲,也不會傳遞到外層。如果改寫一下,結果就不一樣了。

someAsyncThing().then(function() {
  return someOtherAsyncThing();
}).catch(function(error) {
  console.log('oh no', error);
  // 下面一行會報錯,因為y沒有宣告
  y + 2;
}).catch(function(error) {
  console.log('carry on', error);
});
// oh no [ReferenceError: x is not defined]
// carry on [ReferenceError: y is not defined]

上面程式碼中,第二個catch方法用來捕獲,前一個catch方法丟擲的錯誤。

Promise.all()

Promise.all方法用於將多個Promise實例,包裝成一個新的Promise實例。

var p = Promise.all([p1, p2, p3]);

上面程式碼中,Promise.all方法接受一個數組作為引數,p1p2p3都是Promise物件的實例,如果不是,就會先呼叫下面講到的Promise.resolve方法,將引數轉為Promise實例,再進一步處理。(Promise.all方法的引數可以不是陣列,但必須具有Iterator介面,且返回的每個成員都是Promise實例。)

p的狀態由p1p2p3決定,分成兩種情況。

(1)只有p1p2p3的狀態都變成fulfilledp的狀態才會變成fulfilled,此時p1p2p3的返回值組成一個數組,傳遞給p的回呼函式。

(2)只要p1p2p3之中有一個被rejectedp的狀態就變成rejected,此時第一個被reject的實例的返回值,會傳遞給p的回呼函式。

下面是一個具體的例子。

// 生成一個Promise物件的陣列
var promises = [2, 3, 5, 7, 11, 13].map(function (id) {
  return getJSON("/post/" + id + ".json");
});

Promise.all(promises).then(function (posts) {
  // ...
}).catch(function(reason){
  // ...
});

上面程式碼中,promises是包含6個Promise實例的陣列,只有這6個實例的狀態都變成fulfilled,或者其中有一個變為rejected,才會呼叫Promise.all方法後面的回呼函式。

下面是另一個例子。

const databasePromise = connectDatabase();

const booksPromise = databasePromise
  .then(findAllBooks);

const userPromise = databasePromise
  .then(getCurrentUser);

Promise.all([
  booksPromise,
  userPromise
])
.then(([books, user]) => pickTopRecommentations(books, user));

上面程式碼中,booksPromiseuserPromise是兩個非同步操作,只有等到它們的結果都返回了,才會觸發pickTopRecommentations這個回呼函式。

Promise.race()

Promise.race方法同樣是將多個Promise實例,包裝成一個新的Promise實例。

var p = Promise.race([p1, p2, p3]);

上面程式碼中,只要p1p2p3之中有一個實例率先改變狀態,p的狀態就跟著改變。那個率先改變的 Promise 實例的返回值,就傳遞給p的回呼函式。

Promise.race方法的引數與Promise.all方法一樣,如果不是 Promise 實例,就會先呼叫下面講到的Promise.resolve方法,將引數轉為 Promise 實例,再進一步處理。

下面是一個例子,如果指定時間內沒有獲得結果,就將Promise的狀態變為reject,否則變為resolve

const p = Promise.race([
  fetch('/resource-that-may-take-a-while'),
  new Promise(function (resolve, reject) {
    setTimeout(() => reject(new Error('request timeout')), 5000)
  })
]);
p.then(response => console.log(response));
p.catch(error => console.log(error));

上面程式碼中,如果5秒之內fetch方法無法返回結果,變數p的狀態就會變為rejected,從而觸發catch方法指定的回呼函式。

Promise.resolve()

有時需要將現有物件轉為Promise物件,Promise.resolve方法就起到這個作用。

var jsPromise = Promise.resolve($.ajax('/whatever.json'));

上面程式碼將jQuery生成的deferred物件,轉為一個新的Promise物件。

Promise.resolve等價於下面的寫法。

Promise.resolve('foo')
// 等價於
new Promise(resolve => resolve('foo'))

Promise.resolve方法的引數分成四種情況。

(1)引數是一個Promise實例

如果引數是Promise實例,那麼Promise.resolve將不做任何修改、原封不動地返回這個實例。

(2)引數是一個thenable物件

thenable物件指的是具有then方法的物件,比如下面這個物件。

let thenable = {
  then: function(resolve, reject) {
    resolve(42);
  }
};

Promise.resolve方法會將這個物件轉為Promise物件,然後就立即執行thenable物件的then方法。

let thenable = {
  then: function(resolve, reject) {
    resolve(42);
  }
};

let p1 = Promise.resolve(thenable);
p1.then(function(value) {
  console.log(value);  // 42
});

上面程式碼中,thenable物件的then方法執行後,物件p1的狀態就變為resolved,從而立即執行最後那個then方法指定的回呼函式,輸出42。

(3)引數不是具有then方法的物件,或根本就不是物件

如果引數是一個原始值,或者是一個不具有then方法的物件,則Promise.resolve方法返回一個新的Promise物件,狀態為Resolved

var p = Promise.resolve('Hello');

p.then(function (s){
  console.log(s)
});
// Hello

上面程式碼生成一個新的Promise物件的實例p。由於字串Hello不屬於非同步操作(判斷方法是它不是具有then方法的物件),返回Promise實例的狀態從一生成就是Resolved,所以回呼函式會立即執行。Promise.resolve方法的引數,會同時傳給回呼函式。

(4)不帶有任何引數

Promise.resolve方法允許呼叫時不帶引數,直接返回一個Resolved狀態的Promise物件。

所以,如果希望得到一個Promise物件,比較方便的方法就是直接呼叫Promise.resolve方法。

var p = Promise.resolve();

p.then(function () {
  // ...
});

上面程式碼的變數p就是一個Promise物件。

需要注意的是,立即resolve的Promise物件,是在本輪“事件迴圈”(event loop)的結束時,而不是在下一輪“事件迴圈”的開始時。

setTimeout(function () {
  console.log('three');
}, 0);

Promise.resolve().then(function () {
  console.log('two');
});

console.log('one');

// one
// two
// three

上面程式碼中,setTimeout(fn, 0)在下一輪“事件迴圈”開始時執行,Promise.resolve()在本輪“事件迴圈”結束時執行,console.log(’one‘)則是立即執行,因此最先輸出。

Promise.reject()

Promise.reject(reason)方法也會返回一個新的 Promise 實例,該實例的狀態為rejected

var p = Promise.reject('出錯了');
// 等同於
var p = new Promise((resolve, reject) => reject('出錯了'))

p.then(null, function (s) {
  console.log(s)
});
// 出錯了

上面程式碼生成一個Promise物件的實例p,狀態為rejected,回呼函式會立即執行。

注意,Promise.reject()方法的引數,會原封不動地作為reject的理由,變成後續方法的引數。這一點與Promise.resolve方法不一致。

const thenable = {
  then(resolve, reject) {
    reject('出錯了');
  }
};

Promise.reject(thenable)
.catch(e => {
  console.log(e === thenable)
})
// true

上面程式碼中,Promise.reject方法的引數是一個thenable物件,執行以後,後面catch方法的引數不是reject丟擲的“出錯了”這個字串,而是thenable物件。

兩個有用的附加方法

ES6的Promise API提供的方法不是很多,有些有用的方法可以自己部署。下面介紹如何部署兩個不在ES6之中、但很有用的方法。

done()

Promise物件的回撥鏈,不管以then方法或catch方法結尾,要是最後一個方法丟擲錯誤,都有可能無法捕捉到(因為Promise內部的錯誤不會冒泡到全域性)。因此,我們可以提供一個done方法,總是處於回撥鏈的尾端,保證丟擲任何可能出現的錯誤。

asyncFunc()
  .then(f1)
  .catch(r1)
  .then(f2)
  .done();

它的實現程式碼相當簡單。

Promise.prototype.done = function (onFulfilled, onRejected) {
  this.then(onFulfilled, onRejected)
    .catch(function (reason) {
      // 丟擲一個全域性錯誤
      setTimeout(() => { throw reason }, 0);
    });
};

從上面程式碼可見,done方法的使用,可以像then方法那樣用,提供FulfilledRejected狀態的回呼函式,也可以不提供任何引數。但不管怎樣,done都會捕捉到任何可能出現的錯誤,並向全域性丟擲。

finally()

finally方法用於指定不管Promise物件最後狀態如何,都會執行的操作。它與done方法的最大區別,它接受一個普通的回呼函式作為引數,該函式不管怎樣都必須執行。

下面是一個例子,伺服器使用Promise處理請求,然後使用finally方法關掉伺服器。

server.listen(0)
  .then(function () {
    // run test
  })
  .finally(server.stop);

它的實現也很簡單。

Promise.prototype.finally = function (callback) {
  let P = this.constructor;
  return this.then(
    value  => P.resolve(callback()).then(() => value),
    reason => P.resolve(callback()).then(() => { throw reason })
  );
};

上面程式碼中,不管前面的Promise是fulfilled還是rejected,都會執行回呼函式callback

應用

載入圖片

我們可以將圖片的載入寫成一個Promise,一旦載入完成,Promise的狀態就發生變化。

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

Generator函式與Promise的結合

使用Generator函式管理流程,遇到非同步操作的時候,通常返回一個Promise物件。

function getFoo () {
  return new Promise(function (resolve, reject){
    resolve('foo');
  });
}

var g = function* () {
  try {
    var foo = yield getFoo();
    console.log(foo);
  } catch (e) {
    console.log(e);
  }
};

function run (generator) {
  var it = generator();

  function go(result) {
    if (result.done) return result.value;

    return result.value.then(function (value) {
      return go(it.next(value));
    }, function (error) {
      return go(it.throw(error));
    });
  }

  go(it.next());
}

run(g);

上面程式碼的Generator函式g之中,有一個非同步操作getFoo,它返回的就是一個Promise物件。函式run用來處理這個Promise物件,並呼叫下一個next方法。

Promise.try()

實際開發中,經常遇到一種情況:不知道或者不想區分,函式f是同步函式還是非同步操作,但是想用 Promise 來處理它。因為這樣就可以不管f是否包含非同步操作,都用then方法指定下一步流程,用catch方法處理f丟擲的錯誤。一般就會採用下面的寫法。

Promise.resolve().then(f)

上面的寫法有一個缺點,就是如果f是同步函式,那麼它會在本輪事件迴圈的末尾執行。

const f = () => console.log('now');
Promise.resolve().then(f);
console.log('next');
// next
// now

上面程式碼中,函式f是同步的,但是用 Promise 包裝了以後,就變成非同步執行了。

那麼有沒有一種方法,讓同步函式同步執行,非同步函式非同步執行,並且讓它們具有統一的 API 呢?回答是可以的,並且還有兩種寫法。第一種寫法是用async函式來寫。

const f = () => console.log('now');
(async () => f())();
console.log('next');
// now
// next

上面程式碼中,第二行是一個立即執行的匿名函式,會立即執行裡面的async函式,因此如果f是同步的,就會得到同步的結果;如果f是非同步的,就可以用then指定下一步,就像下面的寫法。

(async () => f())()
.then(...)

需要注意的是,async () => f()會吃掉f()丟擲的錯誤。所以,如果想捕獲錯誤,要使用promise.catch方法。

(async () => f())()
.then(...)
.catch(...)

第二種寫法是使用new Promise()

const f = () => console.log('now');
(
  () => new Promise(
    resolve => resolve(f())
  )
)();
console.log('next');
// now
// next

上面程式碼也是使用立即執行的匿名函式,執行new Promise()。這種情況下,同步函式也是同步執行的。

鑑於這是一個很常見的需求,所以現在有一個提案,提供Promise.try方法替代上面的寫法。

const f = () => console.log('now');
Promise.try(f);
console.log('next');
// now
// next

事實上,Promise.try存在已久,Promise 庫BluebirdQwhen,早就提供了這個方法。

由於Promise.try為所有操作提供了統一的處理機制,所以如果想用then方法管理流程,最好都用Promise.try包裝一下。這樣有許多好處,其中一點就是可以更好地管理異常。

function getUsername(userId) {
  return database.users.get({id: userId})
  .then(function(user) {
    return user.name;
  });
}

上面程式碼中,database.users.get()返回一個 Promise 物件,如果丟擲非同步錯誤,可以用catch方法捕獲,就像下面這樣寫。

database.users.get({id: userId})
.then(...)
.catch(...)

但是database.users.get()可能還會丟擲同步錯誤(比如資料庫連線錯誤,具體要看實現方法),這時你就不得不用try...catch去捕獲。

try {
  database.users.get({id: userId})
  .then(...)
  .catch(...)
} catch (e) {
  // ...
}

上面這樣的寫法就很笨拙了,這時就可以統一用promise.catch()捕獲所有同步和非同步的錯誤。

Promise.try(database.users.get({id: userId}))
  .then(...)
  .catch(...)

事實上,Promise.try就是模擬try程式碼塊,就像promise.catch模擬的是catch程式碼塊。

results matching ""

    No results matching ""