半泽和莉娜C++ 的编译期元编程，在很多人眼里像一门“黑魔法”：你明明没有写“运行代码”，程序却在编译阶段就把结果算好了；你只是写了一个模板类型，编译器却帮你生成了几十个类。我第一次接触时也觉得这玩意儿除了炫技没什么用，后来在写序列化框架、做配置表校验、做协议解析的时候，才发现它能省下多少运行时开销和防御性代码。这篇文章不打算按教科书从模板基础讲起，而是把我实际用过、觉得能直接上手的编译期技巧整理出来——从模板递归、constexpr、if constexpr 到 SFINAE、折叠表达式，再到一个完整的编译期字符串 + 哈希 + 排序的小工具，每个都能粘贴到你的工程里用。无论你是准备 C++ 面试，还是正在维护一个对性能敏感的基础库，这篇应该都能让你少踩几个坑。
1. 编译期元编程的演进路线：先搞清楚“为什么会有这玩意儿”
1.1 最原始的形态：模板递归与偏特化
C++98 时代没有 constexpr，但人们发现了模板实例化是在编译期完成的这个特性：模板本身没有代码实体，只有实例化时才生成对应类型和函数。于是就有了一批“用递归模板算结果”的写法，最典型的就是阶乘：
cpp复制template <std::size_t N>
struct Factorial
{
static constexpr std::size_t value = N * Factorial<N - 1>::value;
};
template <>
struct Factorial<0>
{
static constexpr std::size_t value = 1;
};
static_assert(Factorial<5>::value == 120);
注意，这里的 static constexpr std::size_t value 其实就是个编译期常量。在那个 constexpr 还没有出现的年代，开发者用 enum 或 static const 存储该值，原理是一样的：编译器需要在实例化 Factorial<5> 时递归展开 Factorial<4>，一直到特化的 Factorial<0> 停止。这个展开过程完全发生在编译期，运行时代码里只有那个 120 被内联进常量表达式位置。
这套写法最大的缺点是“表达力”弱。你要是想写个循环，就得靠递归；想处理分支，就得靠特化。任何逻辑稍复杂一点的编译期算法，读起来都像天书。
1.2 constexpr 的演进：C++11到C++20的能力边界
constexpr 是 C++11 引入的，用来声明“这个函数在常量表达式里可以被求值”。它的第一个版本限制相当严格：函数体只能有一条 return 语句，不能