mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-14 02:49:40 +00:00
Added more const_closure functionality.
This commit is contained in:
parent
f914b82a75
commit
b73241aa5b
@ -1267,7 +1267,7 @@ where
|
||||
{
|
||||
f(v1).cmp(&f(v2))
|
||||
}
|
||||
min_by(v1, v2, ConstFnMutClosure::new(&mut f, imp))
|
||||
min_by(v1, v2, ConstFnMutClosure { data: &mut f, func: imp })
|
||||
}
|
||||
|
||||
/// Compares and returns the maximum of two values.
|
||||
@ -1352,7 +1352,7 @@ where
|
||||
{
|
||||
f(v1).cmp(&f(v2))
|
||||
}
|
||||
max_by(v1, v2, ConstFnMutClosure::new(&mut f, imp))
|
||||
max_by(v1, v2, ConstFnMutClosure { data: &mut f, func: imp })
|
||||
}
|
||||
|
||||
// Implementation of PartialEq, Eq, PartialOrd and Ord for primitive types
|
||||
|
@ -16,48 +16,45 @@ use crate::marker::Destruct;
|
||||
/// assert!(7 == cl(2));
|
||||
/// assert!(8 == cl(1));
|
||||
/// ```
|
||||
pub(crate) struct ConstFnMutClosure<'a, CapturedData: ?Sized, Function> {
|
||||
data: &'a mut CapturedData,
|
||||
func: Function,
|
||||
pub(crate) struct ConstFnMutClosure<CapturedData, Function> {
|
||||
/// The Data captured by the Closure.
|
||||
/// Must be either a (mutable) reference or a tuple of (mutable) references.
|
||||
pub data: CapturedData,
|
||||
/// The Function of the Closure, must be: Fn(CapturedData, ClosureArgs) -> ClosureReturn
|
||||
pub func: Function,
|
||||
}
|
||||
|
||||
impl<'a, CapturedData: ?Sized, Function> ConstFnMutClosure<'a, CapturedData, Function> {
|
||||
/// Function for creating a new closure.
|
||||
///
|
||||
/// `data` is the a mutable borrow of data that is captured from the environment.
|
||||
///
|
||||
/// `func` is the function of the closure, it gets the data and a tuple of the arguments closure
|
||||
/// and return the return value of the closure.
|
||||
pub(crate) const fn new<ClosureArguments, ClosureReturnValue>(
|
||||
data: &'a mut CapturedData,
|
||||
func: Function,
|
||||
) -> Self
|
||||
where
|
||||
Function: ~const Fn(&mut CapturedData, ClosureArguments) -> ClosureReturnValue,
|
||||
{
|
||||
Self { data, func }
|
||||
}
|
||||
}
|
||||
macro_rules! impl_fn_mut_tuple {
|
||||
($($var:ident)*) => {
|
||||
#[allow(unused_parens)]
|
||||
impl<'a, $($var,)* ClosureArguments, Function, ClosureReturnValue> const
|
||||
FnOnce<ClosureArguments> for ConstFnMutClosure<($(&'a mut $var),*), Function>
|
||||
where
|
||||
Function: ~const Fn(($(&mut $var),*), ClosureArguments) -> ClosureReturnValue+ ~const Destruct,
|
||||
{
|
||||
type Output = ClosureReturnValue;
|
||||
|
||||
impl<'a, CapturedData: ?Sized, ClosureArguments, Function, ClosureReturnValue> const
|
||||
FnOnce<ClosureArguments> for ConstFnMutClosure<'a, CapturedData, Function>
|
||||
where
|
||||
Function:
|
||||
~const Fn(&mut CapturedData, ClosureArguments) -> ClosureReturnValue + ~const Destruct,
|
||||
{
|
||||
type Output = ClosureReturnValue;
|
||||
extern "rust-call" fn call_once(mut self, args: ClosureArguments) -> Self::Output {
|
||||
self.call_mut(args)
|
||||
}
|
||||
}
|
||||
#[allow(unused_parens)]
|
||||
impl<'a, $($var,)* ClosureArguments, Function, ClosureReturnValue> const
|
||||
FnMut<ClosureArguments> for ConstFnMutClosure<($(&'a mut $var),*), Function>
|
||||
where
|
||||
Function: ~const Fn(($(&mut $var),*), ClosureArguments)-> ClosureReturnValue,
|
||||
{
|
||||
extern "rust-call" fn call_mut(&mut self, args: ClosureArguments) -> Self::Output {
|
||||
#[allow(non_snake_case)]
|
||||
let ($($var),*) = &mut self.data;
|
||||
(self.func)(($($var),*), args)
|
||||
}
|
||||
}
|
||||
|
||||
extern "rust-call" fn call_once(mut self, args: ClosureArguments) -> Self::Output {
|
||||
self.call_mut(args)
|
||||
}
|
||||
}
|
||||
|
||||
impl<'a, CapturedData: ?Sized, ClosureArguments, Function, ClosureReturnValue> const
|
||||
FnMut<ClosureArguments> for ConstFnMutClosure<'a, CapturedData, Function>
|
||||
where
|
||||
Function: ~const Fn(&mut CapturedData, ClosureArguments) -> ClosureReturnValue,
|
||||
{
|
||||
extern "rust-call" fn call_mut(&mut self, args: ClosureArguments) -> Self::Output {
|
||||
(self.func)(self.data, args)
|
||||
}
|
||||
}
|
||||
};
|
||||
}
|
||||
impl_fn_mut_tuple!(A);
|
||||
impl_fn_mut_tuple!(A B);
|
||||
impl_fn_mut_tuple!(A B C);
|
||||
impl_fn_mut_tuple!(A B C D);
|
||||
impl_fn_mut_tuple!(A B C D E);
|
||||
|
@ -88,7 +88,11 @@ where
|
||||
Self: Sized,
|
||||
F: FnMut(B, Self::Item) -> B,
|
||||
{
|
||||
self.try_fold(init, ConstFnMutClosure::new(&mut f, NeverShortCircuit::wrap_mut_2_imp)).0
|
||||
self.try_fold(
|
||||
init,
|
||||
ConstFnMutClosure { data: &mut f, func: NeverShortCircuit::wrap_mut_2_imp },
|
||||
)
|
||||
.0
|
||||
}
|
||||
}
|
||||
|
||||
@ -132,7 +136,11 @@ where
|
||||
Self: Sized,
|
||||
F: FnMut(B, Self::Item) -> B,
|
||||
{
|
||||
self.try_rfold(init, ConstFnMutClosure::new(&mut f, NeverShortCircuit::wrap_mut_2_imp)).0
|
||||
self.try_rfold(
|
||||
init,
|
||||
ConstFnMutClosure { data: &mut f, func: NeverShortCircuit::wrap_mut_2_imp },
|
||||
)
|
||||
.0
|
||||
}
|
||||
}
|
||||
|
||||
|
@ -44,8 +44,12 @@ impl<I: Iterator> Iterator for ByRefSized<'_, I> {
|
||||
F: FnMut(B, Self::Item) -> B,
|
||||
{
|
||||
// `fold` needs ownership, so this can't forward directly.
|
||||
I::try_fold(self.0, init, ConstFnMutClosure::new(&mut f, NeverShortCircuit::wrap_mut_2_imp))
|
||||
.0
|
||||
I::try_fold(
|
||||
self.0,
|
||||
init,
|
||||
ConstFnMutClosure { data: &mut f, func: NeverShortCircuit::wrap_mut_2_imp },
|
||||
)
|
||||
.0
|
||||
}
|
||||
|
||||
#[inline]
|
||||
@ -84,7 +88,7 @@ impl<I: DoubleEndedIterator> DoubleEndedIterator for ByRefSized<'_, I> {
|
||||
I::try_rfold(
|
||||
self.0,
|
||||
init,
|
||||
ConstFnMutClosure::new(&mut f, NeverShortCircuit::wrap_mut_2_imp),
|
||||
ConstFnMutClosure { data: &mut f, func: NeverShortCircuit::wrap_mut_2_imp },
|
||||
)
|
||||
.0
|
||||
}
|
||||
|
@ -209,7 +209,11 @@ where
|
||||
Self: Sized,
|
||||
F: FnMut(B, Self::Item) -> B,
|
||||
{
|
||||
self.try_fold(init, ConstFnMutClosure::new(&mut fold, NeverShortCircuit::wrap_mut_2_imp)).0
|
||||
self.try_fold(
|
||||
init,
|
||||
ConstFnMutClosure { data: &mut fold, func: NeverShortCircuit::wrap_mut_2_imp },
|
||||
)
|
||||
.0
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user