hicc 0.1.0

Safe, efficient, full-featured FFI between Rust and C++
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

use crate::{AbiClass, ClassMutPtr, ClassPtr, ClassRef, ClassRefMut};
use std::marker::PhantomData;

/// 用于支持`c++`模板类. 对应`rust`侧泛型参数必须支持`AbiType`.
pub trait AbiType: Sized {
    type InputType;
    type InputRef<'a> where Self: 'a;
    type InputRefMut<'a> where Self: 'a;
    type InputPtr<'a, P, const N: usize> where Self: 'a;
    type InputMutPtr<'a, P, const N: usize> where Self: 'a;
    type OutputType;
    type OutputRef<'a> where Self: 'a;
    type OutputRefMut<'a> where Self: 'a;
    type OutputPtr<'a, P, const N: usize> where Self: 'a;
    type OutputMutPtr<'a, P, const N: usize> where Self: 'a;
}

/// `c++`模板参数, 非`c++类`必须包装在`pod<T>`中使用.
/// ```rust!
/// let std_vec = hicc::vector<hicc::Pod<i32>>::new();
/// ```
pub struct Pod<T: Sized>(PhantomData<T>);

unsafe impl<T: Send> Send for Pod<T> {}
unsafe impl<T: Sync> Sync for Pod<T> {}

impl<T: Sized> AbiType for Pod<T> {
    type InputType = T;
    type InputRef<'a> = &'a T where T: 'a;
    type InputRefMut<'a> = &'a mut T where T: 'a;
    type InputPtr<'a, P, const N: usize> = P where T: 'a;
    type InputMutPtr<'a, P, const N: usize> = P where T: 'a;
    type OutputType = T;
    type OutputRef<'a> = &'a T where T: 'a;
    type OutputRefMut<'a> = &'a mut T where T: 'a;
    type OutputPtr<'a, P, const N: usize> = P where T: 'a;
    type OutputMutPtr<'a, P, const N: usize> = P where T: 'a;
}

/// `c++`类可直接作为`c++`模板参数使用.
///
/// ```rust!
/// let vec_vec_string = hicc::vector<hicc::vector<hicc::string>>::new();
/// ```
impl<T: AbiClass> AbiType for T {
    type InputType = T;
    type InputRef<'a> = &'a T where T: 'a;
    type InputRefMut<'a> = &'a mut T where T: 'a;
    type InputPtr<'a, P, const N: usize> = &'a ClassPtr<'a, T, N> where T: 'a;
    type InputMutPtr<'a, P, const N: usize> = &'a ClassMutPtr<'a, T, N> where T: 'a;
    type OutputType = T;
    type OutputRef<'a> = ClassRef<'a, T> where T: 'a;
    type OutputRefMut<'a> = ClassRefMut<'a, T> where T: 'a;
    type OutputPtr<'a, P, const N: usize> = ClassPtr<'a, T, N> where T: 'a;
    type OutputMutPtr<'a, P, const N: usize> = ClassMutPtr<'a, T, N> where T: 'a;
}