scoped_static

Crates.ioscoped_static
lib.rsscoped_static
version0.3.0
created_at2025-10-05 02:02:43.476475+00
updated_at2025-10-22 04:08:40.497865+00
descriptionSafe promotion of lifetimes to static
homepage
repositoryhttps://github.com/mcmah309/scoped_static
max_upload_size
id1868541
size54,413
Henry (mcmah309)

documentation

README

scoped_static

github crates.io docs.rs test status

Lift references into 'static safely — at runtime.

scoped_static allows temporarily extending a reference’s lifetime to 'static using runtime safety checks. This enables you to safely spawn asynchronous tasks, threads, or other 'static contexts without running into borrow checker limitations — while still avoiding undefined behavior.


Motivation

Rust’s lifetime system ensures safety at compile time, but sometimes you need to move a non-'static reference into an async task or thread:

#[tokio::main]
async fn main() {
    let concrete_value = Box::new(1.0);
    let ref_value = &concrete_value; // This is does not live long enough (not 'static)
    tokio::spawn(async move {
        let value = **ref_value + 1.0;
        assert_eq!(value, 2.0);
    })
    .await
    .unwrap();
}

This fails because the reference to ref_value isn’t 'static.

scoped_static solves this by allowing you to lift a reference to 'static under the protection of a scope guard that enforces correct drop order at runtime.


Example

use scoped_static::{scoped, ScopedGuard};

#[tokio::main]
async fn main() {
    let value = Box::new(1.0);
    let ref_value = &value;
    // `guard` ensures no derived "lifted" values exist when dropped.
    // The type is `&mut ScopedGuard<'_, Box<f64>>`
    let guard = scoped!(ref_value);
    // `lifted` holds a `'static` reference to `'ref_value`
    // The type is `Scoped<Box<f64>>`
    let lifted = guard.lift();
    tokio::spawn(async move {
        // `lifted` moved here
        let value = **lifted + 1.0;
        assert_eq!(value, 2.0);
        // `lifted` dropped
    })
    .await
    .unwrap();
    // Forgetting has no effect since `guard` is a reference
    std::mem::forget(guard); // SAFE
   // `guard` dropped
}

See ScopedGuard and ScopedPinGuard for more info.

Commit count: 0

cargo fmt