mirror of
https://gitlab.com/OpenMW/openmw.git
synced 2025-04-28 21:07:59 +03:00
1af8fd87d9
To fix warning (silenced by 3b97af0ac417c6f5ee2d16fa4c2cab2885409352):
In file included from ../../../extern/sol3/sol/stack_check_get.hpp:28,
from ../../../extern/sol3/sol/stack.hpp:32,
from ../../../extern/sol3/sol/sol.hpp:52,
from ../../../components/lua/luastate.hpp:8,
from ../../../apps/openmw/mwlua/context.hpp:4,
from ../../../apps/openmw/mwlua/soundbindings.hpp:6,
from ../../../apps/openmw/mwlua/soundbindings.cpp:1:
In function 'OptionalType sol::stack::stack_detail::get_optional(lua_State*, int, Handler&&, sol::stack::record&) [with OptionalType = sol::optional<float>; T = float; Handler = int (*)(lua_State*, int, sol::type, sol::type, const char*) noexcept]',
inlined from 'static Optional sol::stack::qualified_getter<Optional, typename std::enable_if<is_optional_v<Optional>, void>::type>::get(lua_State*, int, sol::stack::record&) [with Optional = sol::optional<float>]' at ../../../extern/sol3/sol/stack_check_get_qualified.hpp:133:50,
inlined from 'decltype(auto) sol::stack::stack_detail::unchecked_get(lua_State*, int, sol::stack::record&) [with T = sol::optional<float>]' at ../../../extern/sol3/sol/stack_core.hpp:725:18,
inlined from 'decltype (unchecked_get<T>(L, index, tracking)) sol::stack::get(lua_State*, int, record&) [with T = sol::optional<float>]' at ../../../extern/sol3/sol/stack_core.hpp:1186:41,
inlined from 'decltype(auto) sol::stack::get(lua_State*, int) [with T = sol::optional<float>]' at ../../../extern/sol3/sol/stack_core.hpp:1193:17:
../../../extern/sol3/sol/stack_check_get_qualified.hpp:112:49: error: '*(float*)((char*)&<unnamed> + offsetof(sol::optional<float>,sol::optional<float>::<unnamed>.sol::detail::optional_move_assign_base<float, true>::<unnamed>.sol::detail::optional_copy_assign_base<float, true>::<unnamed>.sol::detail::optional_move_base<float, true>::<unnamed>.sol::detail::optional_copy_base<float, true>::<unnamed>.sol::detail::optional_operations_base<float>::<unnamed>.sol::detail::optional_storage_base<float, true>::<unnamed>))' may be used uninitialized [-Werror=maybe-uninitialized]
112 | return {};
| ^
../../../extern/sol3/sol/stack_check_get_qualified.hpp: In function 'decltype(auto) sol::stack::get(lua_State*, int) [with T = sol::optional<float>]':
../../../extern/sol3/sol/stack_check_get_qualified.hpp:112:49: note: '<anonymous>' declared here
112 | return {};
| ^
173 lines
6.5 KiB
C++
173 lines
6.5 KiB
C++
// sol2
|
|
|
|
// The MIT License (MIT)
|
|
|
|
// Copyright (c) 2013-2022 Rapptz, ThePhD and contributors
|
|
|
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of
|
|
// this software and associated documentation files (the "Software"), to deal in
|
|
// the Software without restriction, including without limitation the rights to
|
|
// use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
|
|
// the Software, and to permit persons to whom the Software is furnished to do so,
|
|
// subject to the following conditions:
|
|
|
|
// The above copyright notice and this permission notice shall be included in all
|
|
// copies or substantial portions of the Software.
|
|
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
|
|
// FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
|
|
// COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
|
|
// IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
|
// CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
|
|
|
#ifndef SOL_RESOLVE_HPP
|
|
#define SOL_RESOLVE_HPP
|
|
|
|
#include <sol/traits.hpp>
|
|
#include <sol/tuple.hpp>
|
|
|
|
namespace sol {
|
|
|
|
#ifndef __clang__
|
|
// constexpr is fine for not-clang
|
|
|
|
namespace detail {
|
|
template <typename R, typename... Args, typename F, typename = std::invoke_result_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::call_operator_deducible_v<F>, "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::call_operator_deducible<U>(), std::forward<F>(f))) {
|
|
return resolve_f(meta::call_operator_deducible<U> {}, std::forward<F>(f));
|
|
}
|
|
|
|
template <typename... Args, typename F, typename R = std::invoke_result_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;
|
|
}
|
|
} // namespace 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
|
|
|
|
// Clang has distinct problems with constexpr arguments,
|
|
// so don't use the constexpr versions inside of clang.
|
|
|
|
namespace detail {
|
|
template <typename R, typename... Args, typename F, typename = std::invoke_result_t<meta::unqualified_t<F>, Args...>>
|
|
inline 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 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 void resolve_f(std::false_type, F&&) {
|
|
static_assert(meta::call_operator_deducible_v<F>, "Cannot use no-template-parameter call with an overloaded functor: specify the signature");
|
|
}
|
|
|
|
template <typename F, typename U = meta::unqualified_t<F>>
|
|
inline auto resolve_i(types<>, F&& f) -> decltype(resolve_f(meta::call_operator_deducible<U>(), std::forward<F>(f))) {
|
|
return resolve_f(meta::call_operator_deducible<U> {}, std::forward<F>(f));
|
|
}
|
|
|
|
template <typename... Args, typename F, typename R = std::invoke_result_t<F&, Args...>>
|
|
inline 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 Sig C::*resolve_v(std::false_type, Sig C::*mem_func_ptr) {
|
|
return mem_func_ptr;
|
|
}
|
|
|
|
template <typename Sig, typename C>
|
|
inline Sig C::*resolve_v(std::true_type, Sig C::*mem_variable_ptr) {
|
|
return mem_variable_ptr;
|
|
}
|
|
} // namespace detail
|
|
|
|
template <typename... Args, typename R>
|
|
inline auto resolve(R fun_ptr(Args...)) -> R (*)(Args...) {
|
|
return fun_ptr;
|
|
}
|
|
|
|
template <typename Sig>
|
|
inline Sig* resolve(Sig* fun_ptr) {
|
|
return fun_ptr;
|
|
}
|
|
|
|
template <typename... Args, typename R, typename C>
|
|
inline auto resolve(R (C::*mem_ptr)(Args...)) -> R (C::*)(Args...) {
|
|
return mem_ptr;
|
|
}
|
|
|
|
template <typename Sig, typename C>
|
|
inline 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>
|
|
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
|
|
|
|
} // namespace sol
|
|
|
|
#endif // SOL_RESOLVE_HPP
|