計模式精講】23.備忘錄模式（Memento）)
【設(shè)計模式精講】23.備忘錄模式Memento【摘要】命令模式靠「逆操作」撤銷了繪圖程序但文本編輯器是另一回事——用戶隨手打字刪字、移動光標(biāo)操作瑣碎得沒有形狀。兩條歪路擺在面前為存檔把字段全 public封裝陪葬或者整個對象拷一份句柄崩、「哪些字段屬于狀態(tài)」沒人說得清。本文給出備忘錄模式的 GoF 意圖在不破壞封裝的前提下捕獲并外化對象內(nèi)部狀態(tài)——C 用嵌套類加 friend 精確表達(dá)「只有本體能拆信、看守者只管郵遞」的寬窄接口現(xiàn)代版補上移動語義、快照與命令的成本曲線大型系統(tǒng)的混合方案以及值語義快照的取舍。文末對照std::exception_ptr、folly 的 exception_wrapper 與 AOSP 的狀態(tài)保存協(xié)議。讀完你能為「回到過去」選對那條路線?！娟P(guān)鍵詞】備忘錄、快照、撤銷、封裝、看守者、寬窄接口、事務(wù)回滾【代碼基準(zhǔn)】C171. 撤銷的另一種姿勢把「當(dāng)時」存下來第 19 篇用命令模式解了繪圖程序的撤銷每個操作規(guī)整、可逆命令對象自帶 undo?，F(xiàn)在換一個主角——文本編輯器的Document用戶打一個字、刪一個字、光標(biāo)跳來跳去操作瑣碎到?jīng)]有形狀「為每個字符輸入寫一個命令類」荒謬得說不出口。需求還是那個 CtrlZ直覺給出兩條路// 說明性片段// ? 路 A為存檔打開封裝classDocument{public:std::string text;// 全部 publicintcursor;// 誰都能改Selection sel;// 不變量沒人守};// 歷史棧直接搬字段// hist.push_back({doc.text, doc.cursor});// —— 漏存了選區(qū)恢復(fù)后選區(qū)懸垂// ? 路 B整個對象拷一份// hist2.push_back(doc); // 要求可拷貝// 內(nèi)部若有緩存/句柄/自指指針// 拷出來的就是一顆雷路 A 讓「不變量由類自己守」的封裝原則為撤銷功能陪葬——第 2 篇講過的邊界一旦打開就關(guān)不上路 B 把「哪些字段屬于狀態(tài)」的定義權(quán)交給了拷貝構(gòu)造——多拷浪費內(nèi)存少拷恢復(fù)不完整含資源的字段打開的文件、注冊的回調(diào)根本拷不動。兩條路背后是同一個矛盾命題「恢復(fù)過去」要求外部能拿到內(nèi)部狀態(tài)「封裝」要求外部拿不到。備忘錄模式的全部智慧就是解開這一對矛盾——答案不是二選一而是把「狀態(tài)」打包成一件外部能保管、但不能拆開的東西。2. 模式意圖與定義一句話定義在不破壞封裝性的前提下捕獲一個對象的內(nèi)部狀態(tài)并在該對象之外保存這個狀態(tài)從而可以將該對象恢復(fù)到原先保存的狀態(tài)。解決的問題需要快照式回滾撤銷、事務(wù)、存檔、回溯而對象的內(nèi)部表示不能對外暴露。GoF 原文意圖Without violating encapsulation, capture and externalize an object’s internal state so that the object can be restored to this state later.注意打頭的Without violating encapsulation——這不是附帶的好處是模式的立身之本也是它與「字段全 public 加一個 copy」的分界線。Refactoring Guru 的表述備忘錄模式允許在不暴露所保存狀態(tài)實現(xiàn)細(xì)節(jié)的前提下保存與恢復(fù)對象先前的狀態(tài)它像是對象的「時刻存檔」外界可以傳遞存檔、保管存檔但看不懂存檔。三條定性保管權(quán)與解釋權(quán)分離?？词卣逤aretaker只做三件事——存、傳、丟只有原發(fā)器Originator能寫快照、讀快照。快照對外界是不透明的黑盒「不透明」正是封裝沒有破裂的證明。寬接口與窄接口。GoF 用兩個視圖描述同一份快照原發(fā)器看到寬接口能讀寫全部狀態(tài)看守者看到窄接口只有「這是一份快照」的存在性。C 有一把恰好合手的刀——friend把寬接口精確地只授予原發(fā)器第 4 節(jié)落地。與命令模式的分工。第 19 篇記「做了什么」操作 逆操作本篇記「當(dāng)時什么樣」?fàn)顟B(tài)快照——這是撤銷的兩條路線成本曲線完全不同第 5 節(jié)正面比較。3. UML 圖 結(jié)構(gòu)說明創(chuàng)建寬接口恢復(fù)寬接口保管窄接口把快照交回原發(fā)器Document-text_ string-cursor_ intcreate() : Mementorestore(m) : void?不透明?Memento-text_ string-cursor_ intHistory-stack_ vectorsave(m) : voidpop() : Memento三個參與者GoF 命名原發(fā)器OriginatorDocument——創(chuàng)建快照把內(nèi)部狀態(tài)封進(jìn)備忘錄、恢復(fù)快照從備忘錄寫回是唯一能解釋快照內(nèi)容的角色備忘錄Memento狀態(tài)的黑盒封裝——對看守者只暴露「存在」對原發(fā)器暴露全部看守者CaretakerHistory——保管快照的棧、隊列或磁盤負(fù)責(zé)在正確的時機把快照原樣遞回原發(fā)器從頭到尾不拆不看。一個貼切的意象備忘錄是密封信。寫信人將來還要讀這封信同一個原發(fā)器恢復(fù)中間的郵差看守者只管投遞保管——拆信越權(quán)抄送更不可能。這個意象也預(yù)告了工程上的全部要點信封要結(jié)實快照不可變、郵路要可靠生命周期對齊、信紙要夠小快照只存恢復(fù)必需的狀態(tài)。4. 傳統(tǒng) C 寫法C11 之前C98 完整形態(tài)備忘錄做成原發(fā)器的嵌套類構(gòu)造私有、friend授信——「寬窄接口」從圖上的兩個視圖變成編譯器強制的事實// C98/03 寫法#includecstdio#includestring#includevectorclassDocument{public:Document():cursor_(0){}voidtype(charc){text_.insert(cursor_,1,c);cursor_;}voidbackspace(){if(cursor_0)return;text_.erase(cursor_-1,1);--cursor_;}voidprint()const{printf([%s|%d]\n,text_.c_str(),cursor_);}// ---- 備忘錄密封的狀態(tài)快照 ----classMemento{public:~Memento(){}private:friendclassDocument;// 只有本體// 能拆信Memento(conststd::stringt,intc):text_(t),cursor_(c){}Memento(constMemento);// 禁復(fù)制Mementooperator(// 快照不可變constMemento);std::string text_;intcursor_;};Memento*create()const{returnnewMemento(text_,cursor_);}voidrestore(constMemento*m){text_m-text_;// 寬接口cursor_m-cursor_;// 只有這里能讀}private:std::string text_;intcursor_;};// ---- 看守者只存、只傳、不拆 ----classHistory{public:~History(){for(size_t i0;istack_.size();i)deletestack_[i];}voidsave(Document::Memento*m){stack_.push_back(m);}Document::Memento*pop(){if(stack_.empty())return0;Document::Memento*mstack_.back();stack_.pop_back();returnm;}private:std::vectorDocument::Memento*stack_;};intmain(){Document doc;History hist;hist.save(doc.create());// 存檔 doc.type(a);doc.type(b);hist.save(doc.create());// 存檔 abdoc.type(c);doc.print();// [abc|3]doc.restore(hist.pop());// 回到 abdoc.print();// [ab|2]return0;}History面對的是什么一個只能 new 出來、delete 掉、拿來拿去的指針類型——它想把text_讀出來編譯器都不答應(yīng)。第 1 節(jié)路 A 的「封裝陪葬」與路 B 的「拷貝語義含混」同時避開哪些字段屬于狀態(tài)只有Document::create一個地方說了算。三條傳統(tǒng)寫法的鐵律寬接口只授給原發(fā)器——friend class Document一行就是寬窄接口的全部實現(xiàn)其他語言要用雙接口/包可見性繞的圈C 一詞到位快照不可變——構(gòu)造之后無 setter禁拷貝禁賦值現(xiàn)代版可放寬為可移動「郵差篡改歷史」在類型層面消失看守者零解釋權(quán)——History的全部代碼里沒有出現(xiàn)任何狀態(tài)字段的名字這行檢查標(biāo)準(zhǔn)值得寫進(jìn)評審清單。5. 現(xiàn)代 C 進(jìn)階寫法升級零unique_ptr管快照移動語義流轉(zhuǎn)。裸指針的創(chuàng)建/刪除分工交給類型快照成為移動專用對象// 節(jié)選Document 定義同第 4 節(jié)略#includememory#includevectorclassHistory{public:voidsave(std::unique_ptrDocument::Mementom){stack_.push_back(std::move(m));}std::unique_ptrDocument::Mementopop(){if(stack_.empty())returnnullptr;automstd::move(stack_.back());stack_.pop_back();returnm;}private:std::vectorstd::unique_ptrDocument::Mementostack_;};// doc.restore(hist.pop().get());// 或讓 restore 直接接收 unique_ptrMemento的私有禁拷貝 hack 換成 delete其余紀(jì)律原樣成立。改進(jìn)一快照還是命令三條撤銷路線的成本曲線。第 19 篇與本篇合起來才是撤銷的完整地圖命令路線記操作內(nèi)存省每步只存參數(shù)與逆操作但要求操作規(guī)整可逆——適合繪圖這類「操作有形狀」的領(lǐng)域快照路線記狀態(tài)實現(xiàn)簡單、絕對正確不依賴「逆操作」的正確性但狀態(tài)大、步數(shù)深時內(nèi)存爆炸——適合文檔這類「自由編輯」的小狀態(tài)對象混合路線工業(yè)標(biāo)配每 N 步落一個快照中間步驟用命令回放——撤銷 M 步 回滾到最近快照再正向重放剩下的N?M步。數(shù)據(jù)庫 WAL、游戲 checkpoint、編輯器的分檔 undo 全是這條路線的變體快照定錨點命令補細(xì)粒度。選型只看兩個變量狀態(tài)大小 × 操作規(guī)整度——與第 12、13 篇「結(jié)構(gòu)選型看變化軸」一脈相承。改進(jìn)二值語義快照——封裝邊界的取舍。當(dāng)狀態(tài)全部是可拷貝的值無句柄、無自指、無緩存?zhèn)渫浛梢源蠓降赝嘶癁橐粋€普通值對象structSnapshot{std::string text;intcursor;};std::vectorSnapshotundo_;// undo_.push_back({doc.text(), doc.cursor()});friend、嵌套類、黑盒全部省掉——代價是「不透明」也沒了任何拿到Snapshot的代碼都能讀能改。取舍的界碑是模塊邊界同一個.cpp內(nèi)部的輕量撤銷值快照最劃算跨模塊、要長期保管、要序列化落盤的存檔回到密封信形態(tài)——黑盒不僅保護(hù)封裝也給了狀態(tài)格式單獨演化的自由改了Document內(nèi)部布局舊存檔的解析只動原發(fā)器一個文件。展望快照內(nèi)存問題還有第三條路——持久化數(shù)據(jù)結(jié)構(gòu)persistent data structure不可變結(jié)構(gòu)在「修改」時共享未變的子樹每份歷史快照 O(1)~O(log n) 就地生成immer 庫是 C 代表。它與第 15 篇享元同宗——共享不可變省下的是「時間維度的重復(fù)」。6. 優(yōu)缺點與適用場景? 優(yōu)點GoF 后果清單封裝毫發(fā)無損——快照的讀寫全在原發(fā)器內(nèi)窄接口由編譯器背書狀態(tài)恢復(fù)邏輯集中——「什么是可恢復(fù)的狀態(tài)」只有一處定義字段增減不驚動看守者快照是可搬運的對象——進(jìn)棧、跨線程、落盤、過網(wǎng)絡(luò)皆可游戲存檔的骨架。? 缺點全量快照內(nèi)存大——大對象深歷史下不可持續(xù)必須轉(zhuǎn)向增量或混合路線快照與恢復(fù)各有一次拷貝成本——高頻快照在熱路徑上要掂量含資源句柄的狀態(tài)快照語義要逐字段定義——打開的文件、注冊的回調(diào)、自指指針「恢復(fù)」到底是重開、置空還是拒絕備忘錄不管你得自己立約看守者與快照的生命周期要對齊泄漏與懸垂都會以「偶現(xiàn)崩潰」現(xiàn)身。 適用場景自由編輯型撤銷文本、表格單元格、事務(wù)提交前的舊值保留、游戲存檔與 checkpoint、試探性計算的回溯N 皇后、搜索剪枝、「草稿/發(fā)布」兩態(tài)切換?！脖嫖觥硞渫?vs 命令第 19 篇撤銷的兩條路線——記狀態(tài)與記操作狀態(tài)小而操作雜用備忘錄操作規(guī)整可逆用命令大型系統(tǒng)用「快照錨點 命令回放」的混合命令的undo()內(nèi)部持一份「操作前小快照」也是常見的合體形態(tài)。備忘錄 vs 直接值拷貝push_back(*this)是語言能力備忘錄是協(xié)議——選擇性快照哪些字段屬于狀態(tài)由本體說了算 不透明保管看守者無法越權(quán) 封裝不破值拷貝把這三樣全數(shù)交出去。備忘錄 vs 數(shù)據(jù)庫事務(wù)undo log 與 WAL 是「備忘錄 命令」的工業(yè)化合體本篇改進(jìn)一的三條路線在數(shù)據(jù)庫內(nèi)核里一個不缺。7. 開源項目中的身影標(biāo)準(zhǔn)庫std::exception_ptr是異常的備忘錄。「把當(dāng)時發(fā)生的異常原樣保存、稍后恢復(fù)」——current_exception()拍快照rethrow_exception()恢復(fù)中間的代碼只能保管傳遞讀不出內(nèi)容#includeexceptionstd::exception_ptr saved;try{risky();}catch(...){// 拍下「當(dāng)時」的異常快照savedstd::current_exception();}// ……稍后甚至另一個線程try{std::rethrow_exception(saved);// 恢復(fù)}catch(conststd::exceptione){// 原異常原樣歸來類型信息無損}點評三個角色嚴(yán)絲合縫——原發(fā)器是拋異常的棧只有它知道異常的全部語義備忘錄是exception_ptr看守者是跨線程搬運它的任務(wù)隊列/ future。窄接口窄到極致除了一句「里面有個異?！雇饨缫粺o所知。這正是 C11 把「異?！箯摹笚Ｉ系幕顒游铩刮锘伞缚杀９軐ο蟆沟姆绞?。Follyexception_wrapper給郵差開一點信封。folly 對exception_ptr的工程化增強保留搬運與重拋能力之外允許有限地檢視——get_exceptionE()、what()等只讀查詢// 說明性片段需包含 folly/ExceptionWrapper.hfolly::exception_wrapper ew;try{risky();}catch(conststd::system_errore){ewfolly::exception_wrapper(e);}if(ew.get_exceptionstd::system_error()){// 看得見類型才能就地分流處理}點評它站在「全黑盒」與「全公開」之間的工程折中點——純搬運用exception_ptr搬運途中要按類型分流就得讓郵差看一眼信封抬頭?？煺詹煌该鞯绞裁闯潭葟膩硎窃O(shè)計決定而不是教條。AOSPonSaveInstanceState(Bundle)系統(tǒng)當(dāng)看守者。Android 的 Activity 隨時可能被系統(tǒng)回收回收前框架調(diào)用onSaveInstanceState讓應(yīng)用把 UI 狀態(tài)裝進(jìn)Bundle重建時原樣交回由應(yīng)用自行恢復(fù)Java 側(cè)協(xié)議意圖與 C 同構(gòu)// 說明性片段Android 經(jīng)典協(xié)議OverrideprotectedvoidonSaveInstanceState(BundleoutState){super.onSaveInstanceState(outState);outState.putString(draft,draft);outState.putInt(cursor,pos);}// 進(jìn)程被殺、界面重建Bundle 原樣奉還點評角色分配值得細(xì)品——原發(fā)器是 Activity「哪些狀態(tài)值得救」只有它知道注意它沒存視圖內(nèi)部的一切看守者是系統(tǒng)跨進(jìn)程、跨生死周期保管 Bundle從不解釋內(nèi)容寬窄接口落在「系統(tǒng)只用 Bundle 的序列化協(xié)議不讀字段語義」。這也是快照路線的通用勸告存「恢復(fù)必需的最小狀態(tài)」不是整個界面的復(fù)寫。三份代碼合看異?？煺瞻押诤凶龅綐O致、folly 按需開縫、Android 讓系統(tǒng)當(dāng)郵差——「保管與解釋分離」這一個核心動作從類圖一路延伸到了跨進(jìn)程協(xié)議。本篇小結(jié)「回到過去」不必以封裝為代價把內(nèi)部狀態(tài)封進(jìn)一封只有本體能拆的密封信交給只會投遞的看守者——寬窄接口在 C 里就是嵌套類加一行friend編譯器替你守住越權(quán)的手?？煺罩淮婊謴?fù)必需的最小狀態(tài)、構(gòu)造后不可變、看守者零解釋權(quán)是三條不可讓的紀(jì)律狀態(tài)大或歷史深時與命令模式合成「快照錨點 命令回放」的工業(yè)路線。值快照是模塊內(nèi)部的合理捷徑跨邊界與要落盤的存檔請回到黑盒。下一篇觀察者模式——對象的歷史存好了「變化的消息」如何一對多地廣播出去23 種模式里知名度最高的那一個。本文模式定義與角色劃分參考了 Refactoring Guru《設(shè)計模式》中文版「備忘錄」一章意圖譯文、寬窄接口與兩步增量快照的討論參考了 GoF《Design Patterns》第 5 章 Memento 一節(jié)。 【設(shè)計模式精講】23.備忘錄模式（Memento）
【設(shè)計模式精講】23.備忘錄模式Memento【摘要】命令模式靠「逆操作」撤銷了繪圖程序但文本編輯器是另一回事——用戶隨手打字刪字、移動光標(biāo)操作瑣碎得沒有形狀。兩條歪路擺在面前為存檔把字段全 public封裝陪葬或者整個對象拷一份句柄崩、「哪些字段屬于狀態(tài)」沒人說得清。本文給出備忘錄模式的 GoF 意圖在不破壞封裝的前提下捕獲并外化對象內(nèi)部狀態(tài)——C 用嵌套類加 friend 精確表達(dá)「只有本體能拆信、看守者只管郵遞」的寬窄接口現(xiàn)代版補上移動語義、快照與命令的成本曲線大型系統(tǒng)的混合方案以及值語義快照的取舍。文末對照std::exception_ptr、folly 的 exception_wrapper 與 AOSP 的狀態(tài)保存協(xié)議。讀完你能為「回到過去」選對那條路線?！娟P(guān)鍵詞】備忘錄、快照、撤銷、封裝、看守者、寬窄接口、事務(wù)回滾【代碼基準(zhǔn)】C171. 撤銷的另一種姿勢把「當(dāng)時」存下來第 19 篇用命令模式解了繪圖程序的撤銷每個操作規(guī)整、可逆命令對象自帶 undo?，F(xiàn)在換一個主角——文本編輯器的Document用戶打一個字、刪一個字、光標(biāo)跳來跳去操作瑣碎到?jīng)]有形狀「為每個字符輸入寫一個命令類」荒謬得說不出口。需求還是那個 CtrlZ直覺給出兩條路// 說明性片段// ? 路 A為存檔打開封裝classDocument{public:std::string text;// 全部 publicintcursor;// 誰都能改Selection sel;// 不變量沒人守};// 歷史棧直接搬字段// hist.push_back({doc.text, doc.cursor});// —— 漏存了選區(qū)恢復(fù)后選區(qū)懸垂// ? 路 B整個對象拷一份// hist2.push_back(doc); // 要求可拷貝// 內(nèi)部若有緩存/句柄/自指指針// 拷出來的就是一顆雷路 A 讓「不變量由類自己守」的封裝原則為撤銷功能陪葬——第 2 篇講過的邊界一旦打開就關(guān)不上路 B 把「哪些字段屬于狀態(tài)」的定義權(quán)交給了拷貝構(gòu)造——多拷浪費內(nèi)存少拷恢復(fù)不完整含資源的字段打開的文件、注冊的回調(diào)根本拷不動。兩條路背后是同一個矛盾命題「恢復(fù)過去」要求外部能拿到內(nèi)部狀態(tài)「封裝」要求外部拿不到。備忘錄模式的全部智慧就是解開這一對矛盾——答案不是二選一而是把「狀態(tài)」打包成一件外部能保管、但不能拆開的東西。2. 模式意圖與定義一句話定義在不破壞封裝性的前提下捕獲一個對象的內(nèi)部狀態(tài)并在該對象之外保存這個狀態(tài)從而可以將該對象恢復(fù)到原先保存的狀態(tài)。解決的問題需要快照式回滾撤銷、事務(wù)、存檔、回溯而對象的內(nèi)部表示不能對外暴露。GoF 原文意圖Without violating encapsulation, capture and externalize an object’s internal state so that the object can be restored to this state later.注意打頭的Without violating encapsulation——這不是附帶的好處是模式的立身之本也是它與「字段全 public 加一個 copy」的分界線。Refactoring Guru 的表述備忘錄模式允許在不暴露所保存狀態(tài)實現(xiàn)細(xì)節(jié)的前提下保存與恢復(fù)對象先前的狀態(tài)它像是對象的「時刻存檔」外界可以傳遞存檔、保管存檔但看不懂存檔。三條定性保管權(quán)與解釋權(quán)分離?？词卣逤aretaker只做三件事——存、傳、丟只有原發(fā)器Originator能寫快照、讀快照。快照對外界是不透明的黑盒「不透明」正是封裝沒有破裂的證明。寬接口與窄接口。GoF 用兩個視圖描述同一份快照原發(fā)器看到寬接口能讀寫全部狀態(tài)看守者看到窄接口只有「這是一份快照」的存在性。C 有一把恰好合手的刀——friend把寬接口精確地只授予原發(fā)器第 4 節(jié)落地。與命令模式的分工。第 19 篇記「做了什么」操作 逆操作本篇記「當(dāng)時什么樣」?fàn)顟B(tài)快照——這是撤銷的兩條路線成本曲線完全不同第 5 節(jié)正面比較。3. UML 圖 結(jié)構(gòu)說明創(chuàng)建寬接口恢復(fù)寬接口保管窄接口把快照交回原發(fā)器Document-text_ string-cursor_ intcreate() : Mementorestore(m) : void?不透明?Memento-text_ string-cursor_ intHistory-stack_ vectorsave(m) : voidpop() : Memento三個參與者GoF 命名原發(fā)器OriginatorDocument——創(chuàng)建快照把內(nèi)部狀態(tài)封進(jìn)備忘錄、恢復(fù)快照從備忘錄寫回是唯一能解釋快照內(nèi)容的角色備忘錄Memento狀態(tài)的黑盒封裝——對看守者只暴露「存在」對原發(fā)器暴露全部看守者CaretakerHistory——保管快照的棧、隊列或磁盤負(fù)責(zé)在正確的時機把快照原樣遞回原發(fā)器從頭到尾不拆不看。一個貼切的意象備忘錄是密封信。寫信人將來還要讀這封信同一個原發(fā)器恢復(fù)中間的郵差看守者只管投遞保管——拆信越權(quán)抄送更不可能。這個意象也預(yù)告了工程上的全部要點信封要結(jié)實快照不可變、郵路要可靠生命周期對齊、信紙要夠小快照只存恢復(fù)必需的狀態(tài)。4. 傳統(tǒng) C 寫法C11 之前C98 完整形態(tài)備忘錄做成原發(fā)器的嵌套類構(gòu)造私有、friend授信——「寬窄接口」從圖上的兩個視圖變成編譯器強制的事實// C98/03 寫法#includecstdio#includestring#includevectorclassDocument{public:Document():cursor_(0){}voidtype(charc){text_.insert(cursor_,1,c);cursor_;}voidbackspace(){if(cursor_0)return;text_.erase(cursor_-1,1);--cursor_;}voidprint()const{printf([%s|%d]\n,text_.c_str(),cursor_);}// ---- 備忘錄密封的狀態(tài)快照 ----classMemento{public:~Memento(){}private:friendclassDocument;// 只有本體// 能拆信Memento(conststd::stringt,intc):text_(t),cursor_(c){}Memento(constMemento);// 禁復(fù)制Mementooperator(// 快照不可變constMemento);std::string text_;intcursor_;};Memento*create()const{returnnewMemento(text_,cursor_);}voidrestore(constMemento*m){text_m-text_;// 寬接口cursor_m-cursor_;// 只有這里能讀}private:std::string text_;intcursor_;};// ---- 看守者只存、只傳、不拆 ----classHistory{public:~History(){for(size_t i0;istack_.size();i)deletestack_[i];}voidsave(Document::Memento*m){stack_.push_back(m);}Document::Memento*pop(){if(stack_.empty())return0;Document::Memento*mstack_.back();stack_.pop_back();returnm;}private:std::vectorDocument::Memento*stack_;};intmain(){Document doc;History hist;hist.save(doc.create());// 存檔 doc.type(a);doc.type(b);hist.save(doc.create());// 存檔 abdoc.type(c);doc.print();// [abc|3]doc.restore(hist.pop());// 回到 abdoc.print();// [ab|2]return0;}History面對的是什么一個只能 new 出來、delete 掉、拿來拿去的指針類型——它想把text_讀出來編譯器都不答應(yīng)。第 1 節(jié)路 A 的「封裝陪葬」與路 B 的「拷貝語義含混」同時避開哪些字段屬于狀態(tài)只有Document::create一個地方說了算。三條傳統(tǒng)寫法的鐵律寬接口只授給原發(fā)器——friend class Document一行就是寬窄接口的全部實現(xiàn)其他語言要用雙接口/包可見性繞的圈C 一詞到位快照不可變——構(gòu)造之后無 setter禁拷貝禁賦值現(xiàn)代版可放寬為可移動「郵差篡改歷史」在類型層面消失看守者零解釋權(quán)——History的全部代碼里沒有出現(xiàn)任何狀態(tài)字段的名字這行檢查標(biāo)準(zhǔn)值得寫進(jìn)評審清單。5. 現(xiàn)代 C 進(jìn)階寫法升級零unique_ptr管快照移動語義流轉(zhuǎn)。裸指針的創(chuàng)建/刪除分工交給類型快照成為移動專用對象// 節(jié)選Document 定義同第 4 節(jié)略#includememory#includevectorclassHistory{public:voidsave(std::unique_ptrDocument::Mementom){stack_.push_back(std::move(m));}std::unique_ptrDocument::Mementopop(){if(stack_.empty())returnnullptr;automstd::move(stack_.back());stack_.pop_back();returnm;}private:std::vectorstd::unique_ptrDocument::Mementostack_;};// doc.restore(hist.pop().get());// 或讓 restore 直接接收 unique_ptrMemento的私有禁拷貝 hack 換成 delete其余紀(jì)律原樣成立。改進(jìn)一快照還是命令三條撤銷路線的成本曲線。第 19 篇與本篇合起來才是撤銷的完整地圖命令路線記操作內(nèi)存省每步只存參數(shù)與逆操作但要求操作規(guī)整可逆——適合繪圖這類「操作有形狀」的領(lǐng)域快照路線記狀態(tài)實現(xiàn)簡單、絕對正確不依賴「逆操作」的正確性但狀態(tài)大、步數(shù)深時內(nèi)存爆炸——適合文檔這類「自由編輯」的小狀態(tài)對象混合路線工業(yè)標(biāo)配每 N 步落一個快照中間步驟用命令回放——撤銷 M 步 回滾到最近快照再正向重放剩下的N?M步。數(shù)據(jù)庫 WAL、游戲 checkpoint、編輯器的分檔 undo 全是這條路線的變體快照定錨點命令補細(xì)粒度。選型只看兩個變量狀態(tài)大小 × 操作規(guī)整度——與第 12、13 篇「結(jié)構(gòu)選型看變化軸」一脈相承。改進(jìn)二值語義快照——封裝邊界的取舍。當(dāng)狀態(tài)全部是可拷貝的值無句柄、無自指、無緩存?zhèn)渫浛梢源蠓降赝嘶癁橐粋€普通值對象structSnapshot{std::string text;intcursor;};std::vectorSnapshotundo_;// undo_.push_back({doc.text(), doc.cursor()});friend、嵌套類、黑盒全部省掉——代價是「不透明」也沒了任何拿到Snapshot的代碼都能讀能改。取舍的界碑是模塊邊界同一個.cpp內(nèi)部的輕量撤銷值快照最劃算跨模塊、要長期保管、要序列化落盤的存檔回到密封信形態(tài)——黑盒不僅保護(hù)封裝也給了狀態(tài)格式單獨演化的自由改了Document內(nèi)部布局舊存檔的解析只動原發(fā)器一個文件。展望快照內(nèi)存問題還有第三條路——持久化數(shù)據(jù)結(jié)構(gòu)persistent data structure不可變結(jié)構(gòu)在「修改」時共享未變的子樹每份歷史快照 O(1)~O(log n) 就地生成immer 庫是 C 代表。它與第 15 篇享元同宗——共享不可變省下的是「時間維度的重復(fù)」。6. 優(yōu)缺點與適用場景? 優(yōu)點GoF 后果清單封裝毫發(fā)無損——快照的讀寫全在原發(fā)器內(nèi)窄接口由編譯器背書狀態(tài)恢復(fù)邏輯集中——「什么是可恢復(fù)的狀態(tài)」只有一處定義字段增減不驚動看守者快照是可搬運的對象——進(jìn)棧、跨線程、落盤、過網(wǎng)絡(luò)皆可游戲存檔的骨架。? 缺點全量快照內(nèi)存大——大對象深歷史下不可持續(xù)必須轉(zhuǎn)向增量或混合路線快照與恢復(fù)各有一次拷貝成本——高頻快照在熱路徑上要掂量含資源句柄的狀態(tài)快照語義要逐字段定義——打開的文件、注冊的回調(diào)、自指指針「恢復(fù)」到底是重開、置空還是拒絕備忘錄不管你得自己立約看守者與快照的生命周期要對齊泄漏與懸垂都會以「偶現(xiàn)崩潰」現(xiàn)身。 適用場景自由編輯型撤銷文本、表格單元格、事務(wù)提交前的舊值保留、游戲存檔與 checkpoint、試探性計算的回溯N 皇后、搜索剪枝、「草稿/發(fā)布」兩態(tài)切換?！脖嫖觥硞渫?vs 命令第 19 篇撤銷的兩條路線——記狀態(tài)與記操作狀態(tài)小而操作雜用備忘錄操作規(guī)整可逆用命令大型系統(tǒng)用「快照錨點 命令回放」的混合命令的undo()內(nèi)部持一份「操作前小快照」也是常見的合體形態(tài)。備忘錄 vs 直接值拷貝push_back(*this)是語言能力備忘錄是協(xié)議——選擇性快照哪些字段屬于狀態(tài)由本體說了算 不透明保管看守者無法越權(quán) 封裝不破值拷貝把這三樣全數(shù)交出去。備忘錄 vs 數(shù)據(jù)庫事務(wù)undo log 與 WAL 是「備忘錄 命令」的工業(yè)化合體本篇改進(jìn)一的三條路線在數(shù)據(jù)庫內(nèi)核里一個不缺。7. 開源項目中的身影標(biāo)準(zhǔn)庫std::exception_ptr是異常的備忘錄。「把當(dāng)時發(fā)生的異常原樣保存、稍后恢復(fù)」——current_exception()拍快照rethrow_exception()恢復(fù)中間的代碼只能保管傳遞讀不出內(nèi)容#includeexceptionstd::exception_ptr saved;try{risky();}catch(...){// 拍下「當(dāng)時」的異常快照savedstd::current_exception();}// ……稍后甚至另一個線程try{std::rethrow_exception(saved);// 恢復(fù)}catch(conststd::exceptione){// 原異常原樣歸來類型信息無損}點評三個角色嚴(yán)絲合縫——原發(fā)器是拋異常的棧只有它知道異常的全部語義備忘錄是exception_ptr看守者是跨線程搬運它的任務(wù)隊列/ future。窄接口窄到極致除了一句「里面有個異?！雇饨缫粺o所知。這正是 C11 把「異?！箯摹笚Ｉ系幕顒游铩刮锘伞缚杀９軐ο蟆沟姆绞?。Follyexception_wrapper給郵差開一點信封。folly 對exception_ptr的工程化增強保留搬運與重拋能力之外允許有限地檢視——get_exceptionE()、what()等只讀查詢// 說明性片段需包含 folly/ExceptionWrapper.hfolly::exception_wrapper ew;try{risky();}catch(conststd::system_errore){ewfolly::exception_wrapper(e);}if(ew.get_exceptionstd::system_error()){// 看得見類型才能就地分流處理}點評它站在「全黑盒」與「全公開」之間的工程折中點——純搬運用exception_ptr搬運途中要按類型分流就得讓郵差看一眼信封抬頭?？煺詹煌该鞯绞裁闯潭葟膩硎窃O(shè)計決定而不是教條。AOSPonSaveInstanceState(Bundle)系統(tǒng)當(dāng)看守者。Android 的 Activity 隨時可能被系統(tǒng)回收回收前框架調(diào)用onSaveInstanceState讓應(yīng)用把 UI 狀態(tài)裝進(jìn)Bundle重建時原樣交回由應(yīng)用自行恢復(fù)Java 側(cè)協(xié)議意圖與 C 同構(gòu)// 說明性片段Android 經(jīng)典協(xié)議OverrideprotectedvoidonSaveInstanceState(BundleoutState){super.onSaveInstanceState(outState);outState.putString(draft,draft);outState.putInt(cursor,pos);}// 進(jìn)程被殺、界面重建Bundle 原樣奉還點評角色分配值得細(xì)品——原發(fā)器是 Activity「哪些狀態(tài)值得救」只有它知道注意它沒存視圖內(nèi)部的一切看守者是系統(tǒng)跨進(jìn)程、跨生死周期保管 Bundle從不解釋內(nèi)容寬窄接口落在「系統(tǒng)只用 Bundle 的序列化協(xié)議不讀字段語義」。這也是快照路線的通用勸告存「恢復(fù)必需的最小狀態(tài)」不是整個界面的復(fù)寫。三份代碼合看異?？煺瞻押诤凶龅綐O致、folly 按需開縫、Android 讓系統(tǒng)當(dāng)郵差——「保管與解釋分離」這一個核心動作從類圖一路延伸到了跨進(jìn)程協(xié)議。本篇小結(jié)「回到過去」不必以封裝為代價把內(nèi)部狀態(tài)封進(jìn)一封只有本體能拆的密封信交給只會投遞的看守者——寬窄接口在 C 里就是嵌套類加一行friend編譯器替你守住越權(quán)的手?？煺罩淮婊謴?fù)必需的最小狀態(tài)、構(gòu)造后不可變、看守者零解釋權(quán)是三條不可讓的紀(jì)律狀態(tài)大或歷史深時與命令模式合成「快照錨點 命令回放」的工業(yè)路線。值快照是模塊內(nèi)部的合理捷徑跨邊界與要落盤的存檔請回到黑盒。下一篇觀察者模式——對象的歷史存好了「變化的消息」如何一對多地廣播出去23 種模式里知名度最高的那一個。本文模式定義與角色劃分參考了 Refactoring Guru《設(shè)計模式》中文版「備忘錄」一章意圖譯文、寬窄接口與兩步增量快照的討論參考了 GoF《Design Patterns》第 5 章 Memento 一節(jié)。