C++如何使用std::ranges::all_of在编译阶段检查范围内元素属性-C++-PHP中文网

std::ranges::all_of 不能在编译期求值，因其在c++20/c++23中未被声明为constexpr，故无法用于static_assert或consteval函数；需手动编写constexpr循环或使用折叠表达式配合std::array实现编译期检查。

c++如何使用std::ranges::all_of在编译阶段检查范围内元素属性

std::ranges::all_of 不能在编译期求值

std::ranges::all_of 是一个运行时算法，定义在 <algorithm></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>、int[N]）
谓词必须是 constexpr 函数对象或 lambda（C++20 起支持 constexpr lambda）
避免使用 std::ranges::begin/end —— 改用 std::data(arr) 和 std::size(arr) 保证 constexpr 友好

示例：

constexpr bool all_positive(auto const& arr) {
    for (size_t i = 0; i  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 检查，语义清晰且无循环开销。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

要求所有元素类型可比较、谓词可 constexpr 调用
折叠表达式 ((pred(arr[i]) && ...)) 在 C++17+ 中是 constexpr 友好的
注意：不能直接对 std::vector 或动态数组使用 —— 大小必须编译期已知

示例：

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...>& 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})));</n></t></typename></i...></t></typename></t></t></typename>