C++模板编译期排序算法：constexpr与类型列表实战

模板编译期排序算法，这个组合词一看就是C++模板元编程圈子里的东西。我第一次真正被它憋住，是在做一个事件分发框架的时候：注册了一堆事件处理器，每个处理器有不同优先级，我希望所有处理器在编译期就按优先级排好序，运行时不希望在排序上浪费哪怕一个时钟周期。当时搜了很多资料，几乎都是零散的模板递归片段，没有一篇文章认真把“编译期排序”的前因后果、实现思路和坑点讲透。

这篇文章就把我摸索出来的完整方案写出来，覆盖两条主流路线：一条是 C++17 之后的 constexpr 函数排序，适合处理编译期常量数组；另一条是纯模板元编程的类型列表排序，适合处理 type_list、std::tuple 这类类型集合。文章里会给出可直接编译的代码、实例化代价分析，以及我在实际工程里踩过的问题。不管是想写底层库、做代码生成，还是单纯想深入理解模板元编程的递归推导过程，这篇都能给你一个起点。

1. 为什么要把排序放到编译期来做

1.1 一个现实中的例子：编译期事件优先级排序

先回到我自己的场景。事件分发器需要把若干个处理器按优先级从高到低执行，如果我不排序，就得运行时在分发入口拎着一个 std::vector<std::pair<int, Handler>>，进去先 sort 一次。这个逻辑本身不重，但它会出现在每次分发调用的热路径上。更糟的是，处理器列表在程序生命周期内完全不变，却要每次都执行比较和交换，纯属浪费。

编译期排序要做的事情，就是把“排序”这段计算从运行时搬到编译期。我用一组非类型模板参数表示优先级列表，在编译期调用一个 constexpr 排序函数，生成一个排好序的 std::array<int, N>，然后程序里直接用这个数组索引对应的处理器。

code复制template<int... Priorities>
constexpr auto sorted_priorities() {
    std::array<int, sizeof...(Priorities)> arr{Priorities...};
    // insertion_sort 是 constexpr 函数，在编译期完成
    return insertion_sort(arr);
}

constexpr auto kPriorityTable = sorted_priorities<3, 1, 4, 1, 5, 2>();

这么做的好处很直接：运行时不需要排序，连排序相关的分支都消失了。因为在 constexpr auto kPriorityTable 的强制下，数组内容在编译期就已经确定，最终产物里只有一个静态常量表。

1.2 编译期做排序能带来什么收益

第一个收益是性能确定性。运行时排序的时间受数据分布影响，而编译期排序会让最终程序的时间曲线变得平直。表是固定的，每次访问都是 O(1)，没有比较和交换带来的抖动。

第二个收益是把错误前置。排序逻辑如果在编译期执行，任何不满足约束的数据都会直接导致编译失败，而不是等到运行时才炸出一个诡异的顺序。这一点在做配置表、状态机列表时特别有价值。

第三个收益是死代码消除。编译期排序后，没有排序代码，没有排序临时变量，生成的可执行文件更小，指令缓存压力更小。

第四个收益是类型安全。模板元编程的排序对象可以是类型本身，比如按照 sizeof(T) 排序一个类型列表，这在运行时很难表达，因为运行时没有“类型大小作为数据”的天然形态。

1.3 边界条件：不是所有排序都适合编译期

编译期排序的前提是数据集合必须在编译期可见。如果你需要排序的数据来自文件、网络、用户输入，那编译期排序方案完全不适用。不要为了炫技引入编译期排序，否则就是把简单问题搞复杂。

另一个边界是数据规模。模板元编程的排序，数据量一旦超过二三十个，编译时间就可能成倍上涨。即便是 constexpr 函数排序，也要注意编译器常量求值的深度限制和内存占用。下面我会分别讨论。

2. 基础路线：用 constexpr 函数在编译期排序数组

2.1 C++17 下自己实现的编译期插入排序

如果项目可以切到 C++20，标准库的 std::sort 已经是 constexpr，一句 std::sort 就能编译期排序。但更多项目还停在 C++17，或者你希望不依赖标准库实现，那就需要自己写一个能在常量表达式上下文中执行的排序函数。

我写的就是经典插入排序。选择插入排序不是因为它在编译期更高效，而是因为它实现简单，内存操作只在元素相邻位置发生，在编译器的常量求值器里转换起来非常直接。

cpp复制#include <array>
#include <cstddef>

template<typename T, std::size_t N>
constexpr std::array<T, N> insertion_sort(std::array<T, N> arr) {
    for (std::size_t i = 1; i < N; ++i) {
        for (std::size_t j = i; j > 0 && arr[j] < arr[j - 1]; --j) {
            T tmp = arr[j];
            arr[j] = arr[j - 1];
            arr[j - 1] = tmp;
        }
    }
    return arr;
}

这里有几个关键点要注意。arr 以值传参，所以函数内修改的是副本，不会污染调用方。N 是编译期常量，for 循环在常量表达式求值运行时可以被完全展开，不会依赖运行时循环计数器。

2.2 接收非类型模板参数包并生成排序数组

问题来了：用户通常希望直接写一组数字进去，而不是先构造一个 std::array 再传参。这时候可以用非