不能。std::ranges::all_of 是纯运行时算法，C++20/C++23 标准未将其声明为 constexpr，即使作用于 constexpr 容器也会编译失败；编译期检查需手写 consteval 函数或使用折叠表达式。
std::ranges::all_of 能不能在编译期求值？
不能。std::ranges::all_of 是纯运行时算法，即使作用于 constexpr 容器（如 std::array），其调用本身也不被标准允许为 constexpr —— C++20 和 C++23 标准中，所有 std::ranges 算法（包括 all_of、any_of、none_of）均未声明为 constexpr 函数。试图在 constexpr 上下文中直接调用会触发编译错误，例如：
constexpr std::array<int, 3> a{1, 2, 3};
static_assert(std::ranges::all_of(a, [](int x) { return x > 0; })); // ❌ 编译失败：call to non-constexpr function想在编译期检查所有元素，该用什么？
必须手写或借助 constexpr 循环逻辑。最直接的方式是展开遍历：用 for 循环 + if constexpr 或折叠表达式（fold expression）。
- 对已知大小的
std::array，优先用参数包展开 + 折叠：template<typename T, size_t N> consteval bool all_positive(const std::array<T, N>& arr) { return (arr[0] > 0 && ... && arr[N-1] > 0); } - 若需通用谓词（如任意
constexprlambda），C++20 起可捕获到模板参数中，但需将 lambda 类型作为非类型模板参数（NTTP），实际受限较大；更稳妥的是把判断逻辑写死或封装为constexpr函数对象 - 注意：lambda 在 C++20 中仅当无捕获且满足一定条件才可作 NTTP，多数场景建议改用普通
constexpr函数或struct实现operator()
为什么 ranges 算法不支持 constexpr？
根本原因是 std::ranges 算法大量依赖迭代器操作（如 ++it、*it）、范围概念约束（range、iterator 概念检查）以及内部辅助函数，这些在当前标准中尚未全部标记为 constexpr。比如 std::ranges::begin 和 std::ranges::end 虽在 C++23 中部分成为 constexpr，但整个算法链仍不可 constexpr 求值。
这不是实现缺陷，而是标准演进节奏问题 —— constexpr 迭代器和容器支持仍在完善中（如 std::string_view 可 constexpr，但 std::vector 不行）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
有没有折中方案兼顾可读性和编译期检查？
有，但需权衡。可以封装一个轻量 constexpr 检查工具，模拟 all_of 接口风格：
template<std::ranges::input_range R, class Pred>
consteval bool constexpr_all_of(R&& r, Pred pred) {
using std::begin; using std::end;
if constexpr (std::is_array_v<std::remove_reference_t<R>> ||
requires { std::to_array(std::declval<R>()); }) {
// 简单起见，只支持 array 和可转 array 的字面量类型
auto arr = std::to_array(r);
return (pred(arr[0]) && ... && pred(arr[std::extent_v<decltype(arr)> - 1]));
} else {
static_assert(always_false_v<R>, "constexpr_all_of only supports array-like ranges");
}
}不过这种封装实际意义有限：它无法泛化到任意 range（比如 std::span 或自定义 range），且 std::to_array 本身要求源类型支持聚合初始化。真正可靠的编译期检查，还是得回到原始数组 + 折叠表达式或递归 constexpr 函数。
别指望靠 std::ranges::all_of 做编译期断言；能用 static_assert 的地方，老老实实写个 consteval 函数，比绕路更稳。
