jh::concepts::collectable_container_for Concept Reference

Concept verifying that a container C can collect elements from a range R via incremental insertion. More...

#include <jh/conceptual/collectable_container.h>

Concept definition

    template<typename C, typename R>
    concept collectable_container_for =
    std::ranges::input_range<R> &&
    detail::collectable_container_for_impl<C, R>::value

Detailed Description

Concept verifying that a container C can collect elements from a range R via incremental insertion.

This concept represents the compile-time contract that a container type C supports an insertion form compatible with the semantics of jh::ranges::collect. Unlike closable_container_for, which checks for complete constructibility, this concept checks for valid incremental collection semantics (e.g. push_back, emplace, etc.).

Requirements

• R must model std::ranges::input_range.
• detail::compute_collectable_status<C, R> must not return none.

Template Parameters

C	container type to check
R	range type providing input