jh::concepts::indirectly_writable Concept Reference

Concept for types that support indirect write operations through dereference. More...

#include <jh/conceptual/iterator.h>

Concept definition

    template<typename Out, typename T>
    concept indirectly_writable =requires(Out &&o, T &&t) {
        *o = std::forward<T>(t);
        *std::forward<Out>(o) = std::forward<T>(t);
        const_cast<const jh::concepts::iterator_reference_t<Out> &&>(*o) = std::forward<T>(t);
        const_cast<const jh::concepts::iterator_reference_t<Out> &&>(*std::forward<Out>(o)) = std::forward<T>(t);
    }

Detailed Description

Concept for types that support indirect write operations through dereference.

Template Parameters

Out	Output iterator-like type to be tested.
T	Value type assignable through the iterator.