std::ranges::views::zip_transform, std::ranges::zip_transform_view
From cppreference.com
C++
Feature test macros (C++20)
Concepts library (C++20)
Metaprogramming library (C++11)
Ranges library (C++20)
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Ranges library
(public member function of
returns a sentinel for the constant iterator of the range
(public member function of
(exposition-only member object*)
a
(class template) (customization point object)[edit]
(C++23)(C++23)
(C++23)(C++23)
(C++23)(C++23)
(C++26)(C++26)
(C++23)(C++23)
(C++23)(C++23)
(C++23)(C++23)
zip_transform_viewviews::zip_transform
(C++23)(C++23)
(C++23)(C++23)
(C++23)
(C++23)(C++23)
(C++23)
(C++23)(C++23)
(C++23)(C++23)
(C++23)(C++23)
(C++23)(C++23)
(C++23)(C++23)
(C++23)
std::ranges::zip_transform_view
Member functions
Non-member functions
Member functions
Non-member functions
Defined in header
<ranges>
template< std::move_constructible F, ranges::input_range... Views >
(1)
(since C++23)
requires (ranges::view <Views> && ...) && (sizeof...(Views) > 0) &&
std::is_object_v <F> && std::regular_invocable <
F&, ranges::range_reference_t <Views>...> &&
/*can-reference*/<std::invoke_result_t <
F&, ranges::range_reference_t <Views>...>>
class zip_transform_view
namespace views {
(2)
(since C++23)
inline constexpr /*unspecified*/ zip_transform = /*unspecified*/;
Call signature
template< class F, ranges::viewable_range... Rs >
(since C++23)
requires /* see below */
1)
A type
zip_transform_view is a range adaptor that takes an invocable object and one or more views, and produces a view whose ith element is the result of applying the invocable object to the ith elements of all views.A type
T models the exposition-only concept /*can-reference*/ if and only if T& is a valid type.2)
views::zip_transform is a customization point object.
When calling with one argument f, let FD be std::decay_t <decltype(f)>, if:
-
FDmodelscopy_constructible, - FD& models
regular_invocable, and - std::invoke_result_t <FD&> is an object type,
then views::zip_transform(f) is expression-equivalent to ((void)f, auto(views::empty <std::decay_t <std::invoke_result_t <FD&>>>)). Otherwise, the call to views::zip_transform is ill-formed.
zip_transform_view models the concepts random_access_range, bidirectional_range, forward_range, input_range, common_range, and sized_range when the underlying ranges::zip_view <Views...> models respective concepts.
Contents
Customization point objects
The name views::zip_transform denotes a customization point object, which is a const function object of a literal semiregular class type. See CustomizationPointObject for details.
[edit] Member functions
returns the number of elements, provided only if each underlying (adapted) range satisfies
(public member function) [edit]
sized_range (public member function) [edit]
Inherited from std::ranges::view_interface
returns whether the derived view is empty, provided only if it satisfies
(public member function of
sized_range or forward_range (public member function of
std::ranges::view_interface<D>) [edit]
(C++23)
(public member function of
std::ranges::view_interface<D>) [edit]
(C++23)
(public member function of
std::ranges::view_interface<D>) [edit]
returns whether the derived view is not empty, provided only if ranges::empty is applicable to it
(public member function of
(public member function of
std::ranges::view_interface<D>) [edit]
returns the first element in the derived view, provided if it satisfies
(public member function of
forward_range (public member function of
std::ranges::view_interface<D>) [edit]
returns the last element in the derived view, provided only if it satisfies
(public member function of
bidirectional_range and common_range (public member function of
std::ranges::view_interface<D>) [edit]
returns the
(public member function of
nth element in the derived view, provided only if it satisfies random_access_range (public member function of
std::ranges::view_interface<D>) [edit]
[edit] Deduction guides
[edit] Member types
Member type
Definition
ziperator (private)
- ranges::iterator_t <const InnerView> if Const is true, otherwise
- ranges::iterator_t <InnerView>.
(exposition-only member type*)
zentinel (private)
- ranges::sentinel_t <const InnerView> if Const is true, otherwise
- ranges::sentinel_t <InnerView>.
(exposition-only member type*)
[edit] Data members
Member object
Definition
zip_ (private)
An underlying view object of type InnerView(exposition-only member object*)
[edit] Nested classes
the sentinel type used when the underlying
(exposition-only member class template*)
zip_view is not a common_range (exposition-only member class template*)
[edit] Notes
| Feature-test macro | Value | Std | Feature |
|---|---|---|---|
__cpp_lib_ranges_zip |
202110L |
(C++23) | ranges::zip_view ,std::ranges::zip_transform_view,ranges::adjacent_view , ranges::adjacent_transform_view |
[edit] Example
Run this code
#include <array> #include <iostream> #include <list> #include <ranges> #include <vector> void print(auto const rem, auto const& r) { std::cout << rem << '{'; for (char o[]{0,' ',0}; auto const& e : r) std::cout << o << e, *o = ','; std::cout << "}\n"; } int main() { auto v1 = std::vector <float>{1, 2, 3}; auto v2 = std::list <short>{1, 2, 3, 4}; auto v3 = std::to_array ({1, 2, 3, 4, 5}); auto add = [](auto a, auto b, auto c) { return a + b + c; }; auto sum = std::views::zip_transform(add, v1, v2, v3); print("v1: ", v1); print("v2: ", v2); print("v3: ", v3); print("sum: ", sum); }
Output:
v1: {1, 2, 3}
v2: {1, 2, 3, 4}
v3: {1, 2, 3, 4, 5}
sum: {3, 6, 9}[edit] See also
(C++23)
view consisting of tuples of references to corresponding elements of the adapted views(class template) (customization point object)[edit]
a
(class template) (range adaptor object)[edit]
view of a sequence that applies a transformation function to each element(class template) (range adaptor object)[edit]
takes a
(class template) (range adaptor object)[edit]
view consisting of tuple-like values and a number N and produces a view of Nth element of each tuple(class template) (range adaptor object)[edit]