摘要:鏈式是指在當前達到狀態(tài)后,即開始進行下一個后鄰。在中發(fā)現(xiàn)沒有指定異步操作失敗的回調(diào)時,會直接將函數(shù)返回的,后同設為狀態(tài),如此達成執(zhí)行后續(xù)失敗回調(diào)的效果。
原文鏈接
前言前一陣子記錄了promise的一些常規(guī)用法,這篇文章再深入一個層次,來分析分析promise的這種規(guī)則機制是如何實現(xiàn)的。ps:本文適合已經(jīng)對promise的用法有所了解的人閱讀,如果對其用法還不是太了解,可以移步我的上一篇博文。
本文的promise源碼是按照Promise/A+規(guī)范來編寫的(不想看英文版的移步Promise/A+規(guī)范中文翻譯)
引子為了讓大家更容易理解,我們從一個場景開始講解,讓大家一步一步跟著思路思考,相信你一定會更容易看懂。
考慮下面一種獲取用戶id的請求處理
//例1 function getUserId() { return new Promise(function(resolve) { //異步請求 http.get(url, function(results) { resolve(results.id) }) }) } getUserId().then(function(id) { //一些處理 })
getUserId方法返回一個promise,可以通過它的then方法注冊(注意注冊這個詞)在promise異步操作成功時執(zhí)行的回調(diào)。這種執(zhí)行方式,使得異步調(diào)用變得十分順手。
原理剖析那么類似這種功能的Promise怎么實現(xiàn)呢?其實按照上面一句話,實現(xiàn)一個最基礎(chǔ)的雛形還是很easy的。
極簡promise雛形function Promise(fn) { var value = null, callbacks = []; //callbacks為數(shù)組,因為可能同時有很多個回調(diào) this.then = function (onFulfilled) { callbacks.push(onFulfilled); }; function resolve(value) { callbacks.forEach(function (callback) { callback(value); }); } fn(resolve); }
上述代碼很簡單,大致的邏輯是這樣的:
調(diào)用then方法,將想要在Promise異步操作成功時執(zhí)行的回調(diào)放入callbacks隊列,其實也就是注冊回調(diào)函數(shù),可以向觀察者模式方向思考;
創(chuàng)建Promise實例時傳入的函數(shù)會被賦予一個函數(shù)類型的參數(shù),即resolve,它接收一個參數(shù)value,代表異步操作返回的結(jié)果,當一步操作執(zhí)行成功后,用戶會調(diào)用resolve方法,這時候其實真正執(zhí)行的操作是將callbacks隊列中的回調(diào)一一執(zhí)行;
可以結(jié)合例1中的代碼來看,首先new Promise時,傳給promise的函數(shù)發(fā)送異步請求,接著調(diào)用promise對象的then屬性,注冊請求成功的回調(diào)函數(shù),然后當異步請求發(fā)送成功時,調(diào)用resolve(results.id)方法, 該方法執(zhí)行then方法注冊的回調(diào)數(shù)組。
相信仔細的人應該可以看出來,then方法應該能夠鏈式調(diào)用,但是上面的最基礎(chǔ)簡單的版本顯然無法支持鏈式調(diào)用。想讓then方法支持鏈式調(diào)用,其實也是很簡單的:
this.then = function (onFulfilled) { callbacks.push(onFulfilled); return this; };
see?只要簡單一句話就可以實現(xiàn)類似下面的鏈式調(diào)用:
// 例2 getUserId().then(function (id) { // 一些處理 }).then(function (id) { // 一些處理 });加入延時機制
細心的同學應該發(fā)現(xiàn),上述代碼可能還存在一個問題:如果在then方法注冊回調(diào)之前,resolve函數(shù)就執(zhí)行了,怎么辦?比如promise內(nèi)部的函數(shù)是同步函數(shù):
// 例3 function getUserId() { return new Promise(function (resolve) { resolve(9876); }); } getUserId().then(function (id) { // 一些處理 });
這顯然是不允許的,Promises/A+規(guī)范明確要求回調(diào)需要通過異步方式執(zhí)行,用以保證一致可靠的執(zhí)行順序。因此我們要加入一些處理,保證在resolve執(zhí)行之前,then方法已經(jīng)注冊完所有的回調(diào)。我們可以這樣改造下resolve函數(shù):
function resolve(value) { setTimeout(function() { callbacks.forEach(function (callback) { callback(value); }); }, 0) }
上述代碼的思路也很簡單,就是通過setTimeout機制,將resolve中執(zhí)行回調(diào)的邏輯放置到JS任務隊列末尾,以保證在resolve執(zhí)行時,then方法的回調(diào)函數(shù)已經(jīng)注冊完成.
但是,這樣好像還存在一個問題,可以細想一下:如果Promise異步操作已經(jīng)成功,這時,在異步操作成功之前注冊的回調(diào)都會執(zhí)行,但是在Promise異步操作成功這之后調(diào)用的then注冊的回調(diào)就再也不會執(zhí)行了,這顯然不是我們想要的。
加入狀態(tài)恩,為了解決上一節(jié)拋出的問題,我們必須加入狀態(tài)機制,也就是大家熟知的pending、fulfilled、rejected。
Promises/A+規(guī)范中的2.1Promise States中明確規(guī)定了,pending可以轉(zhuǎn)化為fulfilled或rejected并且只能轉(zhuǎn)化一次,也就是說如果pending轉(zhuǎn)化到fulfilled狀態(tài),那么就不能再轉(zhuǎn)化到rejected。并且fulfilled和rejected狀態(tài)只能由pending轉(zhuǎn)化而來,兩者之間不能互相轉(zhuǎn)換。一圖勝千言:
改進后的代碼是這樣的:
function Promise(fn) { var state = "pending", value = null, callbacks = []; this.then = function (onFulfilled) { if (state === "pending") { callbacks.push(onFulfilled); return this; } onFulfilled(value); return this; }; function resolve(newValue) { value = newValue; state = "fulfilled"; setTimeout(function () { callbacks.forEach(function (callback) { callback(value); }); }, 0); } fn(resolve); }
上述代碼的思路是這樣的:resolve執(zhí)行時,會將狀態(tài)設置為fulfilled,在此之后調(diào)用then添加的新回調(diào),都會立即執(zhí)行。
這里沒有任何地方將state設為rejected,為了讓大家聚焦在核心代碼上,這個問題后面會有一小節(jié)專門加入。
鏈式Promise那么這里問題又來了,如果用戶再then函數(shù)里面注冊的仍然是一個Promise,該如何解決?比如下面的例4:
// 例4 getUserId() .then(getUserJobById) .then(function (job) { // 對job的處理 }); function getUserJobById(id) { return new Promise(function (resolve) { http.get(baseUrl + id, function(job) { resolve(job); }); }); }
這種場景相信用過promise的人都知道會有很多,那么類似這種就是所謂的鏈式Promise。
鏈式Promise是指在當前promise達到fulfilled狀態(tài)后,即開始進行下一個promise(后鄰promise)。那么我們?nèi)绾毋暯赢斍?b>promise和后鄰promise呢?(這是這里的難點)。
其實也不是辣么難,只要在then方法里面return一個promise就好啦。Promises/A+規(guī)范中的2.2.7就是這么說噠(微笑臉)~
下面來看看這段暗藏玄機的then方法和resolve方法改造代碼:
function Promise(fn) { var state = "pending", value = null, callbacks = []; this.then = function (onFulfilled) { return new Promise(function (resolve) { handle({ onFulfilled: onFulfilled || null, resolve: resolve }); }); }; function handle(callback) { if (state === "pending") { callbacks.push(callback); return; } //如果then中沒有傳遞任何東西 if(!callback.onFulfilled) { callback.resolve(value); return; } var ret = callback.onFulfilled(value); callback.resolve(ret); } function resolve(newValue) { if (newValue && (typeof newValue === "object" || typeof newValue === "function")) { var then = newValue.then; if (typeof then === "function") { then.call(newValue, resolve); return; } } state = "fulfilled"; value = newValue; setTimeout(function () { callbacks.forEach(function (callback) { handle(callback); }); }, 0); } fn(resolve); }
我們結(jié)合例4的代碼,分析下上面的代碼邏輯,為了方便閱讀,我把例4的代碼貼在這里:
// 例4 getUserId() .then(getUserJobById) .then(function (job) { // 對job的處理 }); function getUserJobById(id) { return new Promise(function (resolve) { http.get(baseUrl + id, function(job) { resolve(job); }); }); }
then方法中,創(chuàng)建并返回了新的Promise實例,這是串行Promise的基礎(chǔ),并且支持鏈式調(diào)用。
handle方法是promise內(nèi)部的方法。then方法傳入的形參onFulfilled以及創(chuàng)建新Promise實例時傳入的resolve均被push到當前promise的callbacks隊列中,這是銜接當前promise和后鄰promise的關(guān)鍵所在(這里一定要好好的分析下handle的作用)。
getUserId生成的promise(簡稱getUserId promise)異步操作成功,執(zhí)行其內(nèi)部方法resolve,傳入的參數(shù)正是異步操作的結(jié)果id
調(diào)用handle方法處理callbacks隊列中的回調(diào):getUserJobById方法,生成新的promise(getUserJobById promise)
執(zhí)行之前由getUserId promise的then方法生成的新promise(稱為bridge promise)的resolve方法,傳入?yún)?shù)為getUserJobById promise。這種情況下,會將該resolve方法傳入getUserJobById promise的then方法中,并直接返回。
在getUserJobById promise異步操作成功時,執(zhí)行其callbacks中的回調(diào):getUserId bridge promise中的resolve方法
最后執(zhí)行getUserId bridge promise的后鄰promise的callbacks中的回調(diào)。
更直白的可以看下面的圖,一圖勝千言(都是根據(jù)自己的理解畫出來的,如有不對歡迎指正):
失敗處理在異步操作失敗時,標記其狀態(tài)為rejected,并執(zhí)行注冊的失敗回調(diào):
//例5 function getUserId() { return new Promise(function(resolve) { //異步請求 http.get(url, function(error, results) { if (error) { reject(error); } resolve(results.id) }) }) } getUserId().then(function(id) { //一些處理 }, function(error) { console.log(error) })
有了之前處理fulfilled狀態(tài)的經(jīng)驗,支持錯誤處理變得很容易,只需要在注冊回調(diào)、處理狀態(tài)變更上都要加入新的邏輯:
function Promise(fn) { var state = "pending", value = null, callbacks = []; this.then = function (onFulfilled, onRejected) { return new Promise(function (resolve, reject) { handle({ onFulfilled: onFulfilled || null, onRejected: onRejected || null, resolve: resolve, reject: reject }); }); }; function handle(callback) { if (state === "pending") { callbacks.push(callback); return; } var cb = state === "fulfilled" ? callback.onFulfilled : callback.onRejected, ret; if (cb === null) { cb = state === "fulfilled" ? callback.resolve : callback.reject; cb(value); return; } ret = cb(value); callback.resolve(ret); } function resolve(newValue) { if (newValue && (typeof newValue === "object" || typeof newValue === "function")) { var then = newValue.then; if (typeof then === "function") { then.call(newValue, resolve, reject); return; } } state = "fulfilled"; value = newValue; execute(); } function reject(reason) { state = "rejected"; value = reason; execute(); } function execute() { setTimeout(function () { callbacks.forEach(function (callback) { handle(callback); }); }, 0); } fn(resolve, reject); }
上述代碼增加了新的reject方法,供異步操作失敗時調(diào)用,同時抽出了resolve和reject共用的部分,形成execute方法。
錯誤冒泡是上述代碼已經(jīng)支持,且非常實用的一個特性。在handle中發(fā)現(xiàn)沒有指定異步操作失敗的回調(diào)時,會直接將bridge promise(then函數(shù)返回的promise,后同)設為rejected狀態(tài),如此達成執(zhí)行后續(xù)失敗回調(diào)的效果。這有利于簡化串行Promise的失敗處理成本,因為一組異步操作往往會對應一個實際功能,失敗處理方法通常是一致的:
//例6 getUserId() .then(getUserJobById) .then(function (job) { // 處理job }, function (error) { // getUserId或者getUerJobById時出現(xiàn)的錯誤 console.log(error); });異常處理
細心的同學會想到:如果在執(zhí)行成功回調(diào)、失敗回調(diào)時代碼出錯怎么辦?對于這類異常,可以使用try-catch捕獲錯誤,并將bridge promise設為rejected狀態(tài)。handle方法改造如下:
function handle(callback) { if (state === "pending") { callbacks.push(callback); return; } var cb = state === "fulfilled" ? callback.onFulfilled : callback.onRejected, ret; if (cb === null) { cb = state === "fulfilled" ? callback.resolve : callback.reject; cb(value); return; } try { ret = cb(value); callback.resolve(ret); } catch (e) { callback.reject(e); } }
如果在異步操作中,多次執(zhí)行resolve或者reject會重復處理后續(xù)回調(diào),可以通過內(nèi)置一個標志位解決。
總結(jié)剛開始看promise源碼的時候總不能很好的理解then和resolve函數(shù)的運行機理,但是如果你靜下心來,反過來根據(jù)執(zhí)行promise時的邏輯來推演,就不難理解了。這里一定要注意的點是:promise里面的then函數(shù)僅僅是注冊了后續(xù)需要執(zhí)行的代碼,真正的執(zhí)行是在resolve方法里面執(zhí)行的,理清了這層,再來分析源碼會省力的多。
現(xiàn)在回顧下Promise的實現(xiàn)過程,其主要使用了設計模式中的觀察者模式:
通過Promise.prototype.then和Promise.prototype.catch方法將觀察者方法注冊到被觀察者Promise對象中,同時返回一個新的Promise對象,以便可以鏈式調(diào)用。
被觀察者管理內(nèi)部pending、fulfilled和rejected的狀態(tài)轉(zhuǎn)變,同時通過構(gòu)造函數(shù)中傳遞的resolve和reject方法以主動觸發(fā)狀態(tài)轉(zhuǎn)變和通知觀察者。
參考文獻深入理解 Promise
JavaScript Promises ... In Wicked Detail
文章版權(quán)歸作者所有,未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請注明本文地址:http://www.ezyhdfw.cn/yun/83085.html
摘要:忍者級別的函數(shù)操作對于什么是匿名函數(shù),這里就不做過多介紹了。我們需要知道的是,對于而言,匿名函數(shù)是一個很重要且具有邏輯性的特性。通常,匿名函數(shù)的使用情況是創(chuàng)建一個供以后使用的函數(shù)。 JS 中的遞歸 遞歸, 遞歸基礎(chǔ), 斐波那契數(shù)列, 使用遞歸方式深拷貝, 自定義事件添加 這一次,徹底弄懂 JavaScript 執(zhí)行機制 本文的目的就是要保證你徹底弄懂javascript的執(zhí)行機制,如果...
摘要:臆想的針對讀取到的內(nèi)容進行操作,比如打印文件內(nèi)容臆想中,讀取文件是有返回值的,將返回值,即文件內(nèi)容,賦給一個變量,然后決定對讀取到的內(nèi)容進行相應的操作,例如打印文件中的內(nèi)容。 臆想的 let fs = require(fs) function readFile(filename){ ... } let content = readFile(config.js) // 針對讀...
摘要:的翻譯文檔由的維護很多人說,阮老師已經(jīng)有一本關(guān)于的書了入門,覺得看看這本書就足夠了。前端的異步解決方案之和異步編程模式在前端開發(fā)過程中,顯得越來越重要。為了讓編程更美好,我們就需要引入來降低異步編程的復雜性。 JavaScript Promise 迷你書(中文版) 超詳細介紹promise的gitbook,看完再不會promise...... 本書的目的是以目前還在制定中的ECMASc...
摘要:不兼容問題,本文不予以處理,出門左轉(zhuǎn),找谷哥。如果中的回調(diào)函數(shù)拋出一個錯誤,那么返回的將會成為拒絕狀態(tài),并且將拋出的錯誤作為拒絕狀態(tài)的回調(diào)函數(shù)的參數(shù)值。 Promise與async 主要內(nèi)容: promise基本實現(xiàn)原理 promise 使用中難點(鏈式調(diào)用,API基本上返回都是一個新Promise,及參數(shù)傳遞) promise 對異常處理 參考: ? 30分鐘,讓你徹底明...
閱讀 3190·2021-11-24 09:39
閱讀 1057·2021-09-07 10:20
閱讀 2515·2021-08-23 09:45
閱讀 2393·2021-08-05 10:00
閱讀 655·2019-08-29 16:36
閱讀 903·2019-08-29 11:12
閱讀 2888·2019-08-26 11:34
閱讀 1889·2019-08-26 10:56