[−][src]Struct ptr_union::UnionBuilder

pub struct UnionBuilder<U> { /* fields omitted */ }

A builder for pointer unions that enforces correct alignment.

Currently, because there is no way to generically talk about alignment in the type system, this requires the use of unsafe for the programmer to assert that the types are properly aligned. For that, you get all of the unsafe pointer-wrangling for pointer-sized pointer unions.

In the future, with sufficiently advanced const generics, it might be possible to avoid this.

Methods

`impl<A, B> UnionBuilder<Union2<A, B>>`[src]

`pub const unsafe fn new() -> Self`[src]

Deprecated since 1.1.0:

use UnionBuilder::new2 instead

Deprecated alias for UnionBuilder::new2.

The name conflicts with UnionBuilder::<Union4<_,_,_,_>>::new, causing use to be more difficult than was desired.

`pub const unsafe fn new2() -> Self`[src]

Assert that creating pointer unions of these two types is safe.

Safety

Both A and B pointer types must be erasable, and their erased form must align to at least u16 (#[repr(align(2))]).

Examples

Sound:

UnionBuilder::<Union2<Box<u16>, &u32>>::new2();

Unsound:

UnionBuilder::<Union2<Box<u16>, &u8>>::new2();

`impl<A, B, C, D> UnionBuilder<Union4<A, B, C, D>>`[src]

`pub const unsafe fn new() -> Self`[src]

Deprecated since 1.1.0:

use UnionBuilder::new4 instead

Deprecated alias for UnionBuilder::new4.

The name conflicts with UnionBuilder::<Union2<_,_>>::new, causing use to be more difficult than was desired.

`pub const unsafe fn new4() -> Self`[src]

Assert that creating pointer unions of these four types is safe.

Safety

The A, B, C, and D pointer types must be erasable, and their erased form must align to at least u32 (#[repr(align(4))]).

Examples

Sound:

UnionBuilder::<Union4<Box<u32>, &u32, Arc<u32>, Arc<u64>>>::new4();

Unsound:

UnionBuilder::<Union4<Box<u16>, &u16, Arc<u16>, Arc<u64>>>::new4();