mlua/src/multi.rs

290 lines
8.2 KiB
Rust
Raw Normal View History

use std::iter::FromIterator;
2018-08-05 09:51:39 -04:00
use std::ops::{Deref, DerefMut};
2017-07-24 10:40:00 -04:00
use std::result::Result as StdResult;
use crate::error::Result;
use crate::lua::Lua;
use crate::value::{FromLua, FromLuaMulti, IntoLua, IntoLuaMulti, MultiValue, Nil};
2017-05-21 19:50:59 -04:00
2017-09-14 16:59:59 -04:00
/// Result is convertible to `MultiValue` following the common Lua idiom of returning the result
/// on success, or in the case of an error, returning `nil` and an error message.
impl<'lua, T: IntoLua<'lua>, E: IntoLua<'lua>> IntoLuaMulti<'lua> for StdResult<T, E> {
2022-05-29 15:17:09 -04:00
#[inline]
fn into_lua_multi(self, lua: &'lua Lua) -> Result<MultiValue<'lua>> {
2022-12-30 09:50:39 -05:00
let mut result = MultiValue::new_or_pooled(lua);
match self {
Ok(v) => result.push_front(v.into_lua(lua)?),
Err(e) => {
result.push_front(e.into_lua(lua)?);
A lot of performance changes. Okay, so this is kind of a mega-commit of a lot of performance related changes to rlua, some of which are pretty complicated. There are some small improvements here and there, but most of the benefits of this change are from a few big changes. The simplest big change is that there is now `protect_lua` as well as `protect_lua_call`, which allows skipping a lightuserdata parameter and some stack manipulation in some cases. Second simplest is the change to use Vec instead of VecDeque for MultiValue, and to have MultiValue be used as a sort of "backwards-only" Vec so that ToLuaMulti / FromLuaMulti still work correctly. The most complex change, though, is a change to the way LuaRef works, so that LuaRef can optionally point into the Lua stack instead of only registry values. At state creation a set number of stack slots is reserved for the first N LuaRef types (currently 16), and space for these are also allocated separately allocated at callback time. There is a huge breaking change here, which is that now any LuaRef types MUST only be used with the Lua on which they were created, and CANNOT be used with any other Lua callback instance. This mostly will affect people using LuaRef types from inside a scope callback, but hopefully in those cases `Function::bind` will be a suitable replacement. On the plus side, the rules for LuaRef types are easier to state now. There is probably more easy-ish perf on the table here, but here's the preliminary results, based on my very limited benchmarks: create table time: [314.13 ns 315.71 ns 317.44 ns] change: [-36.154% -35.670% -35.205%] (p = 0.00 < 0.05) create array 10 time: [2.9731 us 2.9816 us 2.9901 us] change: [-16.996% -16.600% -16.196%] (p = 0.00 < 0.05) Performance has improved. create string table 10 time: [5.6904 us 5.7164 us 5.7411 us] change: [-53.536% -53.309% -53.079%] (p = 0.00 < 0.05) Performance has improved. call add function 3 10 time: [5.1134 us 5.1222 us 5.1320 us] change: [-4.1095% -3.6910% -3.1781%] (p = 0.00 < 0.05) Performance has improved. call callback add 2 10 time: [5.4408 us 5.4480 us 5.4560 us] change: [-6.4203% -5.7780% -5.0013%] (p = 0.00 < 0.05) Performance has improved. call callback append 10 time: [9.8243 us 9.8410 us 9.8586 us] change: [-26.937% -26.702% -26.469%] (p = 0.00 < 0.05) Performance has improved. create registry 10 time: [3.7005 us 3.7089 us 3.7174 us] change: [-8.4965% -8.1042% -7.6926%] (p = 0.00 < 0.05) Performance has improved. I think that a lot of these benchmarks are too "easy", and most API usage is going to be more like the 'create string table 10' benchmark, where there are a lot of handles and tables and strings, so I think that 25%-50% improvement is a good guess for most use cases.
2018-03-11 23:20:10 -04:00
result.push_front(Nil);
}
}
Ok(result)
}
}
impl<'lua, T: IntoLua<'lua>> IntoLuaMulti<'lua> for T {
2022-05-29 15:17:09 -04:00
#[inline]
fn into_lua_multi(self, lua: &'lua Lua) -> Result<MultiValue<'lua>> {
2022-12-30 09:50:39 -05:00
let mut v = MultiValue::new_or_pooled(lua);
v.push_front(self.into_lua(lua)?);
2017-05-21 19:50:59 -04:00
Ok(v)
}
#[inline(always)]
fn lua_multi_len(&self) -> Option<usize> {
Some(1)
}
2017-05-21 19:50:59 -04:00
}
impl<'lua, T: FromLua<'lua>> FromLuaMulti<'lua> for T {
2022-05-29 15:17:09 -04:00
#[inline]
fn from_lua_multi(mut values: MultiValue<'lua>, lua: &'lua Lua) -> Result<Self> {
let res = T::from_lua(values.pop_front().unwrap_or(Nil), lua);
2022-12-30 09:50:39 -05:00
MultiValue::return_to_pool(values, lua);
res
2017-05-21 19:50:59 -04:00
}
#[inline]
fn from_lua_multi_args(
mut values: MultiValue<'lua>,
i: usize,
to: Option<&str>,
lua: &'lua Lua,
) -> Result<Self> {
let res = T::from_lua_arg(values.pop_front().unwrap_or(Nil), i, to, lua);
MultiValue::return_to_pool(values, lua);
res
}
2017-05-21 19:50:59 -04:00
}
impl<'lua> IntoLuaMulti<'lua> for MultiValue<'lua> {
2022-05-29 15:17:09 -04:00
#[inline]
fn into_lua_multi(self, _: &'lua Lua) -> Result<MultiValue<'lua>> {
2017-05-21 19:50:59 -04:00
Ok(self)
}
#[inline(always)]
fn lua_multi_len(&self) -> Option<usize> {
Some(self.len())
}
2017-05-21 19:50:59 -04:00
}
impl<'lua> FromLuaMulti<'lua> for MultiValue<'lua> {
2022-05-29 15:17:09 -04:00
#[inline]
fn from_lua_multi(values: MultiValue<'lua>, _: &'lua Lua) -> Result<Self> {
2017-05-21 19:50:59 -04:00
Ok(values)
}
}
2017-09-14 16:59:59 -04:00
/// Wraps a variable number of `T`s.
///
/// Can be used to work with variadic functions more easily. Using this type as the last argument of
/// a Rust callback will accept any number of arguments from Lua and convert them to the type `T`
/// using [`FromLua`]. `Variadic<T>` can also be returned from a callback, returning a variable
/// number of values to Lua.
///
/// The [`MultiValue`] type is equivalent to `Variadic<Value>`.
///
/// # Examples
///
/// ```
2019-10-17 11:59:33 -04:00
/// # use mlua::{Lua, Result, Variadic};
/// # fn main() -> Result<()> {
2019-10-17 11:59:33 -04:00
/// # let lua = Lua::new();
2017-09-14 16:59:59 -04:00
/// let add = lua.create_function(|_, vals: Variadic<f64>| -> Result<f64> {
/// Ok(vals.iter().sum())
2019-10-17 11:59:33 -04:00
/// })?;
2017-09-14 16:59:59 -04:00
/// lua.globals().set("add", add)?;
/// assert_eq!(lua.load("add(3, 2, 5)").eval::<f32>()?, 10.0);
2017-09-14 16:59:59 -04:00
/// # Ok(())
/// # }
/// ```
2017-09-15 14:56:46 -04:00
///
/// [`FromLua`]: crate::FromLua
/// [`MultiValue`]: crate::MultiValue
#[derive(Debug, Clone)]
pub struct Variadic<T>(Vec<T>);
impl<T> Variadic<T> {
2017-09-14 16:59:59 -04:00
/// Creates an empty `Variadic` wrapper containing no values.
pub const fn new() -> Variadic<T> {
Variadic(Vec::new())
}
}
impl<T> Default for Variadic<T> {
fn default() -> Variadic<T> {
Variadic::new()
}
}
impl<T> FromIterator<T> for Variadic<T> {
fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> Self {
Variadic(Vec::from_iter(iter))
}
}
impl<T> IntoIterator for Variadic<T> {
type Item = T;
type IntoIter = <Vec<T> as IntoIterator>::IntoIter;
fn into_iter(self) -> Self::IntoIter {
self.0.into_iter()
}
}
impl<T> Deref for Variadic<T> {
type Target = Vec<T>;
fn deref(&self) -> &Self::Target {
&self.0
}
}
impl<T> DerefMut for Variadic<T> {
fn deref_mut(&mut self) -> &mut Self::Target {
&mut self.0
}
}
2017-05-21 19:50:59 -04:00
impl<'lua, T: IntoLua<'lua>> IntoLuaMulti<'lua> for Variadic<T> {
2022-05-29 15:17:09 -04:00
#[inline]
fn into_lua_multi(self, lua: &'lua Lua) -> Result<MultiValue<'lua>> {
2022-12-30 09:50:39 -05:00
let mut values = MultiValue::new_or_pooled(lua);
values.refill(self.0.into_iter().map(|e| e.into_lua(lua)))?;
Ok(values)
2017-05-21 19:50:59 -04:00
}
#[inline(always)]
fn lua_multi_len(&self) -> Option<usize> {
Some(self.0.len())
}
2017-05-21 19:50:59 -04:00
}
impl<'lua, T: FromLua<'lua>> FromLuaMulti<'lua> for Variadic<T> {
2022-05-29 15:17:09 -04:00
#[inline]
fn from_lua_multi(mut values: MultiValue<'lua>, lua: &'lua Lua) -> Result<Self> {
let res = values
.drain_all()
2017-05-21 19:50:59 -04:00
.map(|e| T::from_lua(e, lua))
.collect::<Result<Vec<T>>>()
.map(Variadic);
2022-12-30 09:50:39 -05:00
MultiValue::return_to_pool(values, lua);
res
2017-05-21 19:50:59 -04:00
}
}
macro_rules! impl_tuple {
() => (
impl<'lua> IntoLuaMulti<'lua> for () {
2022-05-29 15:17:09 -04:00
#[inline]
fn into_lua_multi(self, lua: &'lua Lua) -> Result<MultiValue<'lua>> {
2022-12-30 09:50:39 -05:00
Ok(MultiValue::new_or_pooled(lua))
}
#[inline(always)]
fn lua_multi_len(&self) -> Option<usize> {
Some(0)
}
}
2017-05-21 19:50:59 -04:00
impl<'lua> FromLuaMulti<'lua> for () {
2022-05-29 15:17:09 -04:00
#[inline]
fn from_lua_multi(values: MultiValue<'lua>, lua: &'lua Lua) -> Result<Self> {
2022-12-30 09:50:39 -05:00
MultiValue::return_to_pool(values, lua);
Ok(())
}
}
);
($last:ident $($name:ident)*) => (
impl<'lua, $($name,)* $last> IntoLuaMulti<'lua> for ($($name,)* $last,)
where $($name: IntoLua<'lua>,)*
$last: IntoLuaMulti<'lua>
{
#[allow(unused_mut)]
#[allow(non_snake_case)]
2022-05-29 15:17:09 -04:00
#[inline]
fn into_lua_multi(self, lua: &'lua Lua) -> Result<MultiValue<'lua>> {
let ($($name,)* $last,) = self;
let mut results = $last.into_lua_multi(lua)?;
push_reverse!(results, $($name.into_lua(lua)?,)*);
Ok(results)
}
#[inline(always)]
fn lua_multi_len(&self) -> Option<usize> {
Some(count!($last $($name)*))
}
}
2017-05-21 19:50:59 -04:00
impl<'lua, $($name,)* $last> FromLuaMulti<'lua> for ($($name,)* $last,)
where $($name: FromLua<'lua>,)*
$last: FromLuaMulti<'lua>
{
#[allow(unused_mut)]
#[allow(non_snake_case)]
2022-05-29 15:17:09 -04:00
#[inline]
fn from_lua_multi(mut values: MultiValue<'lua>, lua: &'lua Lua) -> Result<Self> {
$(let $name = FromLua::from_lua(values.pop_front().unwrap_or(Nil), lua)?;)*
let $last = FromLuaMulti::from_lua_multi(values, lua)?;
Ok(($($name,)* $last,))
}
#[allow(unused_mut)]
#[allow(non_snake_case)]
#[inline]
fn from_lua_multi_args(mut values: MultiValue<'lua>, mut i: usize, to: Option<&str>, lua: &'lua Lua) -> Result<Self> {
$(
let $name = FromLua::from_lua_arg(values.pop_front().unwrap_or(Nil), i, to, lua)?;
i += 1;
)*
let $last = FromLuaMulti::from_lua_multi_args(values, i, to, lua)?;
Ok(($($name,)* $last,))
}
}
);
2017-05-21 19:50:59 -04:00
}
macro_rules! push_reverse {
($multi_value:expr, $first:expr, $($rest:expr,)*) => (
push_reverse!($multi_value, $($rest,)*);
$multi_value.push_front($first);
);
2017-05-21 19:50:59 -04:00
($multi_value:expr, $first:expr) => (
$multi_value.push_front($first);
);
2017-05-21 19:50:59 -04:00
($multi_value:expr,) => ();
2017-05-21 19:50:59 -04:00
}
macro_rules! count {
($a:ident) => {
1
};
($a:ident $($b:ident)+) => {
1 + count!($($b)+)
}
}
2018-09-02 20:34:39 -04:00
impl_tuple!();
impl_tuple!(A);
impl_tuple!(A B);
impl_tuple!(A B C);
impl_tuple!(A B C D);
impl_tuple!(A B C D E);
impl_tuple!(A B C D E F);
impl_tuple!(A B C D E F G);
impl_tuple!(A B C D E F G H);
impl_tuple!(A B C D E F G H I);
impl_tuple!(A B C D E F G H I J);
impl_tuple!(A B C D E F G H I J K);
impl_tuple!(A B C D E F G H I J K L);
impl_tuple!(A B C D E F G H I J K L M);
impl_tuple!(A B C D E F G H I J K L M N);
impl_tuple!(A B C D E F G H I J K L M N O);
impl_tuple!(A B C D E F G H I J K L M N O P);