Skip to content

Commit

Permalink
add IdFunctor to rustc_data_structures
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Nov 16, 2020
1 parent f5230fb commit 3ec6720
Showing 1 changed file with 82 additions and 0 deletions.
82 changes: 82 additions & 0 deletions compiler/rustc_data_structures/src/functor.rs
@@ -0,0 +1,82 @@
use rustc_index::vec::{Idx, IndexVec};
use std::mem;
use std::ptr;

pub trait IdFunctor {
type Inner;

fn map_id<F>(self, f: F) -> Self
where
F: FnMut(Self::Inner) -> Self::Inner;
}

impl<T> IdFunctor for Box<T> {
type Inner = T;

#[inline]
fn map_id<F>(self, mut f: F) -> Self
where
F: FnMut(Self::Inner) -> Self::Inner,
{
let raw = Box::into_raw(self);
unsafe {
// SAFETY: The raw pointer points to a valid value of type `T`.
let value = ptr::read(raw);
// SAFETY: Convert's `Box<T>` to `Box<MaybeUninit<T>>` which is the
// inverse of `Box::assume_init()` and should be safe.
let mut raw: Box<mem::MaybeUninit<T>> = Box::from_raw(raw.cast());
// SAFETY: Write the mapped value back into the `Box`.
ptr::write(raw.as_mut_ptr(), f(value));
// SAFETY: We just initialized `raw`.
raw.assume_init()
}
}
}

impl<T> IdFunctor for Vec<T> {
type Inner = T;

#[inline]
fn map_id<F>(mut self, mut f: F) -> Self
where
F: FnMut(Self::Inner) -> Self::Inner,
{
// FIXME: We don't really care about panics here and leak
// far more than we should, but that should be fine for now.
let len = self.len();
unsafe {
self.set_len(0);
let start = self.as_mut_ptr();
for i in 0..len {
let p = start.add(i);
ptr::write(p, f(ptr::read(p)));
}
self.set_len(len);
}
self
}
}

impl<T> IdFunctor for Box<[T]> {
type Inner = T;

#[inline]
fn map_id<F>(self, f: F) -> Self
where
F: FnMut(Self::Inner) -> Self::Inner,
{
Vec::from(self).map_id(f).into()
}
}

impl<I: Idx, T> IdFunctor for IndexVec<I, T> {
type Inner = T;

#[inline]
fn map_id<F>(self, f: F) -> Self
where
F: FnMut(Self::Inner) -> Self::Inner,
{
IndexVec::from_raw(self.raw.map_id(f))
}
}

0 comments on commit 3ec6720

Please sign in to comment.