This patch implements the C++20 ranges overloads for the algorithms in [algorithms]. Most of the algorithms were reimplemented, with each of their implementations very closely following the existing implementation in bits/stl_algo.h and bits/stl_algobase.h. The reason for reimplementing most of the algorithms instead of forwarding to their STL-style overload is because forwarding cannot be conformantly and efficiently performed for algorithms that operate on non-random-access iterators. But algorithms that operate on random access iterators can safely and efficiently be forwarded to the STL-style implementation, and this patch does so for push_heap, pop_heap, make_heap, sort_heap, sort, stable_sort, nth_element, inplace_merge and stable_partition. What's missing from this patch is debug-iterator and container specializations that are present for some of the STL-style algorithms that need to be ported over to the ranges algos. I marked them missing at TODO comments. There are also some other minor outstanding TODOs. The code that could use the most thorough review is ranges::__copy_or_move, ranges::__copy_or_move_backward, ranges::__equal and ranges::__lexicographical_compare. In the tests, I tried to test the interface of each new overload, as well as the correctness of the new implementation. libstdc++-v3/ChangeLog: Implement C++20 constrained algorithms * include/Makefile.am: Add new header. * include/Makefile.in: Regenerate. * include/std/algorithm: Include <bits/ranges_algo.h>. * include/bits/ranges_algo.h: New file. * testsuite/25_algorithms/adjacent_find/constrained.cc: New test. * testsuite/25_algorithms/all_of/constrained.cc: New test. * testsuite/25_algorithms/any_of/constrained.cc: New test. * testsuite/25_algorithms/binary_search/constrained.cc: New test. * testsuite/25_algorithms/copy/constrained.cc: New test. * testsuite/25_algorithms/copy_backward/constrained.cc: New test. * testsuite/25_algorithms/copy_if/constrained.cc: New test. * testsuite/25_algorithms/copy_n/constrained.cc: New test. * testsuite/25_algorithms/count/constrained.cc: New test. * testsuite/25_algorithms/count_if/constrained.cc: New test. * testsuite/25_algorithms/equal/constrained.cc: New test. * testsuite/25_algorithms/equal_range/constrained.cc: New test. * testsuite/25_algorithms/fill/constrained.cc: New test. * testsuite/25_algorithms/fill_n/constrained.cc: New test. * testsuite/25_algorithms/find/constrained.cc: New test. * testsuite/25_algorithms/find_end/constrained.cc: New test. * testsuite/25_algorithms/find_first_of/constrained.cc: New test. * testsuite/25_algorithms/find_if/constrained.cc: New test. * testsuite/25_algorithms/find_if_not/constrained.cc: New test. * testsuite/25_algorithms/for_each/constrained.cc: New test. * testsuite/25_algorithms/generate/constrained.cc: New test. * testsuite/25_algorithms/generate_n/constrained.cc: New test. * testsuite/25_algorithms/heap/constrained.cc: New test. * testsuite/25_algorithms/includes/constrained.cc: New test. * testsuite/25_algorithms/inplace_merge/constrained.cc: New test. * testsuite/25_algorithms/is_partitioned/constrained.cc: New test. * testsuite/25_algorithms/is_permutation/constrained.cc: New test. * testsuite/25_algorithms/is_sorted/constrained.cc: New test. * testsuite/25_algorithms/is_sorted_until/constrained.cc: New test. * testsuite/25_algorithms/lexicographical_compare/constrained.cc: New test. * testsuite/25_algorithms/lower_bound/constrained.cc: New test. * testsuite/25_algorithms/max/constrained.cc: New test. * testsuite/25_algorithms/max_element/constrained.cc: New test. * testsuite/25_algorithms/merge/constrained.cc: New test. * testsuite/25_algorithms/min/constrained.cc: New test. * testsuite/25_algorithms/min_element/constrained.cc: New test. * testsuite/25_algorithms/minmax/constrained.cc: New test. * testsuite/25_algorithms/minmax_element/constrained.cc: New test. * testsuite/25_algorithms/mismatch/constrained.cc: New test. * testsuite/25_algorithms/move/constrained.cc: New test. * testsuite/25_algorithms/move_backward/constrained.cc: New test. * testsuite/25_algorithms/next_permutation/constrained.cc: New test. * testsuite/25_algorithms/none_of/constrained.cc: New test. * testsuite/25_algorithms/nth_element/constrained.cc: New test. * testsuite/25_algorithms/partial_sort/constrained.cc: New test. * testsuite/25_algorithms/partial_sort_copy/constrained.cc: New test. * testsuite/25_algorithms/partition/constrained.cc: New test. * testsuite/25_algorithms/partition_copy/constrained.cc: New test. * testsuite/25_algorithms/partition_point/constrained.cc: New test. * testsuite/25_algorithms/prev_permutation/constrained.cc: New test. * testsuite/25_algorithms/remove/constrained.cc: New test. * testsuite/25_algorithms/remove_copy/constrained.cc: New test. * testsuite/25_algorithms/remove_copy_if/constrained.cc: New test. * testsuite/25_algorithms/remove_if/constrained.cc: New test. * testsuite/25_algorithms/replace/constrained.cc: New test. * testsuite/25_algorithms/replace_copy/constrained.cc: New test. * testsuite/25_algorithms/replace_copy_if/constrained.cc: New test. * testsuite/25_algorithms/replace_if/constrained.cc: New test. * testsuite/25_algorithms/reverse/constrained.cc: New test. * testsuite/25_algorithms/reverse_copy/constrained.cc: New test. * testsuite/25_algorithms/rotate/constrained.cc: New test. * testsuite/25_algorithms/rotate_copy/constrained.cc: New test. * testsuite/25_algorithms/search/constrained.cc: New test. * testsuite/25_algorithms/search_n/constrained.cc: New test. * testsuite/25_algorithms/set_difference/constrained.cc: New test. * testsuite/25_algorithms/set_intersection/constrained.cc: New test. * testsuite/25_algorithms/set_symmetric_difference/constrained.cc: New test. * testsuite/25_algorithms/set_union/constrained.cc: New test. * testsuite/25_algorithms/shuffle/constrained.cc: New test. * testsuite/25_algorithms/sort/constrained.cc: New test. * testsuite/25_algorithms/stable_partition/constrained.cc: New test. * testsuite/25_algorithms/stable_sort/constrained.cc: New test. * testsuite/25_algorithms/swap_ranges/constrained.cc: New test. * testsuite/25_algorithms/transform/constrained.cc: New test. * testsuite/25_algorithms/unique/constrained.cc: New test. * testsuite/25_algorithms/unique_copy/constrained.cc: New test. * testsuite/25_algorithms/upper_bound/constrained.cc: New test.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| algorithmfwd.h | Loading commit data... | |
| alloc_traits.h | Loading commit data... | |
| allocated_ptr.h | Loading commit data... | |
| allocator.h | Loading commit data... | |
| atomic_base.h | Loading commit data... | |
| atomic_futex.h | Loading commit data... | |
| basic_ios.h | Loading commit data... | |
| basic_ios.tcc | Loading commit data... | |
| basic_string.h | Loading commit data... | |
| basic_string.tcc | Loading commit data... | |
| boost_concept_check.h | Loading commit data... | |
| c++0x_warning.h | Loading commit data... | |
| c++config | Loading commit data... | |
| char_traits.h | Loading commit data... | |
| charconv.h | Loading commit data... | |
| codecvt.h | Loading commit data... | |
| concept_check.h | Loading commit data... | |
| cpp_type_traits.h | Loading commit data... | |
| deque.tcc | Loading commit data... | |
| enable_special_members.h | Loading commit data... | |
| erase_if.h | Loading commit data... | |
| forward_list.h | Loading commit data... | |
| forward_list.tcc | Loading commit data... | |
| fs_dir.h | Loading commit data... | |
| fs_fwd.h | Loading commit data... | |
| fs_ops.h | Loading commit data... | |
| fs_path.h | Loading commit data... | |
| fstream.tcc | Loading commit data... | |
| functexcept.h | Loading commit data... | |
| functional_hash.h | Loading commit data... | |
| gslice.h | Loading commit data... | |
| gslice_array.h | Loading commit data... | |
| hashtable.h | Loading commit data... | |
| hashtable_policy.h | Loading commit data... | |
| indirect_array.h | Loading commit data... | |
| invoke.h | Loading commit data... | |
| ios_base.h | Loading commit data... | |
| istream.tcc | Loading commit data... | |
| iterator_concepts.h | Loading commit data... | |
| list.tcc | Loading commit data... | |
| locale_classes.h | Loading commit data... | |
| locale_classes.tcc | Loading commit data... | |
| locale_conv.h | Loading commit data... | |
| locale_facets.h | Loading commit data... | |
| locale_facets.tcc | Loading commit data... | |
| locale_facets_nonio.h | Loading commit data... | |
| locale_facets_nonio.tcc | Loading commit data... | |
| localefwd.h | Loading commit data... | |
| mask_array.h | Loading commit data... | |
| memoryfwd.h | Loading commit data... | |
| move.h | Loading commit data... | |
| node_handle.h | Loading commit data... | |
| ostream.tcc | Loading commit data... | |
| ostream_insert.h | Loading commit data... | |
| parse_numbers.h | Loading commit data... | |
| postypes.h | Loading commit data... | |
| predefined_ops.h | Loading commit data... | |
| ptr_traits.h | Loading commit data... | |
| quoted_string.h | Loading commit data... | |
| random.h | Loading commit data... | |
| random.tcc | Loading commit data... | |
| range_access.h | Loading commit data... | |
| range_cmp.h | Loading commit data... | |
| ranges_algo.h | Loading commit data... | |
| refwrap.h | Loading commit data... | |
| regex.h | Loading commit data... | |
| regex.tcc | Loading commit data... | |
| regex_automaton.h | Loading commit data... | |
| regex_automaton.tcc | Loading commit data... | |
| regex_compiler.h | Loading commit data... | |
| regex_compiler.tcc | Loading commit data... | |
| regex_constants.h | Loading commit data... | |
| regex_error.h | Loading commit data... | |
| regex_executor.h | Loading commit data... | |
| regex_executor.tcc | Loading commit data... | |
| regex_scanner.h | Loading commit data... | |
| regex_scanner.tcc | Loading commit data... | |
| shared_ptr.h | Loading commit data... | |
| shared_ptr_atomic.h | Loading commit data... | |
| shared_ptr_base.h | Loading commit data... | |
| slice_array.h | Loading commit data... | |
| specfun.h | Loading commit data... | |
| sstream.tcc | Loading commit data... | |
| std_abs.h | Loading commit data... | |
| std_function.h | Loading commit data... | |
| std_mutex.h | Loading commit data... | |
| stl_algo.h | Loading commit data... | |
| stl_algobase.h | Loading commit data... | |
| stl_bvector.h | Loading commit data... | |
| stl_construct.h | Loading commit data... | |
| stl_deque.h | Loading commit data... | |
| stl_function.h | Loading commit data... | |
| stl_heap.h | Loading commit data... | |
| stl_iterator.h | Loading commit data... | |
| stl_iterator_base_funcs.h | Loading commit data... | |
| stl_iterator_base_types.h | Loading commit data... | |
| stl_list.h | Loading commit data... | |
| stl_map.h | Loading commit data... | |
| stl_multimap.h | Loading commit data... | |
| stl_multiset.h | Loading commit data... | |
| stl_numeric.h | Loading commit data... | |
| stl_pair.h | Loading commit data... | |
| stl_queue.h | Loading commit data... | |
| stl_raw_storage_iter.h | Loading commit data... | |
| stl_relops.h | Loading commit data... | |
| stl_set.h | Loading commit data... | |
| stl_stack.h | Loading commit data... | |
| stl_tempbuf.h | Loading commit data... | |
| stl_tree.h | Loading commit data... | |
| stl_uninitialized.h | Loading commit data... | |
| stl_vector.h | Loading commit data... | |
| stream_iterator.h | Loading commit data... | |
| streambuf.tcc | Loading commit data... | |
| streambuf_iterator.h | Loading commit data... | |
| string_view.tcc | Loading commit data... | |
| stringfwd.h | Loading commit data... | |
| uniform_int_dist.h | Loading commit data... | |
| unique_lock.h | Loading commit data... | |
| unique_ptr.h | Loading commit data... | |
| unordered_map.h | Loading commit data... | |
| unordered_set.h | Loading commit data... | |
| uses_allocator.h | Loading commit data... | |
| valarray_after.h | Loading commit data... | |
| valarray_array.h | Loading commit data... | |
| valarray_array.tcc | Loading commit data... | |
| valarray_before.h | Loading commit data... | |
| vector.tcc | Loading commit data... |