2727. Parallel algorithms with constexpr specifier

Section: 28.1 [algorithms.general] Status: C++17 Submitter: Jonathan Wakely Opened: 2016-06-21 Last modified: 2017-07-30

Priority: 0

View all issues with C++17 status.

Discussion:

In LEWG we noticed some parallel algorithms are constexpr. Jared said:

I think this is an oversight, and it also applies to std::max_element/std::minmax_element. To my knowledge, neither SG1 nor LWG ever explicitly considered whether a parallel algorithm should be constexpr. I think the assumption was that parallel algorithms would be regular old function templates without additional specifiers such as constexpr.

[2016-06 Oulu]

Moved to P0/Ready during issues prioritization.

Friday: status to Immediate

Proposed resolution:

This wording is relative to N4594.

  1. Change the <algorithm> header synopsis, 28.1 [algorithms.general], as indicated, to remove "constexpr" from the six {min,max,minmax}_element overloads with an ExecutionPolicy argument:

    namespace std {
    
    […]
    // 25.5.7, minimum and maximum:
    […]
    template<class ExecutionPolicy, class ForwardIterator>
      constexpr ForwardIterator min_element(ExecutionPolicy&& exec, // see 25.2.5
                                            ForwardIterator first, ForwardIterator last);
    template<class ExecutionPolicy, class ForwardIterator, class Compare>
      constexpr ForwardIterator min_element(ExecutionPolicy&& exec, // see 25.2.5
                                            ForwardIterator first, ForwardIterator last,
                                            Compare comp);
    […]
    template<class ExecutionPolicy, class ForwardIterator>
      constexpr ForwardIterator max_element(ExecutionPolicy&& exec, // see 25.2.5
                                            ForwardIterator first, ForwardIterator last);
    template<class ExecutionPolicy, class ForwardIterator, class Compare>
      constexpr ForwardIterator max_element(ExecutionPolicy&& exec, // see 25.2.5
                                            ForwardIterator first, ForwardIterator last,
                                            Compare comp);
    […]
    template<class ExecutionPolicy, class ForwardIterator>
      constexpr pair<ForwardIterator, ForwardIterator>
        minmax_element(ExecutionPolicy&& exec, // see 25.2.5
                       ForwardIterator first, ForwardIterator last);
    template<class ExecutionPolicy, class ForwardIterator, class Compare>
      constexpr pair<ForwardIterator, ForwardIterator>
        minmax_element(ExecutionPolicy&& exec, // see 25.2.5
                       ForwardIterator first, ForwardIterator last, Compare comp);
    […]
    }