1 unstable release

0.1.0 Apr 22, 2024

#7 in #cleaning


Used in webtric

MIT license

8KB
95 lines

Rawn

Crates.io docs.rs

Helper of raw pointers cleaning.

BoxRaw

Trait BoxRaw is default implemented for tuples of mut raw pointers.

Struct BoxRaws is new type struct wrapping BoxRaw implemented type.

Use

use rawn::{BoxRaw, BoxRaws};

// declare a raw pointer
let x: *mut u8 = Box::into_raw(Box::new(0u8));
// destruct it with `clean()` method of trait `BoxRaw`
x.clean();

// below code would work, but it's accessing dangling pointer.
// which is already cleaned out.
// rust's miri test would not pass this case.
{
  unsafe {
    let _ = *x;
  }
}

// BoxRaw is implemented for tuples of mut raw pointers.
// Available tuple size is from 1 to 12.
let a = Box::into_raw(Box::new(String::from("raw")));
let b = Box::into_raw(Box::new(12.));
let c: Box<Vec<u8>> = Box::new(vec![0, 1, 2]);
let c: *mut Vec<u8> = Box::into_raw(c);

let x = (a, b, c);
x.clean();

// `BoxRaws` is new type struct wrapping a tuple of raw pointers.
// It implements BoxRaw too.
let a = Box::into_raw(Box::new(0u8));
let b = Box::into_raw(Box::new(1u8));
let raws = BoxRaws::new((a, b));
raws.clean();
// BoxRaw is only for raw pointers which are declared using `Box::into_raw()`.
// Thus, Using coerced mutable references would make errors.
// This code will panic:
let mut c: Vec<u8> = vec![0, 1, 2];
let c: *mut Vec<u8> = &mut c;
c.clean();

Dependencies

~4KB