Macro memoffset::span_of

macro_rules! span_of {
    (@ helper $root : ident, [] ..=) => { ... };
    (@ helper $root : ident, [] ..) => { ... };
    (@ helper $root : ident, $parent : path, [] ..) => { ... };
    (@ helper $root : ident, $parent : path, [] ..= $end : tt) => { ... };
    (@ helper $root : ident, $parent : path, [] .. $end : tt) => { ... };
    (@ helper $root : ident, $parent : path, # $begin : tt [] ..= $end : tt) => { ... };
    (@ helper $root : ident, $parent : path, # $begin : tt [] .. $end : tt) => { ... };
    (@ helper $root : ident, $parent : path, # $begin : tt [] ..) => { ... };
    (@ helper $root : ident, $parent : path, # $begin : tt [] ..=) => { ... };
    (@ helper $root : ident, $parent : path, # $field : tt []) => { ... };
    (@ helper $root : ident, $parent : path, $(# $begin : tt) + [] $tt : tt
 $($rest : tt) *) => { ... };
    (@ helper $root : ident, $parent : path, [] $tt : tt $($rest : tt) *) => { ... };
    ($sty : path, $($exp : tt) +) => { ... };
}

Produces a range instance representing the sub-slice containing the specified member.

This macro provides 2 forms of differing functionalities.

The first form is identical to the appearance of the offset_of! macro.

span_of!(Struct, member)

The second form of span_of! returns a sub-slice which starts at one field, and ends at another. The general pattern of this form is:

// Exclusive
span_of!(Struct, member_a .. member_b)
// Inclusive
span_of!(Struct, member_a ..= member_b)

// Open-ended ranges
span_of!(Struct, .. end)
span_of!(Struct, start ..)

Note: This macro uses recursion in order to resolve the range expressions, so there is a limit to the complexity of the expression. In order to raise the limit, the compiler’s recursion limit should be lifted.

Examples

use memoffset::span_of;

#[repr(C)]
struct Florp {
    a: u32
}

#[repr(C)]
struct Blarg {
    x: [u32; 2],
    y: [u8; 56],
    z: Florp,
    egg: [[u8; 4]; 4]
}

fn main() {
    assert_eq!(0..84,  span_of!(Blarg, ..));
    assert_eq!(0..8,   span_of!(Blarg, .. y));
    assert_eq!(0..64,  span_of!(Blarg, ..= y));
    assert_eq!(0..8,   span_of!(Blarg, x));
    assert_eq!(8..84,  span_of!(Blarg, y ..));
    assert_eq!(0..8,   span_of!(Blarg, x .. y));
    assert_eq!(0..64,  span_of!(Blarg, x ..= y));
}