Detailed Description

template<typename T>
struct aui::any_view< T >

Template Parameters

T	element type

Warning: This API is experimental. Experimental APIs are likely to contain bugs, might be changed or removed in the future.

: aui::any_view is a dynamic range class that mimics the behavior of C++20 ranges/range-v3 using type-erased interfaces. It allows for the creation of runtime-checked, polymorphic ranges with input iterators.

Alternative implementation of ranges::views::any_view.

The general idea is to preserve lazy nature of C++20 ranges/range-v3 and flexibility between compilation modules.

Keep in mind that type erasure can lead to performance overhead due to dynamic dispatch.

aui::any_view initialized with an lvalue reference will contain a reference to the container; thus the container can be modified.

    AVector<int> elements{1,2,3};
    aui::any_view<int> ints = elements;
    EXPECT_EQ(ints | ranges::to_vector, std::vector({1, 2, 3 }));
    elements << 4;
    EXPECT_EQ(ints | ranges::to_vector, std::vector({1, 2, 3, 4 }));

aui::any_view initialized with an rvalue reference will move the container into itself; thus it acquires ownership.

    AVector<int> elements{1,2,3};
    aui::any_view<int> ints = std::move(elements);
    EXPECT_EQ(ints | ranges::to_vector, std::vector({1, 2, 3 }));
    elements << 4;
    EXPECT_EQ(ints | ranges::to_vector, std::vector({1, 2, 3 }));

Using aui::any_view::iterator acquired before modification of the referenced container may lead to undefined behaviour; it all depends on the referenced container.

aui::any_view follows the same principle as std::function for functors.

Contents

View Page Source Edit Page Source