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
92
93
94
95
96
97
98
#![allow(missing_docs)]
use safer_ffi::prelude::*;
use ::std::{
any::{Any, TypeId},
sync::Arc,
};
use crate::Erased;
#[derive_ReprC]
#[ReprC::opaque]
pub struct VTable {
type_id: fn() -> TypeId,
clone_arc: unsafe fn(*const Erased) -> FFIObj,
drop_arc: unsafe fn(*const Erased),
}
#[derive_ReprC]
#[repr(C)]
pub struct FFIObj {
ptr: *const Erased,
vtable: &'static VTable,
}
trait HasVTable
where
Self: Sized + Any + Send + Sync + 'static,
{
const VTABLE: VTable = VTable {
type_id: || TypeId::of::<Self>(),
drop_arc: {
unsafe fn drop_arc<T: Any + Send + Sync + 'static>(ptr: *const Erased) {
let ptr: *const T = ptr.cast();
drop::<Arc<T>>(Arc::from_raw(ptr))
}
drop_arc::<Self>
},
clone_arc: {
unsafe fn clone_arc<T: Any + Send + Sync + 'static>(ptr: *const Erased) -> FFIObj {
let ptr: *const T = ptr.cast();
let arc_ref: &Arc<T> = &*::core::mem::ManuallyDrop::new(Arc::<T>::from_raw(ptr));
let owned_clone: Arc<T> = Arc::clone(arc_ref);
FFIObj {
ptr: Arc::into_raw(owned_clone).cast(),
vtable: &T::VTABLE,
}
}
clone_arc::<Self>
},
};
}
impl<T: ?Sized> HasVTable for T where Self: Sized + Any + Send + Sync + 'static {}
impl FFIObj {
pub fn new<T: Any + Send + Sync + 'static>(value: T) -> Self {
Self {
ptr: Arc::into_raw(Arc::new(value)).cast(),
vtable: &T::VTABLE,
}
}
pub fn downcast_ref<T: Any>(self: &'_ FFIObj) -> Option<&'_ T> {
if self.is::<T>() {
unsafe { Some(&*self.ptr.cast()) }
} else {
None
}
}
fn is<T: Any>(self: &'_ FFIObj) -> bool {
(self.vtable.type_id)() == ::core::any::TypeId::of::<T>()
}
}
impl Clone for FFIObj {
fn clone(self: &'_ FFIObj) -> FFIObj {
unsafe { (self.vtable.clone_arc)(self.ptr) }
}
}
impl Drop for FFIObj {
fn drop(self: &'_ mut FFIObj) {
unsafe { (self.vtable.drop_arc)(self.ptr) }
}
}
unsafe impl Send for FFIObj where Arc<dyn Any + Send + Sync + 'static>: Send {}
unsafe impl Sync for FFIObj where Arc<dyn Any + Send + Sync + 'static>: Sync {}