containers.hpp

Go to the documentation of this file.

#pragma once
#include <array>
#include <map>
#include <meta>
#include <unordered_map>
#include <vector>

 
namespace welder::inline v0 {

enum class container_kind : unsigned char {
    sequence,       
    map,            
    fixed_sequence, 
};
 
namespace detail {

struct container_spec {
    std::meta::info tmpl;  
    container_kind kind;   
};

consteval std::array<container_spec, 4> reference_containers() {
    return {{
        {^^std::vector, container_kind::sequence},
        {^^std::array, container_kind::fixed_sequence},
        {^^std::map, container_kind::map},
        {^^std::unordered_map, container_kind::map},
    }};
}
 
} // namespace detail

consteval bool is_reference_container(std::meta::info type) {
    if (!std::meta::has_template_arguments(type))
        return false;
    const std::meta::info tmpl{std::meta::template_of(type)};
    for (const detail::container_spec& c : detail::reference_containers())
        if (c.tmpl == tmpl)
            return true;
    return false;
}

consteval container_kind container_kind_of(std::meta::info type) {
    const std::meta::info tmpl{std::meta::template_of(type)};
    for (const detail::container_spec& c : detail::reference_containers())
        if (c.tmpl == tmpl)
            return c.kind;
    return container_kind::sequence; // unreachable given the precondition
}

consteval bool container_is_contiguous(std::meta::info type) {
    if (!std::meta::has_template_arguments(type))
        return false;
    const std::meta::info tmpl{std::meta::template_of(type)};
    return tmpl == ^^std::vector || tmpl == ^^std::array;
}

template <class B>
concept rod_binds_containers =
    requires(typename B::module_type& m, const char* s) {
        B::template bind_container<std::vector<int>>(m, s);
    };
 
} // namespace welder