为什么在 C++20 中没有将 std::accumulate 设为 constexpr？

Question

在 C++20 中，许多（大多数？）C++ 标准库算法已被制作为constexpr 。 然而 - std::accumulate没有。

似乎它可能是：

template<class InputIt, class T>
constexpr T accumulate(InputIt first, InputIt last, T init)
{
    for (; first != last; ++first) {
        init = std::move(init) + *first;
    }
    return init;
}

那么 - 是否有原因它也不是constexpr ？

注意：这个问题的动机是我对这个关于编译时积累的问题的回答。

Answer 1

P1645R1实际上在贝尔法斯特会议中被采纳，以包含在 C++20 中，以响应 NB 评论US 320 。

因此，以下所有算法在 C++20 中都将是constexpr （除了采用ExecutionPolicy的重载）：

• 积累
• 减少
• inner_product
• transform_reduce
• 部分和
• 排他扫描
• 包容扫描
• transform_exclusive_scan
• transform_inclusive_scan
• 相邻差
• 微塔

Answer 2

TL;博士;

有一个提案正在处理中。 在这个过程完成之前我们不会知道结果，但它不会生成 C++20。

更长的答案

确实有一个提案： constexpr for algorithms ，引用相关部分：

本提案是在以下 function 模板中添加 constexpr，但接受 ExecutionPolicy 的 function 模板除外。

• 积累

...

我们可以从cplusplus/papers 的第 432 期看到，该论文被转移到了 Language Evolution 工作组：

R0，需要LEWG查看/转发。 移除 LWG 标签。

里程碑移至2019-11 ：

修改里程碑：2019-07、2019-11

这将是即将举行的贝尔法斯特会议，因此它不会使 C++20 成为可能。