anyxx::is_proxy Concept Reference

Requirements for a proxy type. More...

#include <anyxx.hpp>

Concept definition

template<typename E>
concept is_proxy = requires(E e, mutable_void void_data, any_v_table* v_table) {
  typename proxy_trait<E>::void_t;
  typename proxy_trait<E>::static_dispatch_t;
  typename proxy_trait<E>::required_v_table_t;
  { proxy_trait<E>::is_constructibile_from_const } -> std::convertible_to<bool>;
  { proxy_trait<E>::is_owner } -> std::convertible_to<bool>;
  requires requires(proxy_trait<E>::required_v_table_t* required_v_table) {
    {
      proxy_trait<E>::get_proxy_ptr_in(e, required_v_table)
    } -> std::convertible_to<typename proxy_trait<E>::void_t>;
  };
  { proxy_trait<E>::is_weak } -> std::convertible_to<bool>;
  { proxy_trait<E>::clone_from(void_data, v_table) };
  { proxy_trait<E>::is_lifetime_bound } -> std::convertible_to<bool>;
  { proxy_trait<E>::is_object } -> std::convertible_to<bool>;
}

Detailed Description

Requirements for a proxy type.