TypeTraits.hpp

Go to the documentation of this file.

// //          Copyright Dominic (DNKpp) Koepke 2024 - 2024.
// // Distributed under the Boost Software License, Version 1.0.
// //    (See accompanying file LICENSE_1_0.txt or copy at
// //          https://www.boost.org/LICENSE_1_0.txt)
 
#ifndef MIMICPP_TYPE_TRAITS_HPP
#define MIMICPP_TYPE_TRAITS_HPP
 
#pragma once
 
#include "Fwd.hpp"
 
#include <concepts>
#include <cstddef>
#include <tuple>
#include <type_traits>
 
namespace mimicpp
{
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...)>
    {
        using type = Return(Params...) noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...)>
    {
        using type = Return(Params..., ...) noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) noexcept>
    {
        using type = Return(Params...) noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) noexcept>
    {
        using type = Return(Params..., ...) noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) const>
    {
        using type = Return(Params...) const noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) const>
    {
        using type = Return(Params..., ...) const noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) const noexcept>
    {
        using type = Return(Params...) const noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) const noexcept>
    {
        using type = Return(Params..., ...) const noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) &>
    {
        using type = Return(Params...) & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) &>
    {
        using type = Return(Params..., ...) & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) & noexcept>
    {
        using type = Return(Params...) & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) & noexcept>
    {
        using type = Return(Params..., ...) & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) const &>
    {
        using type = Return(Params...) const & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) const &>
    {
        using type = Return(Params..., ...) const & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) const & noexcept>
    {
        using type = Return(Params...) const & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) const & noexcept>
    {
        using type = Return(Params..., ...) const & noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) &&>
    {
        using type = Return(Params...) && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) &&>
    {
        using type = Return(Params..., ...) && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) && noexcept>
    {
        using type = Return(Params...) && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) && noexcept>
    {
        using type = Return(Params..., ...) && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) const &&>
    {
        using type = Return(Params...) const && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) const &&>
    {
        using type = Return(Params..., ...) const && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params...) const && noexcept>
    {
        using type = Return(Params...) const && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_add_noexcept<Return(Params..., ...) const && noexcept>
    {
        using type = Return(Params..., ...) const && noexcept;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...)>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...)>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) noexcept>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) noexcept>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) const>
    {
        using type = Return(Params...) const;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) const>
    {
        using type = Return(Params..., ...) const;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) const noexcept>
    {
        using type = Return(Params...) const;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) const noexcept>
    {
        using type = Return(Params..., ...) const;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) &>
    {
        using type = Return(Params...) &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) &>
    {
        using type = Return(Params..., ...) &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) & noexcept>
    {
        using type = Return(Params...) &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) & noexcept>
    {
        using type = Return(Params..., ...) &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) const &>
    {
        using type = Return(Params...) const &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) const &>
    {
        using type = Return(Params..., ...) const &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) const & noexcept>
    {
        using type = Return(Params...) const &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) const & noexcept>
    {
        using type = Return(Params..., ...) const &;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) &&>
    {
        using type = Return(Params...) &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) &&>
    {
        using type = Return(Params..., ...) &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) && noexcept>
    {
        using type = Return(Params...) &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) && noexcept>
    {
        using type = Return(Params..., ...) &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) const &&>
    {
        using type = Return(Params...) const &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) const &&>
    {
        using type = Return(Params..., ...) const &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params...) const && noexcept>
    {
        using type = Return(Params...) const &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_remove_noexcept<Return(Params..., ...) const && noexcept>
    {
        using type = Return(Params..., ...) const &&;
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...)>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) const>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) &>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) const &>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) &&>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) const &&>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) noexcept>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) const noexcept>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) & noexcept>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) const & noexcept>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) && noexcept>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params...) const && noexcept>
    {
        using type = Return(Params...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...)>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) const>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) &>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) const &>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) &&>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) const &&>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) noexcept>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) const noexcept>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) & noexcept>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) const & noexcept>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) && noexcept>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Return, typename... Params>
    struct signature_decay<Return(Params..., ...) const && noexcept>
    {
        using type = Return(Params..., ...);
    };
 
    template <typename Signature>
        requires std::is_function_v<Signature>
    struct signature_return_type<Signature>
        : public signature_return_type<signature_decay_t<Signature>>
    {
    };
 
    template <typename Return, typename... Params>
    struct signature_return_type<Return(Params...)>
    {
        using type = Return;
    };
 
    template <typename Return, typename... Params>
    struct signature_return_type<Return(Params..., ...)>
    {
        using type = Return;
    };
 
    template <std::size_t index, typename Signature>
        requires std::is_function_v<Signature>
    struct signature_param_type<index, Signature>
        : public signature_param_type<
            index,
            signature_decay_t<Signature>>
    {
    };
 
    template <std::size_t index, typename Return, typename... Params>
    struct signature_param_type<index, Return(Params...)>
        : public std::tuple_element<index, std::tuple<Params...>>
    {
    };
 
    template <typename Signature>
        requires std::is_function_v<Signature>
    struct signature_param_list<Signature>
        : public signature_param_list<
            signature_decay_t<Signature>>
    {
    };
 
    template <typename Return, typename... Params>
    struct signature_param_list<Return(Params...)>
    {
        using type = std::tuple<Params...>;
    };
 
    namespace detail
    {
        template <typename First, typename Second, bool reversed = false>
        struct is_overloadable_with
            : public std::conditional_t<
                reversed,
                std::false_type,
                is_overloadable_with<Second, First, true>>
        {
        };
 
        template <typename First, typename Second>
            requires (
                !std::same_as<
                    signature_param_list_t<signature_decay_t<First>>,
                    signature_param_list_t<signature_decay_t<Second>>>)
        struct is_overloadable_with<First, Second, false>
            : public std::true_type
        {
        };
 
        template <typename Return1, typename Return2, typename... Params, bool reversed>
        struct is_overloadable_with<Return1(Params...), Return2(Params...) const, reversed>
            : public std::true_type
        {
        };
 
        template <typename Return1, typename Return2, typename... Params, bool reversed>
        struct is_overloadable_with<Return1(Params...) &, Return2(Params...) const &, reversed>
            : public std::true_type
        {
        };
 
        template <typename Return1, typename Return2, typename... Params, bool reversed>
        struct is_overloadable_with<Return1(Params...) &, Return2(Params...) &&, reversed>
            : public std::true_type
        {
        };
 
        template <typename Return1, typename Return2, typename... Params, bool reversed>
        struct is_overloadable_with<Return1(Params...) &, Return2(Params...) const &&, reversed>
            : public std::true_type
        {
        };
 
        template <typename Return1, typename Return2, typename... Params, bool reversed>
        struct is_overloadable_with<Return1(Params...) const &, Return2(Params...) &&, reversed>
            : public std::true_type
        {
        };
 
        template <typename Return1, typename Return2, typename... Params, bool reversed>
        struct is_overloadable_with<Return1(Params...) const &, Return2(Params...) const &&, reversed>
            : public std::true_type
        {
        };
 
        template <typename Return1, typename Return2, typename... Params, bool reversed>
        struct is_overloadable_with<Return1(Params...) &&, Return2(Params...) const &&, reversed>
            : public std::true_type
        {
        };
    }
 
    template <typename First, typename Second>
    struct is_overloadable_with
        : public detail::is_overloadable_with<
            signature_remove_noexcept_t<First>,
            signature_remove_noexcept_t<Second>>
    {
    };
 
    template <typename First>
    struct is_overload_set<First>
        : public std::true_type
    {
    };
 
    template <typename First, typename Second, typename... Others>
    struct is_overload_set<First, Second, Others...>
        : public std::conjunction<
            is_overloadable_with<First, Second>,
            is_overload_set<First, Others...>,
            is_overload_set<Second, Others...>>
    {
    };
}
 
#endif