sol2/sol/stack.hpp

382 lines
13 KiB
C++
Raw Normal View History

2013-11-25 17:56:27 +08:00
// The MIT License (MIT)
// Copyright (c) 2013 Danny Y., Rapptz
// 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_STACK_HPP
#define SOL_STACK_HPP
#include "error.hpp"
2013-11-25 17:56:27 +08:00
#include "reference.hpp"
#include "tuple.hpp"
#include "traits.hpp"
2013-11-25 17:56:27 +08:00
#include <utility>
#include <array>
#include <cstring>
#include <functional>
2013-11-25 17:56:27 +08:00
namespace sol {
namespace stack {
namespace detail {
inline nil_t get(types<nil_t>, lua_State* L, int index = -1) {
if (lua_isnil(L, index) == 0)
2014-05-22 10:24:15 +08:00
throw sol::error("not nil");
return nil_t{ };
}
inline lightuserdata_t get(types<lightuserdata_t>, lua_State* L, int index = -1) {
return{ lua_touserdata(L, lua_upvalueindex(index)) };
}
inline userdata_t get(types<userdata_t>, lua_State* L, int index = -1) {
return{ lua_touserdata(L, index) };
}
inline std::string get(types<std::string>, lua_State* L, int index = -1) {
std::string::size_type len;
auto str = lua_tolstring(L, index, &len);
return{ str, len };
}
inline const char* get(types<const char*>, lua_State* L, int index = -1) {
return lua_tostring(L, index);
}
inline type get(types<type>, lua_State* L, int index = -1) {
return static_cast<type>(lua_type(L, index));
}
template <typename T, typename U = typename std::remove_reference<T>::type>
inline U get_sol_type(std::true_type, types<T>, lua_State* L, int index = -1) {
return U(L, index);
}
template <typename T>
inline T& get_sol_type(std::false_type, types<T>, lua_State* L, int index = -1) {
userdata_t udata = get(types<userdata_t>{}, L, index);
T* obj = static_cast<T*>(udata.value);
return *obj;
}
template <typename T, typename U = Unqualified<T>>
inline auto get(types<T> t, lua_State* L, int index = -1) -> decltype(get_sol_type(std::is_base_of<sol::reference, U>(), t, L, index)) {
return get_sol_type(std::is_base_of<sol::reference, U>(), t, L, index);
}
template <typename Signature>
inline std::function<Signature> get(types<std::function<Signature>>, lua_State* L, int index = -1);
2013-11-25 17:56:27 +08:00
template<typename T>
inline T get_unsigned(std::true_type, lua_State* L, int index = -1) {
return lua_tounsigned(L, index);
2013-11-25 17:56:27 +08:00
}
template<typename T>
inline T get_unsigned(std::false_type, lua_State* L, int index = -1) {
return static_cast<T>(lua_tointeger(L, index));
2013-11-25 17:56:27 +08:00
}
template<typename T>
inline T get_arithmetic(std::false_type, lua_State* L, int index = -1) {
2013-11-25 17:56:27 +08:00
// T is a floating point
return static_cast<T>(lua_tonumber(L, index));
2013-11-25 17:56:27 +08:00
}
template<typename T>
inline T get_arithmetic(std::true_type, lua_State* L, int index = -1) {
2013-11-25 17:56:27 +08:00
// T is an integral
return get_unsigned<T>(std::is_unsigned<T>{}, L, index);
2013-11-25 17:56:27 +08:00
}
template<typename T>
inline T get_helper(std::true_type, lua_State* L, int index = -1) {
// T is a fundamental type
return get_arithmetic<T>(std::is_integral<T>{}, L, index);
2013-11-25 17:56:27 +08:00
}
template<>
inline bool get_helper<bool>(std::true_type, lua_State* L, int index) {
return lua_toboolean(L, index) != 0;
}
2013-11-25 17:56:27 +08:00
template<typename T>
2014-05-29 14:57:11 +08:00
inline auto get_helper(std::false_type, lua_State* L, int index = -1) -> decltype(get(types<T>(), L, index)) {
// T is a class
return get(types<T>(), L, index);
2013-11-25 17:56:27 +08:00
}
template<typename T>
inline void push_unsigned(std::true_type, lua_State* L, T x) {
2013-11-25 17:56:27 +08:00
lua_pushunsigned(L, x);
}
template<typename T>
inline void push_unsigned(std::false_type, lua_State* L, T x) {
2013-11-25 17:56:27 +08:00
lua_pushinteger(L, x);
}
template<typename T>
inline void push_arithmetic(std::true_type, lua_State* L, T x) {
2013-11-25 17:56:27 +08:00
// T is an integral type
push_unsigned(std::is_unsigned<T>{}, L, x);
2013-11-25 17:56:27 +08:00
}
template<typename T>
inline void push_arithmetic(std::false_type, lua_State* L, T x) {
2013-11-25 17:56:27 +08:00
// T is an floating point type
lua_pushnumber(L, x);
}
} // detail
template<typename T, typename U = Unqualified<T>>
2014-05-29 14:57:11 +08:00
inline auto get(lua_State* L, int index = -1) -> decltype(detail::get_helper<U>(std::is_arithmetic<U>{}, L, index)) {
return detail::get_helper<U>(std::is_arithmetic<U>{}, L, index);
}
template<typename T>
inline std::pair<T, int> get_user(lua_State* L, int index = 1) {
const static std::size_t data_t_count = (sizeof(T)+(sizeof(void*)-1)) / sizeof(void*);
typedef std::array<void*, data_t_count> data_t;
data_t voiddata{ {} };
for (std::size_t i = 0, d = 0; d < sizeof(T); ++i, d += sizeof(void*)) {
voiddata[ i ] = stack::get<lightuserdata_t>(L, index++);
}
return std::pair<T, int>(*reinterpret_cast<T*>(static_cast<void*>(voiddata.data())), index);
}
template<typename T>
2014-05-29 14:57:11 +08:00
auto pop(lua_State* L) -> decltype(get<T>(L)) {
auto&& r = get<T>(L);
2013-11-25 17:56:27 +08:00
lua_pop(L, 1);
return r;
2013-11-25 17:56:27 +08:00
}
template<typename T, bool B = std::is_arithmetic<T>::value>
inline typename std::enable_if<B, void>::type push(lua_State* L, T arithmetic) {
detail::push_arithmetic(std::is_integral<T>{}, L, arithmetic);
2013-11-25 17:56:27 +08:00
}
template<typename T, bool B = !std::is_arithmetic<T>::value &&
!std::is_same<Unqualified<T>, std::string>::value &&
has_begin_end<T>::value>
inline typename std::enable_if<B, void>::type push(lua_State* L, const T& cont) {
lua_createtable(L, cont.size(), 0);
unsigned index = 1;
for(auto&& i : cont) {
// push the index
push(L, index++);
// push the value
push(L, i);
// set the table
lua_settable(L, -3);
}
}
inline void push(lua_State*, reference& ref) {
ref.push();
}
2013-11-25 17:56:27 +08:00
inline void push(lua_State* L, bool boolean) {
lua_pushboolean(L, boolean);
}
inline void push(lua_State* L, const nil_t&) {
lua_pushnil(L);
}
inline void push(lua_State* L, lua_CFunction func) {
lua_pushcfunction(L, func);
}
inline void push(lua_State* L, lua_CFunction func, int n) {
lua_pushcclosure(L, func, n);
}
inline void push(lua_State* L, void* userdata) {
lua_pushlightuserdata(L, userdata);
2013-11-25 17:56:27 +08:00
}
template<size_t N>
inline void push(lua_State* L, const char (&str)[N]) {
lua_pushlstring(L, str, N - 1);
}
inline void push(lua_State* L, const char* str) {
lua_pushlstring(L, str, std::char_traits<char>::length(str));
}
2013-11-25 17:56:27 +08:00
inline void push(lua_State* L, const std::string& str) {
lua_pushlstring(L, str.c_str(), str.size());
}
template<typename T>
inline void push_user(lua_State* L, T& userdata, const char* metatablekey) {
T* pdatum = static_cast<T*>(lua_newuserdata(L, sizeof(T)));
T& datum = *pdatum;
datum = userdata;
if (metatablekey != nullptr) {
lua_getfield(L, LUA_REGISTRYINDEX, metatablekey);
lua_setmetatable(L, -2);
}
}
template<typename T, size_t N>
inline void push(lua_State* L, const std::array<T, N>& data) {
for (auto&& i : data) {
push(L, i);
}
}
template<typename T>
inline int push_user(lua_State* L, T& item) {
typedef typename std::decay<T>::type TValue;
const static std::size_t itemsize = sizeof(TValue);
const static std::size_t voidsize = sizeof(void*);
const static std::size_t voidsizem1 = voidsize - 1;
const static std::size_t data_t_count = (sizeof(TValue) + voidsizem1) / voidsize;
typedef std::array<void*, data_t_count> data_t;
data_t data{{}};
std::memcpy(std::addressof(data[0]), std::addressof(item), itemsize);
push(L, data);
return data_t_count;
}
namespace detail {
template<typename T, std::size_t... I>
inline void push_tuple(lua_State* L, indices<I...>, T&& tuplen) {
using swallow = char[1 + sizeof...(I)];
swallow {'\0', (sol::stack::push(L, std::get<I>(tuplen)), '\0')... };
}
template<typename F, typename... Vs, typename... Args>
inline auto ltr_get(lua_State*, int, F&& f, types<Args...>, types<>, Vs&&... vs) -> decltype(f(std::forward<Vs>(vs)...)) {
return f(std::forward<Vs>(vs)...);
}
template<typename F, typename Head, typename... Tail, typename... Vs, typename... Args>
inline auto ltr_get(lua_State* L, int index, F&& f, types<Args...> t, types<Head, Tail...>, Vs&&... vs) -> decltype(f(std::declval<Args>()...)) {
return ltr_get(L, index + 1, std::forward<F>(f), t, types<Tail...>(), std::forward<Vs>(vs)..., stack::get<Head>(L, index));
}
template<typename F, typename... Vs, typename... Args>
inline auto ltr_pop(lua_State*, F&& f, types<Args...>, types<>, Vs&&... vs) -> decltype(f(std::forward<Vs>(vs)...)) {
return f(std::forward<Vs>(vs)...);
}
template<typename F, typename Head, typename... Tail, typename... Vs, typename... Args>
inline auto ltr_pop(lua_State* L, F&& f, types<Args...> t, types<Head, Tail...>, Vs&&... vs) -> decltype(f(std::declval<Args>()...)) {
return ltr_pop(L, std::forward<F>(f), t, types<Tail...>(), std::forward<Vs>(vs)..., stack::pop<Head>(L));
}
template<typename F, typename... Vs, typename... Args>
inline auto rtl_pop(lua_State*, F&& f, types<Args...>, types<>, Vs&&... vs) -> decltype(f(std::forward<Vs>(vs)...)) {
return f(std::forward<Vs>(vs)...);
}
template<typename F, typename Head, typename... Tail, typename... Vs, typename... Args>
inline auto rtl_pop(lua_State* L, F&& f, types<Args...> t, types<Head, Tail...>, Vs&&... vs) -> decltype(f(std::declval<Args>()...)) {
return rtl_pop(L, std::forward<F>(f), t, types<Tail...>(), stack::pop<Head>(L), std::forward<Vs>(vs)...);
}
} // detail
template<typename... Args>
inline void push(lua_State* L, const std::tuple<Args...>& tuplen) {
detail::push_tuple(L, build_indices<sizeof...(Args)>(), tuplen);
}
template<typename... Args>
inline void push(lua_State* L, std::tuple<Args...>&& tuplen) {
detail::push_tuple(L, build_indices<sizeof...(Args)>(), std::move(tuplen));
}
template<typename T>
inline void push_reverse(lua_State* L, T&& item) {
push(L, std::forward<T>(item));
}
template<typename... Args>
inline void push_reverse(lua_State* L, const std::tuple<Args...>& tuplen) {
detail::push_tuple(L, build_reverse_indices<sizeof...(Args)>(), tuplen);
}
template<typename... Args>
inline void push_reverse(lua_State* L, std::tuple<Args...>&& tuplen) {
detail::push_tuple(L, build_reverse_indices<sizeof...(Args)>(), std::move(tuplen));
}
template<typename... Args, typename TFx>
inline auto get_call(lua_State* L, int index, TFx&& fx, types<Args...> t) -> decltype(detail::ltr_get(L, index, std::forward<TFx>(fx), t, t)) {
return detail::ltr_get(L, index, std::forward<TFx>(fx), t, t);
}
template<typename... Args, typename TFx>
inline auto get_call(lua_State* L, TFx&& fx, types<Args...> t) -> decltype(detail::ltr_get(L, 1, std::forward<TFx>(fx), t, t)) {
return detail::ltr_get(L, 1, std::forward<TFx>(fx), t, t);
}
template<typename... Args, typename TFx>
inline auto pop_call(lua_State* L, TFx&& fx, types<Args...> t) -> decltype(detail::ltr_pop(L, std::forward<TFx>(fx), t, t)) {
return detail::ltr_pop(L, std::forward<TFx>(fx), t, t);
}
template<typename... Args, typename TFx>
inline auto pop_reverse_call(lua_State* L, TFx&& fx, types<Args...> t) -> decltype(detail::rtl_pop(L, std::forward<TFx>(fx), t, reversed<Args...>())) {
return detail::rtl_pop(L, std::forward<TFx>(fx), t, reversed<Args...>());
}
inline void push_args(lua_State*) {
2013-12-15 12:31:23 +08:00
}
template<typename Arg, typename... Args>
inline void push_args(lua_State* L, Arg&& arg, Args&&... args) {
using swallow = char[];
2013-12-15 12:31:23 +08:00
stack::push(L, std::forward<Arg>(arg));
void(swallow{'\0', (stack::push(L, std::forward<Args>(args)), '\0')... });
}
inline call_syntax get_call_syntax(lua_State* L, const std::string& meta) {
if (get<type>(L, 1) == type::table) {
if (luaL_newmetatable(L, meta.c_str()) == 0) {
lua_settop(L, -2);
return call_syntax::colon;
}
}
return call_syntax::dot;
}
inline std::string dump_types(lua_State* L) {
std::string visual;
std::size_t size = lua_gettop(L) + 1;
for (std::size_t i = 1; i < size; ++i) {
if (i != 1)
visual += " | ";
visual += type_name(L, stack::get<type>(L, i));
}
return visual;
}
template <typename T>
struct get_return {
typedef decltype(get<T>(nullptr)) type;
};
2013-11-25 17:56:27 +08:00
} // stack
} // sol
#endif // SOL_STACK_HPP