本文介绍如何在 C++ 中实现编译时 JSON 反序列化。作者首先介绍了 Wolfram Language 中强大的模式匹配机制，并将其与 C++ 中的模板特化进行类比。文章详细阐述了如何利用 C++ 的模板特化和 constexpr 特性，逐步构建起能够处理基本类型、数组、对象和可空类型的 JSON 解析器。作者还解决了一些实现过程中的难点，例如如何使 `consumeFromJSON` 函数变为纯函数以及如何处理 `std::vector` 在编译时的内存分配问题。最终，作者成功地展示了一个完整的、可以在编译时解析 JSON 的 C++ 库。