qcell 0.5.5

Statically-checked alternatives to RefCell and RwLock
Documentation 
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
81
82
83
84
85
86
87
88
89
90
91

use static_assertions::assert_impl_all;
use static_assertions::assert_not_impl_any;

use std::cell::Cell;
use std::panic::RefUnwindSafe;
use std::panic::UnwindSafe;
use std::rc::Rc;

use crate::{LCell, LCellOwner, QCell, QCellOwnerPinned};

#[cfg(feature = "alloc")]
use crate::QCellOwner;

#[cfg(feature = "std")]
use crate::{TCell, TCellOwner, TLCell, TLCellOwner};

// Doesn't do anything, but shows up in list to prove that this file
// has compiled
#[test]
fn test_static_assertions() {}

#[allow(dead_code)]
struct Q;

// Check owners
assert_impl_all!(LCellOwner<'_>: Send, Sync, Unpin, UnwindSafe, RefUnwindSafe);
#[cfg(feature = "alloc")]
assert_impl_all!(QCellOwner: Send, Sync, Unpin, UnwindSafe, RefUnwindSafe);
assert_impl_all!(QCellOwnerPinned: Send, Sync, UnwindSafe, RefUnwindSafe);
assert_not_impl_any!(QCellOwnerPinned: Unpin);
#[cfg(feature = "std")]
assert_impl_all!(TCellOwner<Q>: Send, Sync, Unpin, UnwindSafe, RefUnwindSafe);
#[cfg(feature = "std")]
assert_impl_all!(TLCellOwner<Q>: Unpin, UnwindSafe, RefUnwindSafe);
#[cfg(feature = "std")]
assert_not_impl_any!(TLCellOwner<Q>: Send, Sync);

// Check cells for simple type: i32
assert_impl_all!(LCell<'_, i32>: Send, Sync, Unpin, UnwindSafe);
assert_impl_all!(QCell<i32>: Send, Sync, Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_impl_all!(TCell<Q, i32>: Send, Sync, Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_impl_all!(TLCell<Q, i32>: Send, Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_not_impl_any!(TLCell<Q, i32>: Sync);

// Check cells for a !Send !Sync type: Rc<i32>
assert_impl_all!(LCell<'_, Rc<i32>>: Unpin, UnwindSafe);
assert_impl_all!(QCell<Rc<i32>>: Unpin, UnwindSafe);
assert_not_impl_any!(LCell<'_, Rc<i32>>: Send, Sync);
assert_not_impl_any!(QCell<Rc<i32>>: Send, Sync);
#[cfg(feature = "std")]
assert_impl_all!(TCell<Q, Rc<i32>>: Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_impl_all!(TLCell<Q, Rc<i32>>: Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_not_impl_any!(TCell<Q, Rc<i32>>: Send, Sync);
#[cfg(feature = "std")]
assert_not_impl_any!(TLCell<Q, Rc<i32>>: Send, Sync);

// Check cells for a Send !Sync type: Cell<i32>
assert_impl_all!(LCell<'_, Cell<i32>>: Send, Unpin, UnwindSafe);
assert_impl_all!(QCell<Cell<i32>>: Send, Unpin, UnwindSafe);
assert_not_impl_any!(LCell<'_, Cell<i32>>: Sync);
assert_not_impl_any!(QCell<Cell<i32>>: Sync);
#[cfg(feature = "std")]
assert_impl_all!(TCell<Q, Cell<i32>>: Send, Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_impl_all!(TLCell<Q, Cell<i32>>: Send, Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_not_impl_any!(TCell<Q, Cell<i32>>: Sync);
#[cfg(feature = "std")]
assert_not_impl_any!(TLCell<Q, Cell<i32>>: Sync);

// Check cells for a !Send Sync type
#[allow(dead_code)]
struct Test(*const i32);
unsafe impl Sync for Test {}
assert_impl_all!(LCell<'_, Test>: Unpin, UnwindSafe);
assert_impl_all!(QCell<Test>: Unpin, UnwindSafe);
assert_not_impl_any!(LCell<'_, Test>: Send, Sync);
assert_not_impl_any!(QCell<Test>: Send, Sync);
#[cfg(feature = "std")]
assert_impl_all!(TCell<Q, Test>: Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_impl_all!(TLCell<Q, Test>: Unpin, UnwindSafe);
#[cfg(feature = "std")]
assert_not_impl_any!(TCell<Q, Test>: Send, Sync);
#[cfg(feature = "std")]
assert_not_impl_any!(TLCell<Q, Test>: Send, Sync);