scoped_cell.rs.html -- source
Description: Source to the Rust file `src/libproc_macro/bridge/scoped_cell.rs`.
Keywords: rust, rustlang, rust-lang

     1
     2
     3
     4
     5
     6
     7
     8
     9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50
    51
    52
    53
    54
    55
    56
    57
    58
    59
    60
    61
    62
    63
    64
    65
    66
    67
    68
    69
    70
    71
    72
    73
    74
    75
    76
    77
    78
    79
    80

    //! `Cell` variant for (scoped) existential lifetimes.

    use std::cell::Cell;
    use std::mem;
    use std::ops::{Deref, DerefMut};

    /// Type lambda application, with a lifetime.
    pub trait ApplyL<'a> {
        type Out;
    }

    /// Type lambda taking a lifetime, i.e., `Lifetime -> Type`.
    pub trait LambdaL: for<'a> ApplyL<'a> {}

    impl<T: for<'a> ApplyL<'a>> LambdaL for T {}

    // HACK(eddyb) work around projection limitations with a newtype
    // FIXME(#52812) replace with `&'a mut <T as ApplyL<'b>>::Out`
    pub struct RefMutL<'a, 'b, T: LambdaL>(&'a mut <T as ApplyL<'b>>::Out);

    impl<'a, 'b, T: LambdaL> Deref for RefMutL<'a, 'b, T> {
        type Target = <T as ApplyL<'b>>::Out;
        fn deref(&self) -> &Self::Target {
            self.0
        }
    }

    impl<'a, 'b, T: LambdaL> DerefMut for RefMutL<'a, 'b, T> {
        fn deref_mut(&mut self) -> &mut Self::Target {
            self.0
        }
    }

    pub struct ScopedCell<T: LambdaL>(Cell<<T as ApplyL<'static>>::Out>);

    impl<T: LambdaL> ScopedCell<T> {
        pub const fn new(value: <T as ApplyL<'static>>::Out) -> Self {
            ScopedCell(Cell::new(value))
        }

        /// Set the value in `self` to `replacement` while
        /// running `f`, which gets the old value, mutably.
        /// The old value will be restored after `f` exits, even
        /// by panic, including modifications made to it by `f`.
        pub fn replace<'a, R>(
            &self,
            replacement: <T as ApplyL<'a>>::Out,
            f: impl for<'b, 'c> FnOnce(RefMutL<'b, 'c, T>) -> R,
        ) -> R {
            /// Wrapper that ensures that the cell always gets filled
            /// (with the original state, optionally changed by `f`),
            /// even if `f` had panicked.
            struct PutBackOnDrop<'a, T: LambdaL> {
                cell: &'a ScopedCell<T>,
                value: Option<<T as ApplyL<'static>>::Out>,
            }

            impl<'a, T: LambdaL> Drop for PutBackOnDrop<'a, T> {
                fn drop(&mut self) {
                    self.cell.0.set(self.value.take().unwrap());
                }
            }

            let mut put_back_on_drop = PutBackOnDrop {
                cell: self,
                value: Some(self.0.replace(unsafe {
                    let erased = mem::transmute_copy(&replacement);
                    mem::forget(replacement);
                    erased
                })),
            };

            f(RefMutL(put_back_on_drop.value.as_mut().unwrap()))
        }

        /// Set the value in `self` to `value` while running `f`.
        pub fn set<'a, R>(&self, value: <T as ApplyL<'a>>::Out, f: impl FnOnce() -> R) -> R {
            self.replace(value, |_| f())
        }
    }

# Help

## Keyboard Shortcuts

`?`
  Show this help dialog
`S`
  Focus the search field
`↑`
  Move up in search results
`↓`
  Move down in search results
`↹`
  Switch tab
`⏎`
  Go to active search result
`+`
  Expand all sections
`-`
  Collapse all sections

## Search Tricks

Prefix searches with a type followed by a colon (e.g., `fn:`) to restrict the search to a given type.

Accepted types are: `fn`, `mod`, `struct`, `enum`, `trait`, `type`, `macro`, and `const`.

Search functions by type signature (e.g., `vec -> usize` or `* -> vec`)

Search multiple things at once by splitting your query with comma (e.g., `str,u8` or `String,struct:Vec,test`)