diff options
author | 2016-11-15 22:21:07 -0600 | |
---|---|---|
committer | 2016-11-15 22:21:07 -0600 | |
commit | a68d4239929802bca7131d4b97c2b8d149fbbcb9 (patch) | |
tree | 03a497191ccd83206e94c60aca635eb44d51c0f7 /3rdparty/sol2/sol/resolve.hpp | |
parent | 4d533249fdf28d3a473426130a82e673b1b1d5ec (diff) |
luaengine: use initializers (nw)
Diffstat (limited to '3rdparty/sol2/sol/resolve.hpp')
-rw-r--r-- | 3rdparty/sol2/sol/resolve.hpp | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/3rdparty/sol2/sol/resolve.hpp b/3rdparty/sol2/sol/resolve.hpp index 7445a8150a9..30e0400d755 100644 --- a/3rdparty/sol2/sol/resolve.hpp +++ b/3rdparty/sol2/sol/resolve.hpp @@ -26,6 +26,75 @@ #include "tuple.hpp" namespace sol { + // Clang has distinct problems with constexpr arguments, + // so don't use the constexpr versions inside of clang. +#ifndef __clang__ + namespace detail { + template<typename R, typename... Args, typename F, typename = std::result_of_t<meta::unqualified_t<F>(Args...)>> + inline constexpr auto resolve_i(types<R(Args...)>, F&&)->R(meta::unqualified_t<F>::*)(Args...) { + using Sig = R(Args...); + typedef meta::unqualified_t<F> Fu; + return static_cast<Sig Fu::*>(&Fu::operator()); + } + + template<typename F, typename U = meta::unqualified_t<F>> + inline constexpr auto resolve_f(std::true_type, F&& f) + -> decltype(resolve_i(types<meta::function_signature_t<decltype(&U::operator())>>(), std::forward<F>(f))) { + return resolve_i(types<meta::function_signature_t<decltype(&U::operator())>>(), std::forward<F>(f)); + } + + template<typename F> + inline constexpr void resolve_f(std::false_type, F&&) { + static_assert(meta::has_deducible_signature<F>::value, + "Cannot use no-template-parameter call with an overloaded functor: specify the signature"); + } + + template<typename F, typename U = meta::unqualified_t<F>> + inline constexpr auto resolve_i(types<>, F&& f) -> decltype(resolve_f(meta::has_deducible_signature<U>(), std::forward<F>(f))) { + return resolve_f(meta::has_deducible_signature<U> {}, std::forward<F>(f)); + } + + template<typename... Args, typename F, typename R = std::result_of_t<F&(Args...)>> + inline constexpr auto resolve_i(types<Args...>, F&& f) -> decltype(resolve_i(types<R(Args...)>(), std::forward<F>(f))) { + return resolve_i(types<R(Args...)>(), std::forward<F>(f)); + } + + template<typename Sig, typename C> + inline constexpr Sig C::* resolve_v(std::false_type, Sig C::* mem_func_ptr) { + return mem_func_ptr; + } + + template<typename Sig, typename C> + inline constexpr Sig C::* resolve_v(std::true_type, Sig C::* mem_variable_ptr) { + return mem_variable_ptr; + } + } // detail + + template<typename... Args, typename R> + inline constexpr auto resolve(R fun_ptr(Args...))->R(*)(Args...) { + return fun_ptr; + } + + template<typename Sig> + inline constexpr Sig* resolve(Sig* fun_ptr) { + return fun_ptr; + } + + template<typename... Args, typename R, typename C> + inline constexpr auto resolve(R(C::*mem_ptr)(Args...))->R(C::*)(Args...) { + return mem_ptr; + } + + template<typename Sig, typename C> + inline constexpr Sig C::* resolve(Sig C::* mem_ptr) { + return detail::resolve_v(std::is_member_object_pointer<Sig C::*>(), mem_ptr); + } + + template<typename... Sig, typename F, meta::disable<std::is_function<meta::unqualified_t<F>>> = meta::enabler> + inline constexpr auto resolve(F&& f) -> decltype(detail::resolve_i(types<Sig...>(), std::forward<F>(f))) { + return detail::resolve_i(types<Sig...>(), std::forward<F>(f)); + } +#else namespace detail { template<typename R, typename... Args, typename F, typename = std::result_of_t<meta::unqualified_t<F>(Args...)>> inline auto resolve_i(types<R(Args...)>, F&&)->R(meta::unqualified_t<F>::*)(Args...) { @@ -91,6 +160,7 @@ namespace sol { inline auto resolve(F&& f) -> decltype(detail::resolve_i(types<Sig...>(), std::forward<F>(f))) { return detail::resolve_i(types<Sig...>(), std::forward<F>(f)); } +#endif } // sol #endif // SOL_RESOLVE_HPP |