2016-03-14 21:53:24 +08:00
|
|
|
// The MIT License (MIT)
|
2013-12-03 03:22:51 +08:00
|
|
|
|
2016-02-27 15:43:53 +08:00
|
|
|
// Copyright (c) 2013-2016 Rapptz, ThePhD and contributors
|
2013-12-03 03:22:51 +08:00
|
|
|
|
|
|
|
// 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_FUNCTION_HPP
|
|
|
|
#define SOL_FUNCTION_HPP
|
|
|
|
|
|
|
|
#include "reference.hpp"
|
|
|
|
#include "stack.hpp"
|
2014-08-06 00:07:29 +08:00
|
|
|
#include "resolve.hpp"
|
2016-02-01 16:27:06 +08:00
|
|
|
#include "function_result.hpp"
|
2016-03-03 10:02:12 +08:00
|
|
|
#include "function_types.hpp"
|
2014-04-24 20:15:12 +08:00
|
|
|
#include <cstdint>
|
2014-05-31 03:30:14 +08:00
|
|
|
#include <functional>
|
2014-06-07 12:24:48 +08:00
|
|
|
#include <memory>
|
2013-12-03 03:22:51 +08:00
|
|
|
|
|
|
|
namespace sol {
|
2016-03-13 20:30:14 +08:00
|
|
|
template <typename Sig, typename... Functions>
|
|
|
|
struct function_packer {
|
|
|
|
std::tuple<Functions...> set;
|
|
|
|
template <typename... Args>
|
|
|
|
function_packer(Args&&... args) : set(std::forward<Args>(args)...) {}
|
|
|
|
};
|
2016-02-24 12:39:46 +08:00
|
|
|
|
|
|
|
template <typename Sig, typename... Args>
|
|
|
|
function_packer<Sig, Args...> function_pack( Args&&... args ) {
|
|
|
|
return function_packer<Sig, Args...>(std::forward<Args>(args)...);
|
|
|
|
}
|
|
|
|
|
2016-02-01 16:27:06 +08:00
|
|
|
class function : public reference {
|
2016-01-11 09:36:37 +08:00
|
|
|
private:
|
2016-01-29 08:57:02 +08:00
|
|
|
void luacall( std::ptrdiff_t argcount, std::ptrdiff_t resultcount ) const {
|
|
|
|
lua_callk( lua_state( ), static_cast<int>( argcount ), static_cast<int>( resultcount ), 0, nullptr );
|
|
|
|
}
|
|
|
|
|
|
|
|
template<std::size_t... I, typename... Ret>
|
2016-02-13 01:47:05 +08:00
|
|
|
auto invoke( types<Ret...>, std::index_sequence<I...>, std::ptrdiff_t n ) const {
|
2016-02-01 16:27:06 +08:00
|
|
|
luacall( n, sizeof...( Ret ) );
|
2016-01-29 08:57:02 +08:00
|
|
|
int stacksize = lua_gettop( lua_state( ) );
|
2016-02-22 08:26:58 +08:00
|
|
|
int firstreturn = std::max(1, stacksize - static_cast<int>(sizeof...(Ret)) + 1);
|
2016-02-13 01:47:05 +08:00
|
|
|
auto r = stack::get<std::tuple<Ret...>>( lua_state( ), firstreturn );
|
2016-02-22 08:26:58 +08:00
|
|
|
lua_pop(lua_state(), static_cast<int>(sizeof...(Ret)));
|
2016-01-29 08:57:02 +08:00
|
|
|
return r;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<std::size_t I, typename Ret>
|
2016-02-13 01:47:05 +08:00
|
|
|
Ret invoke(types<Ret>, std::index_sequence<I>, std::ptrdiff_t n ) const {
|
2016-01-29 08:57:02 +08:00
|
|
|
luacall( n, 1 );
|
|
|
|
return stack::pop<Ret>( lua_state( ) );
|
|
|
|
}
|
|
|
|
|
|
|
|
template <std::size_t I>
|
2016-02-13 01:47:05 +08:00
|
|
|
void invoke(types<void>, std::index_sequence<I>, std::ptrdiff_t n) const {
|
2016-01-29 08:57:02 +08:00
|
|
|
luacall( n, 0 );
|
|
|
|
}
|
|
|
|
|
2016-02-13 01:47:05 +08:00
|
|
|
function_result invoke(types<>, std::index_sequence<>, std::ptrdiff_t n ) const {
|
2016-01-29 08:57:02 +08:00
|
|
|
int stacksize = lua_gettop( lua_state( ) );
|
2016-02-01 16:27:06 +08:00
|
|
|
int firstreturn = std::max( 1, stacksize - static_cast<int>( n ) );
|
2016-02-13 01:47:05 +08:00
|
|
|
luacall(n, LUA_MULTRET);
|
2016-02-02 00:56:44 +08:00
|
|
|
int poststacksize = lua_gettop( lua_state( ) );
|
2016-02-13 01:47:05 +08:00
|
|
|
int returncount = poststacksize - (firstreturn - 1);
|
2016-02-14 09:14:31 +08:00
|
|
|
return function_result( lua_state( ), firstreturn, returncount );
|
2016-01-29 08:57:02 +08:00
|
|
|
}
|
2016-01-11 09:36:37 +08:00
|
|
|
|
|
|
|
public:
|
2016-02-27 15:43:53 +08:00
|
|
|
using reference::reference;
|
|
|
|
|
2016-01-29 08:57:02 +08:00
|
|
|
template<typename... Args>
|
|
|
|
function_result operator()( Args&&... args ) const {
|
|
|
|
return call<>( std::forward<Args>( args )... );
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename... Ret, typename... Args>
|
2016-02-13 01:47:05 +08:00
|
|
|
decltype(auto) operator()( types<Ret...>, Args&&... args ) const {
|
2016-01-29 08:57:02 +08:00
|
|
|
return call<Ret...>( std::forward<Args>( args )... );
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename... Ret, typename... Args>
|
2016-02-13 01:47:05 +08:00
|
|
|
decltype(auto) call( Args&&... args ) const {
|
2016-01-29 08:57:02 +08:00
|
|
|
push( );
|
2016-03-12 00:34:44 +08:00
|
|
|
int pushcount = stack::multi_push( lua_state( ), std::forward<Args>( args )... );
|
2016-02-13 01:47:05 +08:00
|
|
|
return invoke( types<Ret...>( ), std::index_sequence_for<Ret...>(), pushcount );
|
2016-01-29 08:57:02 +08:00
|
|
|
}
|
2016-01-11 09:36:37 +08:00
|
|
|
};
|
|
|
|
|
2014-05-31 03:30:14 +08:00
|
|
|
namespace stack {
|
2014-08-09 19:54:58 +08:00
|
|
|
template<typename... Sigs>
|
2016-02-03 05:18:44 +08:00
|
|
|
struct pusher<function_sig<Sigs...>> {
|
2014-06-07 21:56:48 +08:00
|
|
|
|
2016-02-05 09:16:53 +08:00
|
|
|
template<typename R, typename... Args, typename Fx, typename = std::result_of_t<Fx(Args...)>>
|
2014-06-29 14:16:48 +08:00
|
|
|
static void set_memfx(types<R(Args...)> t, lua_State* L, Fx&& fx) {
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef std::decay_t<meta::Unwrapped<meta::Unqualified<Fx>>> raw_fx_t;
|
2014-06-29 14:16:48 +08:00
|
|
|
typedef R(* fx_ptr_t)(Args...);
|
|
|
|
typedef std::is_convertible<raw_fx_t, fx_ptr_t> is_convertible;
|
|
|
|
set_isconvertible_fx(is_convertible(), t, L, std::forward<Fx>(fx));
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2014-06-29 14:16:48 +08:00
|
|
|
template<typename Fx>
|
|
|
|
static void set_memfx(types<>, lua_State* L, Fx&& fx) {
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef meta::Unwrapped<meta::Unqualified<Fx>> fx_t;
|
2016-02-13 01:47:05 +08:00
|
|
|
set(L, &fx_t::operator(), std::forward<Fx>(fx));
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2014-06-29 14:16:48 +08:00
|
|
|
template<typename... Args, typename R>
|
|
|
|
static void set(lua_State* L, R fxptr(Args...)){
|
|
|
|
set_fx(std::false_type(), L, fxptr);
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2014-06-29 14:16:48 +08:00
|
|
|
template<typename Sig>
|
|
|
|
static void set(lua_State* L, Sig* fxptr){
|
2015-10-21 09:38:28 +08:00
|
|
|
set_fx(std::false_type(), L, fxptr);
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2014-06-29 14:16:48 +08:00
|
|
|
template<typename... Args, typename R, typename C, typename T>
|
|
|
|
static void set(lua_State* L, R (C::*memfxptr)(Args...), T&& obj) {
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef meta::Bool<meta::is_specialization_of<meta::Unqualified<T>, std::reference_wrapper>::value || std::is_pointer<T>::value> is_reference;
|
2014-06-29 14:16:48 +08:00
|
|
|
set_reference_fx(is_reference(), L, memfxptr, std::forward<T>(obj));
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2014-06-29 14:16:48 +08:00
|
|
|
template<typename Sig, typename C, typename T>
|
|
|
|
static void set(lua_State* L, Sig C::* memfxptr, T&& obj) {
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef meta::Bool<meta::is_specialization_of<meta::Unqualified<T>, std::reference_wrapper>::value || std::is_pointer<T>::value> is_reference;
|
2014-06-29 14:16:48 +08:00
|
|
|
set_reference_fx(is_reference(), L, memfxptr, std::forward<T>(obj));
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename... Sig, typename Fx>
|
|
|
|
static void set(lua_State* L, Fx&& fx) {
|
|
|
|
set_memfx(types<Sig...>(), L, std::forward<Fx>(fx));
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Fx, typename R, typename... Args>
|
|
|
|
static void set_isconvertible_fx(std::true_type, types<R(Args...)>, lua_State* L, Fx&& fx) {
|
|
|
|
typedef R(* fx_ptr_t)(Args...);
|
2016-02-24 12:39:46 +08:00
|
|
|
fx_ptr_t fxptr = detail::unwrap(std::forward<Fx>(fx));
|
2014-06-29 14:16:48 +08:00
|
|
|
set(L, fxptr);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Fx, typename R, typename... Args>
|
|
|
|
static void set_isconvertible_fx(std::false_type, types<R(Args...)>, lua_State* L, Fx&& fx) {
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef meta::Unwrapped<std::decay_t<Fx>> fx_t;
|
2016-02-25 02:59:17 +08:00
|
|
|
std::unique_ptr<function_detail::base_function> sptr = std::make_unique<function_detail::functor_function<fx_t>>(std::forward<Fx>(fx));
|
2016-03-13 20:30:14 +08:00
|
|
|
set_fx(L, std::move(sptr));
|
2014-06-29 14:16:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Fx, typename T>
|
|
|
|
static void set_reference_fx(std::true_type, lua_State* L, Fx&& fx, T&& obj) {
|
|
|
|
set_fx(std::true_type(), L, std::forward<Fx>(fx), std::forward<T>(obj));
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Fx, typename T>
|
|
|
|
static void set_reference_fx(std::false_type, lua_State* L, Fx&& fx, T&& obj) {
|
2016-02-09 16:38:11 +08:00
|
|
|
typedef std::remove_pointer_t<std::decay_t<Fx>> clean_fx;
|
2016-02-24 12:39:46 +08:00
|
|
|
std::unique_ptr<function_detail::base_function> sptr = std::make_unique<function_detail::member_function<clean_fx, meta::Unqualified<T>>>(std::forward<T>(obj), std::forward<Fx>(fx));
|
2016-03-13 20:30:14 +08:00
|
|
|
return set_fx(L, std::move(sptr));
|
2014-06-29 14:16:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Fx, typename T>
|
|
|
|
static void set_fx(std::true_type, lua_State* L, Fx&& fx, T&& obj) {
|
2014-06-07 10:54:45 +08:00
|
|
|
// Layout:
|
|
|
|
// idx 1...n: verbatim data of member function pointer
|
|
|
|
// idx n + 1: is the object's void pointer
|
|
|
|
// We don't need to store the size, because the other side is templated
|
|
|
|
// with the same member function pointer type
|
2016-02-09 16:38:11 +08:00
|
|
|
typedef std::decay_t<Fx> dFx;
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef meta::Unqualified<Fx> uFx;
|
2015-09-30 06:19:07 +08:00
|
|
|
dFx memfxptr(std::forward<Fx>(fx));
|
2016-02-24 12:39:46 +08:00
|
|
|
auto userptr = detail::ptr(obj);
|
2014-06-29 14:16:48 +08:00
|
|
|
void* userobjdata = static_cast<void*>(userptr);
|
2016-02-27 20:56:28 +08:00
|
|
|
lua_CFunction freefunc = &function_detail::upvalue_member_function<std::decay_t<decltype(*userptr)>, uFx>::call;
|
2014-06-07 10:54:45 +08:00
|
|
|
|
2016-02-14 09:14:31 +08:00
|
|
|
int upvalues = stack::stack_detail::push_as_upvalues(L, memfxptr);
|
2015-03-02 10:14:42 +08:00
|
|
|
upvalues += stack::push(L, userobjdata);
|
|
|
|
|
2014-06-29 14:16:48 +08:00
|
|
|
stack::push(L, freefunc, upvalues);
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2014-06-29 14:16:48 +08:00
|
|
|
template<typename Fx>
|
|
|
|
static void set_fx(std::false_type, lua_State* L, Fx&& fx) {
|
2016-02-09 16:38:11 +08:00
|
|
|
std::decay_t<Fx> target(std::forward<Fx>(fx));
|
2016-02-27 20:56:28 +08:00
|
|
|
lua_CFunction freefunc = &function_detail::upvalue_free_function<Fx>::call;
|
2014-06-07 10:54:45 +08:00
|
|
|
|
2016-02-14 09:14:31 +08:00
|
|
|
int upvalues = stack::stack_detail::push_as_upvalues(L, target);
|
2014-06-29 14:16:48 +08:00
|
|
|
stack::push(L, freefunc, upvalues);
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2016-02-24 12:39:46 +08:00
|
|
|
static void set_fx(lua_State* L, std::unique_ptr<function_detail::base_function> luafunc) {
|
|
|
|
function_detail::base_function* target = luafunc.release();
|
2016-03-13 20:30:14 +08:00
|
|
|
void* targetdata = reinterpret_cast<void*>(target);
|
2016-02-24 12:39:46 +08:00
|
|
|
lua_CFunction freefunc = function_detail::call;
|
2016-03-13 20:30:14 +08:00
|
|
|
|
|
|
|
stack::push(L, userdata_value(targetdata));
|
2016-03-14 14:34:02 +08:00
|
|
|
function_detail::free_function_cleanup(L);
|
|
|
|
lua_setmetatable(L, -2);
|
|
|
|
stack::push(L, freefunc, 1);
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
2014-08-09 19:54:58 +08:00
|
|
|
template<typename... Args>
|
2015-03-02 10:14:42 +08:00
|
|
|
static int push(lua_State* L, Args&&... args) {
|
|
|
|
// Set will always place one thing (function) on the stack
|
2016-03-03 09:45:52 +08:00
|
|
|
set<Sigs...>(L, std::forward<Args>(args)...);
|
2015-03-02 10:14:42 +08:00
|
|
|
return 1;
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
};
|
2014-06-07 21:56:48 +08:00
|
|
|
|
2016-02-03 05:18:44 +08:00
|
|
|
template<typename T, typename... Args>
|
2016-02-24 12:39:46 +08:00
|
|
|
struct pusher<function_packer<T, Args...>> {
|
2016-02-03 05:18:44 +08:00
|
|
|
template <std::size_t... I, typename FP>
|
2016-02-13 01:47:05 +08:00
|
|
|
static int push_func(std::index_sequence<I...>, lua_State* L, FP&& fp) {
|
2016-03-13 20:30:14 +08:00
|
|
|
return stack::push<T>(L, detail::forward_get<I>(fp.set)...);
|
2016-02-03 05:18:44 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
template <typename FP>
|
|
|
|
static int push(lua_State* L, FP&& fp) {
|
2016-02-13 01:47:05 +08:00
|
|
|
return push_func(std::index_sequence_for<Args...>(), L, std::forward<FP>(fp));
|
2016-02-03 05:18:44 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-08-09 19:54:58 +08:00
|
|
|
template<typename Signature>
|
2014-06-07 10:54:45 +08:00
|
|
|
struct pusher<std::function<Signature>> {
|
2015-03-02 10:14:42 +08:00
|
|
|
static int push(lua_State* L, std::function<Signature> fx) {
|
2016-02-03 05:18:44 +08:00
|
|
|
return pusher<function_sig<>>{}.push(L, std::move(fx));
|
2014-06-07 12:24:48 +08:00
|
|
|
}
|
2014-06-07 10:54:45 +08:00
|
|
|
};
|
2014-05-31 06:19:12 +08:00
|
|
|
|
2016-02-11 00:36:00 +08:00
|
|
|
template<typename... Functions>
|
|
|
|
struct pusher<overload_set<Functions...>> {
|
2016-03-13 20:30:14 +08:00
|
|
|
static int push(lua_State* L, overload_set<Functions...>&& set) {
|
|
|
|
pusher<function_sig<>>{}.set_fx(L, std::make_unique<function_detail::overloaded_function<Functions...>>(std::move(set.set)));
|
2016-02-22 08:26:58 +08:00
|
|
|
return 1;
|
2016-02-11 00:36:00 +08:00
|
|
|
}
|
|
|
|
|
2016-03-13 20:30:14 +08:00
|
|
|
static int push(lua_State* L, const overload_set<Functions...>& set) {
|
|
|
|
pusher<function_sig<>>{}.set_fx(L, std::make_unique<function_detail::overloaded_function<Functions...>>(set.set));
|
|
|
|
return 1;
|
2016-02-11 00:36:00 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-08-09 19:54:58 +08:00
|
|
|
template<typename Signature>
|
2014-06-07 10:54:45 +08:00
|
|
|
struct getter<std::function<Signature>> {
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef meta::function_traits<Signature> fx_t;
|
2016-02-13 01:47:05 +08:00
|
|
|
typedef typename fx_t::args_type args_types;
|
2016-02-24 12:39:46 +08:00
|
|
|
typedef meta::tuple_types<typename fx_t::return_type> return_types;
|
2014-06-07 10:54:45 +08:00
|
|
|
|
2016-02-13 01:47:05 +08:00
|
|
|
template<typename... Args, typename... Ret>
|
2016-02-24 12:39:46 +08:00
|
|
|
static std::function<Signature> get_std_func(types<Ret...>, types<Args...>, lua_State* L, int index = -1) {
|
2014-06-07 10:54:45 +08:00
|
|
|
sol::function f(L, index);
|
2016-02-24 12:39:46 +08:00
|
|
|
auto fx = [f, L, index](Args&&... args) -> meta::return_type_t<Ret...> {
|
2016-02-13 01:47:05 +08:00
|
|
|
return f.call<Ret...>(std::forward<Args>(args)...);
|
2014-06-07 10:54:45 +08:00
|
|
|
};
|
|
|
|
return std::move(fx);
|
|
|
|
}
|
|
|
|
|
2014-08-09 19:54:58 +08:00
|
|
|
template<typename... FxArgs>
|
2016-02-24 12:39:46 +08:00
|
|
|
static std::function<Signature> get_std_func(types<void>, types<FxArgs...>, lua_State* L, int index = -1) {
|
2014-06-07 10:54:45 +08:00
|
|
|
sol::function f(L, index);
|
2014-08-11 08:49:34 +08:00
|
|
|
auto fx = [f, L, index](FxArgs&&... args) -> void {
|
2014-06-07 10:54:45 +08:00
|
|
|
f(std::forward<FxArgs>(args)...);
|
|
|
|
};
|
|
|
|
return std::move(fx);
|
|
|
|
}
|
|
|
|
|
2014-08-09 19:54:58 +08:00
|
|
|
template<typename... FxArgs>
|
2016-02-24 12:39:46 +08:00
|
|
|
static std::function<Signature> get_std_func(types<>, types<FxArgs...> t, lua_State* L, int index = -1) {
|
|
|
|
return get_std_func(types<void>(), t, L, index);
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
static std::function<Signature> get(lua_State* L, int index) {
|
2016-02-24 12:39:46 +08:00
|
|
|
return get_std_func(return_types(), args_types(), L, index);
|
2014-06-07 10:54:45 +08:00
|
|
|
}
|
|
|
|
};
|
2014-05-31 03:30:14 +08:00
|
|
|
} // stack
|
2013-12-03 03:22:51 +08:00
|
|
|
} // sol
|
|
|
|
|
|
|
|
#endif // SOL_FUNCTION_HPP
|