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

Question

在 C++20 中，许多(大多数？)C++ 标准库算法已被制定为 constexpr。然而-std::accumulate has not .

它seems like它可能是:

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 化也是有原因的吗？

注意:这个问题的动机是 my answer至this question关于编译时累积。

Answer 1

P1645R1实际上是在贝尔法斯特 session 上通过的，以纳入 C++20，以响应 NB 评论 US 320 .

因此，以下所有算法都将是 C++20 中的 constexpr(除了采用 ExecutionPolicy 的重载):

• 积累
• 减少
• 内部产品
• transform_reduce
• partial_sum
• exclusive_scan
• inclusive_scan
• transform_exclusive_scan
• transform_inclusive_scan
• adjacent_difference
• 伊奥塔