jh::concepts::closable_container_for Concept Reference

Concept checking whether a container C can be directly constructed ("closed") from a range R. More...

#include <jh/conceptual/closable_container.h>

Concept definition

    template<typename C, typename R, typename ArgsTuple = std::tuple<>>
    concept closable_container_for =
    std::ranges::input_range<R> &&
    detail::closable_container_for_impl<C, R, ArgsTuple>::value

Detailed Description

Concept checking whether a container C can be directly constructed ("closed") from a range R.

This concept verifies, at compile time, that a container type C can be constructed from an input range R either directly (via iterator constructor) or indirectly (through intermediate vectorization or adapter construction).

Requirements

• R must model std::ranges::input_range.
• detail::compute_closable_status<C, R> must return a non-none value.

Equivalent to

std::ranges::input_range<R> && detail::closable_container_for_impl<C, R>::value

Template Parameters

C	candidate container type
R	input range type
ArgsTuple	optional tuple of constructor argument types