src/test/ui/type-sizes.rs

   1 // run-pass
   2
   3 #![allow(non_camel_case_types)]
   4 #![allow(dead_code)]
   5 #![feature(never_type)]
   6
   7 use std::mem::size_of;
   8
   9 struct t {a: u8, b: i8}
  10 struct u {a: u8, b: i8, c: u8}
  11 struct v {a: u8, b: i8, c: v2, d: u32}
  12 struct v2 {u: char, v: u8}
  13 struct w {a: isize, b: ()}
  14 struct x {a: isize, b: (), c: ()}
  15 struct y {x: isize}
  16
  17 enum e1 {
  18     a(u8, u32), b(u32), c
  19 }
  20 enum e2 {
  21     a(u32), b
  22 }
  23
  24 #[repr(C, u8)]
  25 enum e3 {
  26     a([u16; 0], u8), b
  27 }
  28
  29 struct ReorderedStruct {
  30     a: u8,
  31     b: u16,
  32     c: u8
  33 }
  34
  35 enum ReorderedEnum {
  36     A(u8, u16, u8),
  37     B(u8, u16, u8),
  38 }
  39
  40 enum EnumEmpty {}
  41
  42 enum EnumSingle1 {
  43     A,
  44 }
  45
  46 enum EnumSingle2 {
  47     A = 42 as isize,
  48 }
  49
  50 enum EnumSingle3 {
  51     A,
  52     B(!),
  53 }
  54
  55 #[repr(u8)]
  56 enum EnumSingle4 {
  57     A,
  58 }
  59
  60 #[repr(u8)]
  61 enum EnumSingle5 {
  62     A = 42 as u8,
  63 }
  64
  65 enum EnumWithMaybeUninhabitedVariant<T> {
  66     A(&'static ()),
  67     B(&'static (), T),
  68     C,
  69 }
  70
  71 enum NicheFilledEnumWithAbsentVariant {
  72     A(&'static ()),
  73     B((), !),
  74     C,
  75 }
  76
  77 pub fn main() {
  78     assert_eq!(size_of::<u8>(), 1 as usize);
  79     assert_eq!(size_of::<u32>(), 4 as usize);
  80     assert_eq!(size_of::<char>(), 4 as usize);
  81     assert_eq!(size_of::<i8>(), 1 as usize);
  82     assert_eq!(size_of::<i32>(), 4 as usize);
  83     assert_eq!(size_of::<t>(), 2 as usize);
  84     assert_eq!(size_of::<u>(), 3 as usize);
  85     // Alignment causes padding before the char and the u32.
  86
  87     assert_eq!(size_of::<v>(),
  88                 16 as usize);
  89     assert_eq!(size_of::<isize>(), size_of::<usize>());
  90     assert_eq!(size_of::<w>(), size_of::<isize>());
  91     assert_eq!(size_of::<x>(), size_of::<isize>());
  92     assert_eq!(size_of::<isize>(), size_of::<y>());
  93
  94     // Make sure enum types are the appropriate size, mostly
  95     // around ensuring alignment is handled properly
  96
  97     assert_eq!(size_of::<e1>(), 8 as usize);
  98     assert_eq!(size_of::<e2>(), 8 as usize);
  99     assert_eq!(size_of::<e3>(), 4 as usize);
 100     assert_eq!(size_of::<ReorderedStruct>(), 4);
 101     assert_eq!(size_of::<ReorderedEnum>(), 6);
 102
 103     assert_eq!(size_of::<EnumEmpty>(), 0);
 104     assert_eq!(size_of::<EnumSingle1>(), 0);
 105     assert_eq!(size_of::<EnumSingle2>(), 0);
 106     assert_eq!(size_of::<EnumSingle3>(), 0);
 107     assert_eq!(size_of::<EnumSingle4>(), 1);
 108     assert_eq!(size_of::<EnumSingle5>(), 1);
 109
 110     assert_eq!(size_of::<EnumWithMaybeUninhabitedVariant<!>>(),
 111                size_of::<EnumWithMaybeUninhabitedVariant<()>>());
 112     assert_eq!(size_of::<NicheFilledEnumWithAbsentVariant>(), size_of::<&'static ()>());
 113
 114     assert_eq!(size_of::<Option<Option<(bool, &())>>>(), size_of::<(bool, &())>());
 115     assert_eq!(size_of::<Option<Option<(&(), bool)>>>(), size_of::<(bool, &())>());
 116 }