property.h

Go to the documentation of this file.

#pragma once

 
#include <scl/feature/detail/property_execution.h>
#include <scl/feature/reflection/type.h>
#include <scl/feature/type_traits/executor.h>
#include <scl/feature/wrapper.h>
 
#include <type_traits>
#include <utility>
 
// clang-format off

#define SCL_EXECUTOR_VALUE_TYPE \
    ::std::remove_reference_t<decltype(s_c_l_executor_type::access(::std::declval<s_c_l_executor_type &>()))>

#define SCL_REFLECT_PROPERTY_EXEC_HELPERS(prop)                                      \
    struct property_##prop##_scl_tag                                                 \
    {                                                                                \
        template <typename ScLExec>                                                  \
        static constexpr bool has_override =                                         \
            requires {                                                               \
                static_cast<                                                         \
                    decltype(::std::remove_cvref_t<ScLExec>::property_##prop(        \
                        ::std::declval<ScLExec>()))                                  \
                    (*)(ScLExec)                                                     \
                >(&::std::remove_cvref_t<ScLExec>::property_##prop);                 \
            };                                                                       \
        template <typename ScLExec>                                                  \
        static constexpr bool override_noexcept =                                    \
            []() constexpr noexcept -> bool {                                        \
                if constexpr (has_override<ScLExec>)                                 \
                    return noexcept(::std::remove_cvref_t<ScLExec>::property_##prop( \
                        ::std::declval<ScLExec>()));                                 \
                return false;                                                        \
            }();                                                                     \
        template <typename ScLExec>                                                  \
        static auto call_override(ScLExec && exec)                                   \
            -> decltype(::std::remove_cvref_t<ScLExec>::property_##prop(             \
                ::std::forward<ScLExec>(exec)))                                      \
        {                                                                            \
            return ::std::remove_cvref_t<ScLExec>::property_##prop(                  \
                ::std::forward<ScLExec>(exec));                                      \
        }                                                                            \
    };

#define SCL_DECLTYPE_PROPERTY(prop)                                                          \
    ::scl::wrapper<                                                                          \
        ::std::remove_reference_t<decltype(::std::declval<SCL_EXECUTOR_VALUE_TYPE>().prop)>, \
        ::scl::feature::detail::property_execution<s_c_l_executor_type,                      \
            property_##prop##_scl_tag>::template holder                                      \
    >

#define SCL_REFLECT_PROPERTY(prop)                               \
    SCL_REFLECT_PROPERTY_EXEC_HELPERS(prop)                      \
    SCL_DECLTYPE_PROPERTY(prop)                                  \
    prop{&::scl::feature::executor_trait<s_c_l_type>::executor(  \
             *static_cast<s_c_l_type  *>(this)),                 \
         &SCL_EXECUTOR_VALUE_TYPE::prop};
 
// clang-format on