mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2025-12-06 08:46:53 +08:00
cff6a0aced
I initially tried to use the existing .clang-format file, but it does not match the code style (at least with clang-format 11) and the formatting is not consistent across files. Therefore, I decided to rewrite the .clang-format with some personal preferences. Used command find . -iname "*.hpp" -o -iname "*.cpp" | xargs clang-format -i -style=file
150 lines
7.2 KiB
C++
150 lines
7.2 KiB
C++
#ifndef CHAISCRIPT_FUNCTION_SIGNATURE_HPP
|
|
#define CHAISCRIPT_FUNCTION_SIGNATURE_HPP
|
|
|
|
#include <type_traits>
|
|
|
|
namespace chaiscript::dispatch::detail {
|
|
template<typename... Param>
|
|
struct Function_Params {
|
|
};
|
|
|
|
template<typename Ret, typename Params, bool IsNoExcept = false, bool IsMember = false, bool IsMemberObject = false, bool IsObject = false>
|
|
struct Function_Signature {
|
|
using Param_Types = Params;
|
|
using Return_Type = Ret;
|
|
constexpr static const bool is_object = IsObject;
|
|
constexpr static const bool is_member_object = IsMemberObject;
|
|
constexpr static const bool is_noexcept = IsNoExcept;
|
|
template<typename T>
|
|
constexpr Function_Signature(T &&) noexcept {
|
|
}
|
|
constexpr Function_Signature() noexcept = default;
|
|
};
|
|
|
|
// Free functions
|
|
|
|
template<typename Ret, typename... Param>
|
|
Function_Signature(Ret (*f)(Param...)) -> Function_Signature<Ret, Function_Params<Param...>>;
|
|
|
|
template<typename Ret, typename... Param>
|
|
Function_Signature(Ret (*f)(Param...) noexcept) -> Function_Signature<Ret, Function_Params<Param...>, true>;
|
|
|
|
// no reference specifier
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile) -> Function_Signature<Ret, Function_Params<volatile Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile noexcept)
|
|
-> Function_Signature<Ret, Function_Params<volatile Class &, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile const)
|
|
-> Function_Signature<Ret, Function_Params<volatile const Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile const noexcept)
|
|
-> Function_Signature<Ret, Function_Params<volatile const Class &, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...)) -> Function_Signature<Ret, Function_Params<Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) noexcept) -> Function_Signature<Ret, Function_Params<Class &, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) const) -> Function_Signature<Ret, Function_Params<const Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) const noexcept) -> Function_Signature<Ret, Function_Params<const Class &, Param...>, true, true>;
|
|
|
|
// & reference specifier
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile &) -> Function_Signature<Ret, Function_Params<volatile Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile &noexcept)
|
|
-> Function_Signature<Ret, Function_Params<volatile Class &, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile const &)
|
|
-> Function_Signature<Ret, Function_Params<volatile const Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile const &noexcept)
|
|
-> Function_Signature<Ret, Function_Params<volatile const Class &, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) &) -> Function_Signature<Ret, Function_Params<Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) &noexcept) -> Function_Signature<Ret, Function_Params<Class &, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) const &) -> Function_Signature<Ret, Function_Params<const Class &, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) const &noexcept) -> Function_Signature<Ret, Function_Params<const Class &, Param...>, true, true>;
|
|
|
|
// && reference specifier
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile &&) -> Function_Signature<Ret, Function_Params<volatile Class &&, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile &&noexcept)
|
|
-> Function_Signature<Ret, Function_Params<volatile Class &&, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile const &&)
|
|
-> Function_Signature<Ret, Function_Params<volatile const Class &&, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) volatile const &&noexcept)
|
|
-> Function_Signature<Ret, Function_Params<volatile const Class &&, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) &&) -> Function_Signature<Ret, Function_Params<Class &&, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) &&noexcept) -> Function_Signature<Ret, Function_Params<Class &&, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) const &&) -> Function_Signature<Ret, Function_Params<const Class &&, Param...>, false, true>;
|
|
|
|
template<typename Ret, typename Class, typename... Param>
|
|
Function_Signature(Ret (Class::*f)(Param...) const &&noexcept)
|
|
-> Function_Signature<Ret, Function_Params<const Class &&, Param...>, true, true>;
|
|
|
|
template<typename Ret, typename Class>
|
|
Function_Signature(Ret Class::*f) -> Function_Signature<Ret, Function_Params<Class &>, true, true, true>;
|
|
|
|
// primary template handles types that have no nested ::type member:
|
|
template<class, class = std::void_t<>>
|
|
struct has_call_operator : std::false_type {
|
|
};
|
|
|
|
// specialization recognizes types that do have a nested ::type member:
|
|
template<class T>
|
|
struct has_call_operator<T, std::void_t<decltype(&T::operator())>> : std::true_type {
|
|
};
|
|
|
|
template<typename Func>
|
|
auto function_signature(const Func &f) {
|
|
if constexpr (has_call_operator<Func>::value) {
|
|
return Function_Signature<typename decltype(Function_Signature{&std::decay_t<Func>::operator()})::Return_Type,
|
|
typename decltype(Function_Signature{&std::decay_t<Func>::operator()})::Param_Types,
|
|
decltype(Function_Signature{&std::decay_t<Func>::operator()})::is_noexcept,
|
|
false,
|
|
false,
|
|
true>{};
|
|
} else {
|
|
return Function_Signature{f};
|
|
}
|
|
}
|
|
|
|
} // namespace chaiscript::dispatch::detail
|
|
|
|
#endif
|