1. Motivation
We have added
to many parts of the standard library for C++20.
Notably, [P0879] Constexpr for swap and swaprelated functions added
to all functions in
except
,
,
,
,
, and functions accepting an
.
I believe LEWG’s design intent is that the nonallocating, nonparallel
algorithms be
. However, there are algorithms in
that
have been overlooked.
2. Assumptions
[P0879] made the following assumptions:

if an algorithm uses compiler intrinsics, then those intrinsics could be made
by compiler vendors.constexpr 
if an algorithm uses assembly optimization, then that assembly could be turned into a
compiler intrinsic.constexpr 
if an algorithm uses external functions, then those functions could be made
and markedinline
or could be replaced with intrinsics.constexpr
This proposal could make the same assumptions about implementation; however with the advent of
for distinguishing compiletime and runtime code, perhaps these assumptions are no longer necessary.
3. Algorithms in < numeric >
that were apparently overlooked
This proposal is to add
to the following function templates in
, excepting the function templates that accept an
.

accumulate 
reduce 
inner_product 
transform_reduce 
partial_sum 
exclusive_scan 
inclusive_scan 
transform_exclusive_scan 
transform_inclusive_scan 
adjacent_difference 
iota
4. Feature testing macro
I propose the featuretesting macro
to identify the presence of these
forms.
5. Proposed wording relative to N4810
Exactly as one would expect: add
to the function templates listed above where they do not accept an
.

Change 25.8 Header <numeric> synopsis [numeric.ops.overview] as indicated:
template < class InputIterator , class T > constexpr T accumulate ( InputIterator first , InputIterator last , T init ); template < class InputIterator , class T , class BinaryOperation > constexpr T accumulate ( InputIterator first , InputIterator last , T init , BinaryOperation binary_op );
template < class InputIterator > constexpr typename iterator_traits :: value_type reduce ( InputIterator first , InputIterator last ); template < class InputIterator , class T > constexpr T reduce ( InputIterator first , InputIterator last , T init ); template < class InputIterator , class T , class BinaryOperation > constexpr T reduce ( InputIterator first , InputIterator last , T init , BinaryOperation binary_op );
template < class InputIterator1 , class InputIterator2 , class T > constexpr T inner_product ( InputIterator1 first1 , InputIterator1 last1 , InputIterator2 first2 , T init ); template < class InputIterator1 , class InputIterator2 , class T , class BinaryOperation1 , class BinaryOperation2 > constexpr T inner_product ( InputIterator1 first1 , InputIterator1 last1 , InputIterator2 first2 , T init , BinaryOperation1 binary_op1 , BinaryOperation2 binary_op2 );
template < class InputIterator1 , class InputIterator2 , class T > constexpr T transform_reduce ( InputIterator1 first1 , InputIterator1 last1 , InputIterator2 first2 , T init ); template < class InputIterator1 , class InputIterator2 , class T , class BinaryOperation1 , class BinaryOperation2 > constexpr T transform_reduce ( InputIterator1 first1 , InputIterator1 last1 , InputIterator2 first2 , T init , BinaryOperation1 binary_op1 , BinaryOperation2 binary_op2 ); template < class InputIterator , class T , class BinaryOperation , class UnaryOperation > constexpr T transform_reduce ( InputIterator first , InputIterator last , T init , BinaryOperation binary_op , UnaryOperation unary_op );
template < class InputIterator , class OutputIterator > constexpr OutputIterator partial_sum ( InputIterator first , InputIterator last , OutputIterator result ); template < class InputIterator , class OutputIterator , class BinaryOperation > constexpr OutputIterator partial_sum ( InputIterator first , InputIterator last , OutputIterator result , BinaryOperation binary_op );
template < class InputIterator , class OutputIterator , class T > constexpr OutputIterator exclusive_scan ( InputIterator first , InputIterator last , OutputIterator result , T init ); template < class InputIterator , class OutputIterator , class T , class BinaryOperation > constexpr OutputIterator exclusive_scan ( InputIterator first , InputIterator last , OutputIterator result , T init , BinaryOperation binary_op );
template < class InputIterator , class OutputIterator > constexpr OutputIterator inclusive_scan ( InputIterator first , InputIterator last , OutputIterator result ); template < class InputIterator , class OutputIterator , class BinaryOperation > constexpr OutputIterator inclusive_scan ( InputIterator first , InputIterator last , OutputIterator result , BinaryOperation binary_op ); template < class InputIterator , class OutputIterator , class BinaryOperation , class T > constexpr OutputIterator inclusive_scan ( InputIterator first , InputIterator last , OutputIterator result , BinaryOperation binary_op , T init );
template < class InputIterator , class OutputIterator , class T , class BinaryOperation , class UnaryOperation > constexpr OutputIterator transform_exclusive_scan ( InputIterator first , InputIterator last , OutputIterator result , T init , BinaryOperation binary_op , UnaryOperation unary_op );
template < class InputIterator , class OutputIterator , class BinaryOperation , class UnaryOperation > constexpr OutputIterator transform_inclusive_scan ( InputIterator first , InputIterator last , OutputIterator result , BinaryOperation binary_op , UnaryOperation unary_op ); template < class InputIterator , class OutputIterator , class BinaryOperation , class UnaryOperation , class T > constexpr OutputIterator transform_inclusive_scan ( InputIterator first , InputIterator last , OutputIterator result , BinaryOperation binary_op , UnaryOperation unary_op , T init );
template < class InputIterator , class OutputIterator > constexpr OutputIterator adjacent_difference ( InputIterator first , InputIterator last , OutputIterator result ); template < class InputIterator , class OutputIterator , class BinaryOperation > constexpr OutputIterator adjacent_difference ( InputIterator first , InputIterator last , OutputIterator result , BinaryOperation binary_op );
template < class ForwardIterator , class T > constexpr void iota ( ForwardIterator first , ForwardIterator last , T value );

Change 25.9.2 Accumulate [accumulate] as the synopsis.

Change 25.9.3 Reduce [reduce] as the synopsis.

Change 25.9.4 Inner product [inner.product] as the synopsis.

Change 25.9.5 Transform reduce [transform.reduce] as the synopsis.

Change 25.9.6 Partial sum [partial.sum] as the synopsis.

Change 25.9.7 Exclusive scan [exclusive.scan] as the synopsis.

Change 25.9.8 Inclusive scan [inclusive.scan] as the synopsis.

Change 25.9.9 Transform exclusive scan [transform.exclusive.scan] as the synopsis.

Change 25.9.10 Transform inclusive scan [transform.inclusive.scan] as the synopsis.

Change 25.9.11 Adjacent difference [adjacent.difference] as the synopsis.

Change 25.9.12 Iota [iota] as the synopsis.
The featuretesting macro should also be updated.

Add a line to Table 36, 17.3.1 General [support.limits.general]/3 as indicated:
__cpp_lib_constexpr_numeric  [TBD]  <numeric> 
6. Thanks
Thanks to Jan Wilmans, Joe Loser and Casey Carter.