C++17后才真正可行constexpr排序，因标准库std::sort非constexpr，且C++20前constexpr函数不支持循环和局部变量；需手写纯函数式递归插入排序，输入输出均为std::array，避免运行时操作。
constexpr sort 在 C++17 之后才真正可行
标准库的 std::sort 不是 constexpr 函数，C++17 之前连 constexpr 函数都不支持循环和局部变量，根本没法写排序；C++20 虽然放宽了限制，但标准容器（如 std::array）的成员函数仍大多未被标记为 constexpr，所以不能直接调用 arr.sort() 或类似操作。
可行路径只有一条：手写一个纯函数式、递归/展开式的排序逻辑，输入是编译期已知的数组（比如 std::array 或原始数组），输出也是 std::array，全程不依赖运行时内存分配或非 constexpr 标准设施。
用 std::array + 递归 constexpr 插入排序最稳妥
插入排序天然适合编译期：每次只处理一个元素，递归深度可控，且不需要交换指针或动态索引——所有下标都是常量表达式。归并或快排容易触发未定义行为（比如越界访问或未初始化引用），而插入排序在 C++20 下能稳定通过 constexpr 检查。
- 输入必须是字面类型（
int、float、char等），不能含虚函数或非constexpr构造函数的类 - 数组长度不宜超过 128（GCC/Clang 对 constexpr 求值深度有限制，太长会报
constexpr evaluation depth exceeded） - 别用
std::vector——它不是字面类型，constexpr上下文中连声明都非法 - 示例核心骨架：
template<typename T, size_t N> constexpr std::array<T, N> constexpr_sort(std::array<T, N> arr) { if constexpr (N <= 1) return arr; else { auto sorted_tail = constexpr_sort<T, N-1>(/* 去掉最后一个元素的子数组 */); return insert_sorted(sorted_tail, arr[N-1]); } }
std::sort 的替代方案：用 std::ranges::sort（C++20）？
不行。std::ranges::sort 虽然比老版 std::sort 更“现代”，但它内部依赖迭代器解引用、swap、比较对象调用等，这些在 constexpr 上下文中无法保证全部满足字面要求；实测主流编译器（GCC 13、Clang 16）均拒绝将其用于 constexpr 上下文，报错类似：call to non-constexpr function 'void std::ranges::__sort_impl(...)' 。
立即学习“C++免费学习笔记（深入）”；
- 别指望靠加
constexpr前缀“强行升级”标准算法——它们没被标准标记为constexpr就是真的不能用 - 某些第三方库（如 Boost.MP11）提供
mp_sort，但那是针对类型列表（mp_list<int, char, double>）的元编程排序，和数值数组无关 - 如果只是想让排序结果在编译期可用，更务实的做法是：用脚本生成排序后数组的字面量，再
constexpr引入——简单、可靠、无深度限制
常见错误：把运行时逻辑误当 constexpr 使用
最典型的是在 constexpr 函数里用 new、std::cout、static_cast<void*>(...)，或者调用未标记 constexpr 的函数（哪怕它看起来很简单）。编译器不会帮你“推断”，只会硬性拒绝。
- 错误示例：
constexpr int f() { int x = 5; return x * x; }——C++14 起合法，但若里面用了std::sqrt(x)就非法（std::sqrt不是constexpr） - 调试技巧：在函数末尾加
static_assert(false, "here");，看是否报错；若报错位置在该行，说明前面都通过了 constexpr 检查 - 别依赖编译器扩展（如 GCC 的
-fconstexpr-depth=）来绕过限制——这会让代码失去可移植性，且掩盖真实约束
编译期排序真正的门槛不在算法本身，而在对 constexpr 求值模型的理解：它不是“更快的运行时”，而是完全不同的求值阶段，所有路径必须静态可判定，所有对象必须生命周期明确且不跨阶段逃逸。
