Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[libc++][ranges] implement std::ranges::zip_transform_view #79605

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
huixie90 merged 27 commits into from
Jul 20, 2025
Merged

[libc++][ranges] implement std::ranges::zip_transform_view #79605

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
7de6bb5
[libc++][ranges] implement `std::ranges::zip_transform_view`
huixie90 Jan 26, 2024
db14a59
add tests
huixie90 Jan 29, 2024
080c28f
rebase
huixie90 Jul 6, 2025
2c6e763
complete some lwg issues
huixie90 Jul 6, 2025
1ef4003
ci
huixie90 Jul 6, 2025
5861f2c
format
huixie90 Jul 6, 2025
1911bbc
module
huixie90 Jul 6, 2025
0049ed5
lint
huixie90 Jul 6, 2025
5b6f2c0
ci
huixie90 Jul 6, 2025
36b58ed
review
huixie90 Jul 6, 2025
0de1e4d
ci
huixie90 Jul 6, 2025
9a5c4ee
LWG
huixie90 Jul 6, 2025
eb62d38
remove non ascii
huixie90 Jul 6, 2025
d22c37a
ci
huixie90 Jul 6, 2025
6271251
Update libcxx/docs/Status/Cxx23Issues.csv
ldionne Jul 11, 2025
83f7e91
Update libcxx/test/std/ranges/range.adaptors/range.zip.transform/ctad…
huixie90 Jul 12, 2025
bacf9ec
Update libcxx/test/std/ranges/range.adaptors/range.zip.transform/iter…
huixie90 Jul 12, 2025
a7a687f
review
huixie90 Jul 13, 2025
f8b8be4
release note
huixie90 Jul 13, 2025
097957d
types.h
huixie90 Jul 13, 2025
afa77fc
review
huixie90 Jul 18, 2025
d001885
Update libcxx/docs/Status/Cxx23Issues.csv
huixie90 Jul 19, 2025
cd1ad54
Update libcxx/docs/Status/Cxx23Issues.csv
huixie90 Jul 19, 2025
f1b2c42
Update libcxx/test/std/ranges/range.adaptors/range.zip.transform/types.h
huixie90 Jul 19, 2025
dfe80fd
format
huixie90 Jul 19, 2025
908fb3f
review
huixie90 Jul 19, 2025
ef55fe6
CI
huixie90 Jul 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
rebase
  • Loading branch information
@huixie90
huixie90 committed Jul 19, 2025
commit 080c28ff1cc103c4afc6636a1c1fe98a4ea68331
12 changes: 6 additions & 6 deletions libcxx/include/__ranges/zip_transform_view.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,12 +33,12 @@
#include <__type_traits/invoke.h>
#include <__type_traits/is_object.h>
#include <__type_traits/is_reference.h>
#include <__type_traits/is_referenceable.h>
#include <__type_traits/maybe_const.h>
#include <__type_traits/remove_cvref.h>
#include <__utility/forward.h>
#include <__utility/in_place.h>
#include <__utility/move.h>
#include <tuple>

#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
# pragma GCC system_header
Expand All @@ -53,16 +53,16 @@ namespace ranges {
template <move_constructible _Fn, input_range... _Views>
requires(view<_Views> && ...) &&
(sizeof...(_Views) > 0) && is_object_v<_Fn> && regular_invocable<_Fn&, range_reference_t<_Views>...> &&
__can_reference<invoke_result_t<_Fn&, range_reference_t<_Views>...>>
__referenceable<invoke_result_t<_Fn&, range_reference_t<_Views>...>>
class zip_transform_view : public view_interface<zip_transform_view<_Fn, _Views...>> {
_LIBCPP_NO_UNIQUE_ADDRESS zip_view<_Views...> __zip_;
_LIBCPP_NO_UNIQUE_ADDRESS __movable_box<_Fn> __fun_;

using _InnerView = zip_view<_Views...>;
template <bool _Const>
using __ziperator = iterator_t<__maybe_const<_Const, _InnerView>>;
template <bool Const>
using __zentinel = sentinel_t<__maybe_const<Const, _InnerView>>;
template <bool _Const>
using __zentinel = sentinel_t<__maybe_const<_Const, _InnerView>>;

template <bool>
class __iterator;
Expand Down Expand Up @@ -153,7 +153,7 @@ struct __zip_transform_iterator_category_base<_Const, _Fn, _Views...> {
template <move_constructible _Fn, input_range... _Views>
requires(view<_Views> && ...) &&
(sizeof...(_Views) > 0) && is_object_v<_Fn> && regular_invocable<_Fn&, range_reference_t<_Views>...> &&
__can_reference<invoke_result_t<_Fn&, range_reference_t<_Views>...>>
__referenceable<invoke_result_t<_Fn&, range_reference_t<_Views>...>>
template <bool _Const>
class zip_transform_view<_Fn, _Views...>::__iterator
: public __zip_transform_iterator_category_base<_Const, _Fn, _Views...> {
Expand Down Expand Up @@ -285,7 +285,7 @@ class zip_transform_view<_Fn, _Views...>::__iterator
template <move_constructible _Fn, input_range... _Views>
requires(view<_Views> && ...) &&
(sizeof...(_Views) > 0) && is_object_v<_Fn> && regular_invocable<_Fn&, range_reference_t<_Views>...> &&
__can_reference<invoke_result_t<_Fn&, range_reference_t<_Views>...>>
__referenceable<invoke_result_t<_Fn&, range_reference_t<_Views>...>>
template <bool _Const>
class zip_transform_view<_Fn, _Views...>::__sentinel {
__zentinel<_Const> __inner_;
Expand Down
1 change: 1 addition & 0 deletions libcxx/test/std/ranges/range.adaptors/range.zip.transform/cpo.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
#include <algorithm>
#include <array>
#include <cassert>
#include <functional>
#include <type_traits>

struct NotMoveConstructible {
Expand Down