今天講消息分發的一種編譯期實現法。

編程是一門非常依賴邏輯的學科，邏輯分為形式邏輯和非形式邏輯，編程就屬于形式邏輯。形式邏輯指的是用數學的方式去抽象地分析命題，它有一套嚴謹的標準和公理系統，對錯分明；而日常生活中使用的是非形式邏輯，它不存在標準和公理，也沒有絕對的對與錯。

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

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

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

消息分發，或稱邏輯分派，就是一種簡化條件關系表達方式的技術。它適用于存在大量因果的情境，此時若是使用原始的if else，則無法適應動態發展的世界。

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

本文要講的，是 C++20 才得以實現的另外一種方式，發生于編譯期的靜態消息分發技術。

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

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

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