1
0

structs.rs 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164
  1. use const_serialize::{deserialize_const, serialize_const, ConstVec, SerializeConst};
  2. use std::mem::MaybeUninit;
  3. #[test]
  4. fn test_transmute_bytes_to_struct() {
  5. struct MyStruct {
  6. a: u32,
  7. b: u8,
  8. c: u32,
  9. d: u32,
  10. }
  11. const SIZE: usize = std::mem::size_of::<MyStruct>();
  12. let mut out = [MaybeUninit::uninit(); SIZE];
  13. let first_align = std::mem::offset_of!(MyStruct, a);
  14. let second_align = std::mem::offset_of!(MyStruct, b);
  15. let third_align = std::mem::offset_of!(MyStruct, c);
  16. let fourth_align = std::mem::offset_of!(MyStruct, d);
  17. for (i, byte) in 1234u32.to_le_bytes().iter().enumerate() {
  18. out[i + first_align] = MaybeUninit::new(*byte);
  19. }
  20. for (i, byte) in 12u8.to_le_bytes().iter().enumerate() {
  21. out[i + second_align] = MaybeUninit::new(*byte);
  22. }
  23. for (i, byte) in 13u32.to_le_bytes().iter().enumerate() {
  24. out[i + third_align] = MaybeUninit::new(*byte);
  25. }
  26. for (i, byte) in 14u32.to_le_bytes().iter().enumerate() {
  27. out[i + fourth_align] = MaybeUninit::new(*byte);
  28. }
  29. let out = unsafe { std::mem::transmute_copy::<[MaybeUninit<u8>; SIZE], MyStruct>(&out) };
  30. assert_eq!(out.a, 1234);
  31. assert_eq!(out.b, 12);
  32. assert_eq!(out.c, 13);
  33. assert_eq!(out.d, 14);
  34. }
  35. #[test]
  36. fn test_serialize_const_layout_struct_list() {
  37. #[derive(Clone, Copy, Debug, PartialEq, SerializeConst)]
  38. struct Struct {
  39. a: u32,
  40. b: u8,
  41. c: u32,
  42. d: u32,
  43. }
  44. impl Struct {
  45. #[allow(dead_code)]
  46. const fn equal(&self, other: &Struct) -> bool {
  47. self.a == other.a && self.b == other.b && self.c == other.c && self.d == other.d
  48. }
  49. }
  50. #[derive(Clone, Copy, Debug, PartialEq, SerializeConst)]
  51. struct OtherStruct {
  52. a: u32,
  53. b: u8,
  54. c: Struct,
  55. d: u32,
  56. }
  57. impl OtherStruct {
  58. #[allow(dead_code)]
  59. const fn equal(&self, other: &OtherStruct) -> bool {
  60. self.a == other.a && self.b == other.b && self.c.equal(&other.c) && self.d == other.d
  61. }
  62. }
  63. const INNER_DATA: Struct = Struct {
  64. a: 0x11111111,
  65. b: 0x22,
  66. c: 0x33333333,
  67. d: 0x44444444,
  68. };
  69. const DATA: [OtherStruct; 3] = [
  70. OtherStruct {
  71. a: 0x11111111,
  72. b: 0x22,
  73. c: INNER_DATA,
  74. d: 0x44444444,
  75. },
  76. OtherStruct {
  77. a: 0x111111,
  78. b: 0x23,
  79. c: INNER_DATA,
  80. d: 0x44444444,
  81. },
  82. OtherStruct {
  83. a: 0x11111111,
  84. b: 0x11,
  85. c: INNER_DATA,
  86. d: 0x44441144,
  87. },
  88. ];
  89. const _ASSERT: () = {
  90. let mut buf = ConstVec::new();
  91. buf = serialize_const(&DATA, buf);
  92. let buf = buf.read();
  93. let [first, second, third] = match deserialize_const!([OtherStruct; 3], buf) {
  94. Some((_, data)) => data,
  95. None => panic!("data mismatch"),
  96. };
  97. if !(first.equal(&DATA[0]) && second.equal(&DATA[1]) && third.equal(&DATA[2])) {
  98. panic!("data mismatch");
  99. }
  100. };
  101. const _ASSERT_2: () = {
  102. let mut buf = ConstVec::new();
  103. const DATA_AGAIN: [[OtherStruct; 3]; 3] = [DATA, DATA, DATA];
  104. buf = serialize_const(&DATA_AGAIN, buf);
  105. let buf = buf.read();
  106. let [first, second, third] = match deserialize_const!([[OtherStruct; 3]; 3], buf) {
  107. Some((_, data)) => data,
  108. None => panic!("data mismatch"),
  109. };
  110. if !(first[0].equal(&DATA[0]) && first[1].equal(&DATA[1]) && first[2].equal(&DATA[2])) {
  111. panic!("data mismatch");
  112. }
  113. if !(second[0].equal(&DATA[0]) && second[1].equal(&DATA[1]) && second[2].equal(&DATA[2])) {
  114. panic!("data mismatch");
  115. }
  116. if !(third[0].equal(&DATA[0]) && third[1].equal(&DATA[1]) && third[2].equal(&DATA[2])) {
  117. panic!("data mismatch");
  118. }
  119. };
  120. let mut buf = ConstVec::new();
  121. buf = serialize_const(&DATA, buf);
  122. println!("{:?}", buf.as_ref());
  123. let buf = buf.read();
  124. let (_, data2) = deserialize_const!([OtherStruct; 3], buf).unwrap();
  125. assert_eq!(DATA, data2);
  126. }
  127. #[test]
  128. fn test_serialize_const_layout_struct() {
  129. #[derive(Debug, PartialEq, SerializeConst)]
  130. struct Struct {
  131. a: u32,
  132. b: u8,
  133. c: u32,
  134. d: u32,
  135. }
  136. #[derive(Debug, PartialEq, SerializeConst)]
  137. struct OtherStruct(u32, u8, Struct, u32);
  138. println!("{:?}", OtherStruct::MEMORY_LAYOUT);
  139. let data = Struct {
  140. a: 0x11111111,
  141. b: 0x22,
  142. c: 0x33333333,
  143. d: 0x44444444,
  144. };
  145. let data = OtherStruct(0x11111111, 0x22, data, 0x44444444);
  146. let mut buf = ConstVec::new();
  147. buf = serialize_const(&data, buf);
  148. println!("{:?}", buf.as_ref());
  149. let buf = buf.read();
  150. let (_, data2) = deserialize_const!(OtherStruct, buf).unwrap();
  151. assert_eq!(data, data2);
  152. }