std::ranges::all_of 不能在编译期求值，因其在C++20/C++23中未被声明为constexpr，故无法用于static_assert或consteval函数；需手动编写constexpr循环或使用折叠表达式配合std::array实现编译期检查。
std::ranges::all_of 不能在编译期求值
std::ranges::all_of 是一个运行时算法，定义在 <algorithm> 中，它接受迭代器范围和谓词，返回 bool。即使传入 constexpr 容器和 constexpr 谓词，它本身**不是 constexpr 函数**（C++20 标准中未标记为 constexpr），因此无法用于编译期断言或模板约束。
常见误判是看到 std::ranges 带“范围”就默认支持编译期，但实际绝大多数 std::ranges::* 算法（包括 all_of、any_of、find）在 C++20/C++23 中仍非 constexpr —— 这是标准明确限制的。
替代方案：用 std::is_constant_evaluated() + 手写 constexpr 循环
若需在编译期检查（例如配合 static_assert 或 consteval 函数），必须手动展开逻辑。核心思路是：对已知大小的 std::array 或字面量数组，用 constexpr 循环逐项调用谓词。
- 仅适用于编译期可知大小和内容的容器（如
std::array<int, N>、int[N]） - 谓词必须是
constexpr函数对象或 lambda（C++20 起支持constexprlambda） - 避免使用
std::ranges::begin/end—— 改用std::data(arr)和std::size(arr)保证constexpr友好
示例：
立即学习“C++免费学习笔记（深入）”；
constexpr bool all_positive(auto const& arr) {
for (size_t i = 0; i < std::size(arr); ++i) {
if (!([](auto x) { return x > 0; }(arr[i]))) return false;
}
return true;
}
static_assert(all_positive(std::array{1, 2, 3})); // OK
static_assert(all_positive(std::array{-1, 2, 3})); // 编译失败
更简洁：用 fold expression（C++17+）配合 std::to_array
对小规模字面量数组，std::to_array 可推导 std::array 类型，配合折叠表达式实现一行 constexpr 检查，语义清晰且无循环开销。
- 要求所有元素类型可比较、谓词可
constexpr调用 - 折叠表达式
((pred(arr[i]) && ...))在 C++17+ 中是constexpr友好的 - 注意：不能直接对
std::vector或动态数组使用 —— 大小必须编译期已知
示例：
立即学习“C++免费学习笔记（深入）”；
template<typename T, size_t N>
constexpr bool all_even(const std::array<T, N>& arr) {
return (std::is_integral_v<T> && ... && (arr[N-1] % 2 == 0)); // 静态索引不实用，改用索引序列
}
// 更实用写法：
template<typename Pred, typename T, size_t... I>
constexpr bool all_of_constexpr_impl(Pred pred, const std::array<T, sizeof...(I)>& arr, std::index_sequence<I...>) {
return (pred(arr[I]) && ...);
}
template<typename Pred, typename T, size_t N>
constexpr bool all_of_constexpr(Pred pred, const std::array<T, N>& arr) {
return all_of_constexpr_impl(pred, arr, std::make_index_sequence<N>{});
}
static_assert(all_of_constexpr([](int x) { return x > 0; }, std::to_array({1, 2, 3})));
为什么不用 std::ranges::views::all + all_of？
std::views::all 只是包装视图，不改变算法的求值时机；std::ranges::all_of 本身不可 constexpr，套任何 view 都无法让它变成编译期函数。试图这样写会触发编译错误：
error: call to non-constexpr function 'std::ranges::all_of(...)'
即使你把输入包装成 constexpr std::ranges::ref_view，也于事无补 —— 标准库没给这个函数加 constexpr 说明符，编译器就不会允许它出现在常量表达式中。
真正关键的边界在于：**编译期检查只认 constexpr 函数、字面量类型、已知尺寸的聚合体。别指望运行时算法接口能自动跨过这道墙。**
