Trait libffi::high::types::CType

pub unsafe trait CType: Copy {
    type RetType: From<Self> + TryInto<Self>;

    // Required method
    fn reify() -> Type<Self>;
}

Types that we can automatically marshall to/from C.

In particular, for any type T that implements CType, we can get a Type<T> for describing that type. This trait is unsafe to implement because if the libffi type associated with a Rust type doesn’t match then we get undefined behavior.

Required Associated Types

type RetType: From<Self> + TryInto<Self>

The low-level libffi library implicitly extends small integer return values to ffi_arg or ffi_sarg. Track the possibly extended variant of T as an associated type here.

Required Methods

fn reify() -> Type<Self>

Creates or retrieves a Type<T> for any type T: CType.

We can use the resulting object to assemble a CIF to set up a call that uses type T.

Implementations on Foreign Types

impl<T> CType for *mut T

fn reify() -> Type<Self>

type RetType = *mut T

impl CType for u32

fn reify() -> Type<Self>

type RetType = u64

impl CType for f64

fn reify() -> Type<Self>

type RetType = f64

impl CType for u64

fn reify() -> Type<Self>

type RetType = u64

impl CType for i8

fn reify() -> Type<Self>

type RetType = i64

impl CType for u16

fn reify() -> Type<Self>

type RetType = u64

impl CType for isize

fn reify() -> Type<Self>

type RetType = isize

impl CType for i32

fn reify() -> Type<Self>

type RetType = i64

impl CType for i64

fn reify() -> Type<Self>

type RetType = i64

impl CType for ()

fn reify() -> Type<Self>

type RetType = ()

impl<T> CType for *const T

fn reify() -> Type<Self>

type RetType = *const T

impl CType for i16

fn reify() -> Type<Self>

type RetType = i64

impl CType for usize

fn reify() -> Type<Self>

type RetType = usize

impl CType for f32

fn reify() -> Type<Self>

type RetType = f32

impl CType for u8

fn reify() -> Type<Self>

type RetType = u64

Implementors