不能。std::ranges::all_of 是运行时算法，标准未标注 constexpr，其依赖的迭代器操作和谓词调用在 C++20/23 中不满足 constexpr 要求，libc++ 和 libstdc++ 均不支持编译期求值。
std::ranges::all_of 能不能用在编译期？
不能。std::ranges::all_of 是运行时算法，底层依赖迭代器解引用和谓词调用，无法在 constexpr 上下文中求值。即使传入 std::array 和字面量谓词，它内部使用的 operator!=、++、*it 等操作在 C++20/C++23 中仍不满足 constexpr 要求（部分实现如 libc++ 尚未标记为 constexpr，libstdc++ 更明确不支持）。
编译期检查全集属性的可行替代方案
真正能在编译期断言所有元素满足某条件的，只有 constexpr 循环 + static_assert，或借助 std::is_constant_evaluated() 分支（但该函数本身不保证编译期执行）。实际可靠路径只有一条：
- 对已知大小的聚合类型（如
std::array、C 风格数组），用constexprfor 循环逐项检查 - 把逻辑封装成
constexpr函数，返回bool，并在static_assert中调用 - 避免依赖任何
std::ranges或std::algorithm中的非 constexpr 版本
示例：
constexpr bool all_positive(const std::array<int, 4>& a) {
for (int x : a) {
if (x <= 0) return false;
}
return true;
}
static_assert(all_positive({1, 2, 3, 4})); // ✅ 通过
static_assert(all_positive({-1, 2, 3, 4})); // ❌ 编译失败
为什么 std::ranges::all_of 在 constexpr lambda 里也不行？
即便你写出这样的代码：
立即学习“C++免费学习笔记（深入）”；
constexpr auto pred = [](int x) { return x > 0; };
constexpr bool ok = std::ranges::all_of(arr, pred); // ❌ 编译错误
错误通常类似：call to non-constexpr function 'std::ranges::all_of(...)' 。根本原因在于：
-
std::ranges::all_of的标准规定其非 constexpr（C++20 标准 [alg.all.of] 明确未标注constexpr） - 其内部调用的
std::ranges::begin/std::ranges::end对某些容器也不是 constexpr（如std::vector） - 即使对
std::array，其迭代器的operator++和operator!=在多数标准库实现中仍未被声明为 constexpr
复杂点：变长数组或模板参数包怎么办？
若需检查模板参数包（如 template<int... Ns>），必须用折叠表达式而非循环：
template<int... Ns> constexpr bool all_gt_zero = ((Ns > 0) && ...); static_assert(all_gt_zero<1, 2, 3>); // ✅
对运行时大小的容器（如 std::vector），根本无法做编译期检查——这是类型系统限制，不是写法问题。强行“编译期检查”只会导致误判或编译失败。
最容易被忽略的是：有人试图用 consteval 包裹 std::ranges::all_of，结果发现连编译都过不了——因为 consteval 函数体内每一处调用都必须是 constexpr，而 std::ranges::all_of 不是。
