講解消息分發(fā)的一種編譯期實現(xiàn)法

今天講消息分發(fā)的一種編譯期實現(xiàn)法。

編程是一門非常依賴邏輯的學(xué)科，邏輯分為形式邏輯和非形式邏輯，編程就屬于形式邏輯。形式邏輯指的是用數(shù)學(xué)的方式去抽象地分析命題，它有一套嚴(yán)謹(jǐn)?shù)臉?biāo)準(zhǔn)和公理系統(tǒng)，對錯分明；而日常生活中使用的是非形式邏輯，它不存在標(biāo)準(zhǔn)和公理，也沒有絕對的對與錯。

根據(jù)哲學(xué)家大衛(wèi)·休謨在《人性論》中對于觀念之間連接的分類，我們能夠把邏輯關(guān)系分成三大類：相似關(guān)系、因果關(guān)系、承接關(guān)系。相似關(guān)系表示兩個組件結(jié)構(gòu)相同，去掉其中一個組件，也只會使功能不夠全面，并不會影響程序；因果關(guān)系表示兩個組件之間依賴性極強，沒有第一個組件，就沒有第二個組件，第二個組件依賴于第一個組件；承接關(guān)系表示兩個組件都是局部，只有組合起來，才能構(gòu)成一個整體。

消息分發(fā)就屬于因果關(guān)系，我們需要依賴 A，去執(zhí)行 B，沒有 A 就沒有 B。同樣屬于因果關(guān)系的術(shù)語還有邏輯分派、模式匹配、定制點的表示方式等等，它們本質(zhì)都是在描述一類東西，只是有時候側(cè)重點不同。

條件關(guān)系也屬于因果關(guān)系的范疇，是編程中邏輯最重的關(guān)系。試想沒有if else，你還能寫出多少程序？世界是復(fù)雜的，問題也是復(fù)雜的，因果關(guān)系必不可少。

消息分發(fā)，或稱邏輯分派，就是一種簡化條件關(guān)系表達(dá)方式的技術(shù)。它適用于存在大量因果的情境，此時若是使用原始的if else，則無法適應(yīng)動態(tài)發(fā)展的世界。

C++ 中，最典型、也非常有用的一種方式就是采用map，因作為 key，果作為 value，因是標(biāo)識符，果是回調(diào)函數(shù)。由于這種方式發(fā)生于運行期，所以也稱為動態(tài)消息分發(fā)。

本文要講的，是 C++20 才得以實現(xiàn)的另外一種方式，發(fā)生于編譯期的靜態(tài)消息分發(fā)技術(shù)。

稱為消息分發(fā)，一般是在網(wǎng)絡(luò)通信的情境下。正常情境下，程序是順序執(zhí)行的，所以完全可以使用if else來實現(xiàn)因果邏輯，因為組件與組件之間距離較近，屬于同一模塊；而網(wǎng)絡(luò)情境下，一個組件可以瞬間跳躍到距離非常遠(yuǎn)的另一個組件，這兩個組件甚至不在同一臺設(shè)備上，一臺設(shè)備可能在上海，另一臺在北京，此時如何讓這兩個組件進(jìn)行溝通？也就是說，A 組件里面的某個函數(shù)執(zhí)行條件不滿足，如何簡單地跳到 B、C、D、E…… 這些組件的某個函數(shù)中去處理？這種遠(yuǎn)距離的程序因果邏輯，通過消息分發(fā)組件能夠非常絲滑地表示。

消息分發(fā)的標(biāo)識符一般采用字符串表示，到了 C++20 支持 string literal NTTP 才得以在編譯期實現(xiàn)一套可用的相關(guān)組件。

因此首先，我們得實現(xiàn)一個 string literal 以在編譯期使用。