std::ranges::all_of 不能保证编译期工作，因其非语言强制 constexpr，实际支持依赖 STL 实现；编译期检查应使用 constexpr 折叠表达式或递归模板展开。
std::ranges::all_of 不能在编译期工作
std::ranges::all_of 是一个运行时算法，它接收迭代器范围和谓词，在执行时逐个检查元素。C++20 标准中没有任何机制让它直接参与 constexpr 范围遍历（除非范围本身是 constexpr 且长度极小、且编译器能完全展开），但它**不是为编译期断言设计的工具**。试图用它做编译期检查，大概率会遇到 call to non-constexpr function 或模板实例化失败。
编译期检查必须用 constexpr + fold expression 或递归模板
要真正实现“编译阶段检查所有元素是否满足某属性”，得放弃 std::ranges::all_of，改用支持 constexpr 的手动展开方式。常见可靠路径有两条：
- 对已知大小的
std::array，用constexprlambda + 折叠表达式：constexpr bool all_positive = []<std::size_t... I>(auto&& arr, std::index_sequence<I...>) { return (... && (arr[I] > 0)); }(my_array, std::make_index_sequence<my_array.size()>{}); - 对 C 风格数组或
std::array，更简洁写法：template<typename T, std::size_t N> constexpr bool all_positive(const T (&arr)[N]) { return [&](const auto& a) constexpr { return (... && (a[I] > 0)); }(arr); }（注意：实际需配合std::index_sequence或 C++23 的std::to_array推导） - 若用
std::array且 C++20+，可直接：constexpr std::array<int, 3> a = {1, 2, 3}; static_assert(std::ranges::all_of(a, [](int x) { return x > 0; })); // ✅ 可行，但依赖编译器对 range 算法的 constexpr 实现程度——这看似用了std::ranges::all_of，实则靠的是标准库实现是否标记了该重载为constexpr（libstdc++ 13+、libc++ 16+ 支持；MSVC 2022 17.5+ 也支持），不是语言特性保证。
std::ranges::all_of 在 constexpr 上的兼容性陷阱
即使你写了 static_assert(std::ranges::all_of(...))，能否通过取决于三个隐性条件：
- 传入的 range 必须是字面量类型（
std::array、std::span不行，因std::span构造函数非constexpr） - 谓词必须是
constexpr函数对象（不能捕获局部变量，不能调用非constexpr函数） - 标准库实现是否将该算法特化版本标记为
constexpr—— 这不是 C++20 强制要求，而是各 STL 的实现选择。例如早期 GCC libstdc++ 版本中std::ranges::all_of没有constexpr说明符，直接编译失败。
错误信息典型为：error: call to non-constexpr function 'std::ranges::__detail::__all_of' ，这时别怀疑代码逻辑，先查 STL 版本和编译器支持状态。
立即学习“C++免费学习笔记（深入）”；
更稳妥的替代方案：用 std::is_constant_evaluated() 做混合检查
如果目标是“尽可能在编译期检查，不行就退到运行时报错”，可以封装一层：
template<typename R, typename Pred>
constexpr bool compile_time_all_of(R&& r, Pred&& pred) {
if consteval {
// 手动展开逻辑，如基于 std::tuple_size 或 index_sequence
return /* your constexpr loop */;
} else {
return std::ranges::all_of(std::forward<R>(r), std::forward<Pred>(pred));
}
}但注意：consteval 函数内无法调用 std::ranges::all_of（它不是 consteval），所以仍得手写展开。真正可靠的编译期检查，绕不开索引序列或递归模板展开——这是当前标准下无法简化的硬约束。
