[go: up one dir, main page]

cxx 0.2.2

Safe interop 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

pub struct True;
pub struct False;

pub trait ToBool {
    type Bool: Sized;
    const BOOL: Self::Bool;
}

impl ToBool for [(); 0] {
    type Bool = False;
    const BOOL: Self::Bool = False;
}

impl ToBool for [(); 1] {
    type Bool = True;
    const BOOL: Self::Bool = True;
}

macro_rules! bool {
    ($e:expr) => {{
        const EXPR: bool = $e;
        <[(); EXPR as usize] as $crate::assert::ToBool>::BOOL
    }};
}

macro_rules! const_assert {
    ($e:expr) => {
        const _: $crate::assert::True = bool!($e);
    };
}