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

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

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

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

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

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

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

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

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

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

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