|
3 | 3 | use bytes::buf::UninitSlice;
|
4 | 4 | use bytes::{BufMut, BytesMut};
|
5 | 5 | use core::fmt::Write;
|
| 6 | +use core::mem::MaybeUninit; |
6 | 7 | use core::usize;
|
7 | 8 |
|
8 | 9 | #[test]
|
@@ -101,24 +102,120 @@ fn test_clone() {
|
101 | 102 | assert!(buf != buf2);
|
102 | 103 | }
|
103 | 104 |
|
| 105 | +fn do_test_slice_small<T: ?Sized>(make: impl Fn(&mut [u8]) -> &mut T) |
| 106 | +where |
| 107 | + for<'r> &'r mut T: BufMut, |
| 108 | +{ |
| 109 | + let mut buf = [b'X'; 8]; |
| 110 | + |
| 111 | + let mut slice = make(&mut buf[..]); |
| 112 | + slice.put_bytes(b'A', 2); |
| 113 | + slice.put_u8(b'B'); |
| 114 | + slice.put_slice(b"BCC"); |
| 115 | + assert_eq!(2, slice.remaining_mut()); |
| 116 | + assert_eq!(b"AABBCCXX", &buf[..]); |
| 117 | + |
| 118 | + let mut slice = make(&mut buf[..]); |
| 119 | + slice.put_u32(0x61626364); |
| 120 | + assert_eq!(4, slice.remaining_mut()); |
| 121 | + assert_eq!(b"abcdCCXX", &buf[..]); |
| 122 | + |
| 123 | + let mut slice = make(&mut buf[..]); |
| 124 | + slice.put_u32_le(0x30313233); |
| 125 | + assert_eq!(4, slice.remaining_mut()); |
| 126 | + assert_eq!(b"3210CCXX", &buf[..]); |
| 127 | +} |
| 128 | + |
| 129 | +fn do_test_slice_large<T: ?Sized>(make: impl Fn(&mut [u8]) -> &mut T) |
| 130 | +where |
| 131 | + for<'r> &'r mut T: BufMut, |
| 132 | +{ |
| 133 | + const LEN: usize = 100; |
| 134 | + const FILL: [u8; LEN] = [b'Y'; LEN]; |
| 135 | + |
| 136 | + let test = |fill: &dyn Fn(&mut &mut T, usize)| { |
| 137 | + for buf_len in 0..LEN { |
| 138 | + let mut buf = [b'X'; LEN]; |
| 139 | + for fill_len in 0..=buf_len { |
| 140 | + let mut slice = make(&mut buf[..buf_len]); |
| 141 | + fill(&mut slice, fill_len); |
| 142 | + assert_eq!(buf_len - fill_len, slice.remaining_mut()); |
| 143 | + let (head, tail) = buf.split_at(fill_len); |
| 144 | + assert_eq!(&FILL[..fill_len], head); |
| 145 | + assert!(tail.iter().all(|b| *b == b'X')); |
| 146 | + } |
| 147 | + } |
| 148 | + }; |
| 149 | + |
| 150 | + test(&|slice, fill_len| slice.put_slice(&FILL[..fill_len])); |
| 151 | + test(&|slice, fill_len| slice.put_bytes(FILL[0], fill_len)); |
| 152 | +} |
| 153 | + |
| 154 | +fn do_test_slice_put_slice_panics<T: ?Sized>(make: impl Fn(&mut [u8]) -> &mut T) |
| 155 | +where |
| 156 | + for<'r> &'r mut T: BufMut, |
| 157 | +{ |
| 158 | + let mut buf = [b'X'; 4]; |
| 159 | + let mut slice = make(&mut buf[..]); |
| 160 | + slice.put_slice(b"12345"); |
| 161 | +} |
| 162 | + |
| 163 | +fn do_test_slice_put_bytes_panics<T: ?Sized>(make: impl Fn(&mut [u8]) -> &mut T) |
| 164 | +where |
| 165 | + for<'r> &'r mut T: BufMut, |
| 166 | +{ |
| 167 | + let mut buf = [b'X'; 4]; |
| 168 | + let mut slice = make(&mut buf[..]); |
| 169 | + slice.put_bytes(b'1', 5); |
| 170 | +} |
| 171 | + |
| 172 | +#[test] |
| 173 | +fn test_slice_buf_mut_small() { |
| 174 | + do_test_slice_small(|x| x); |
| 175 | +} |
| 176 | + |
104 | 177 | #[test]
|
105 |
| -fn test_mut_slice() { |
106 |
| - let mut v = vec![0, 0, 0, 0]; |
107 |
| - let mut s = &mut v[..]; |
108 |
| - s.put_u32(42); |
| 178 | +fn test_slice_buf_mut_large() { |
| 179 | + do_test_slice_large(|x| x); |
| 180 | +} |
109 | 181 |
|
110 |
| - assert_eq!(s.len(), 0); |
111 |
| - assert_eq!(&v, &[0, 0, 0, 42]); |
| 182 | +#[test] |
| 183 | +#[should_panic] |
| 184 | +fn test_slice_buf_mut_put_slice_overflow() { |
| 185 | + do_test_slice_put_slice_panics(|x| x); |
112 | 186 | }
|
113 | 187 |
|
114 | 188 | #[test]
|
115 |
| -fn test_slice_put_bytes() { |
116 |
| - let mut v = [0, 0, 0, 0]; |
117 |
| - let mut s = &mut v[..]; |
118 |
| - s.put_u8(17); |
119 |
| - s.put_bytes(19, 2); |
120 |
| - assert_eq!(1, s.remaining_mut()); |
121 |
| - assert_eq!(&[17, 19, 19, 0], &v[..]); |
| 189 | +#[should_panic] |
| 190 | +fn test_slice_buf_mut_put_bytes_overflow() { |
| 191 | + do_test_slice_put_bytes_panics(|x| x); |
| 192 | +} |
| 193 | + |
| 194 | +fn make_maybe_uninit_slice(slice: &mut [u8]) -> &mut [MaybeUninit<u8>] { |
| 195 | + // SAFETY: [u8] has the same layout as [MaybeUninit<u8>]. |
| 196 | + unsafe { core::mem::transmute(slice) } |
| 197 | +} |
| 198 | + |
| 199 | +#[test] |
| 200 | +fn test_maybe_uninit_buf_mut_small() { |
| 201 | + do_test_slice_small(make_maybe_uninit_slice); |
| 202 | +} |
| 203 | + |
| 204 | +#[test] |
| 205 | +fn test_maybe_uninit_buf_mut_large() { |
| 206 | + do_test_slice_large(make_maybe_uninit_slice); |
| 207 | +} |
| 208 | + |
| 209 | +#[test] |
| 210 | +#[should_panic] |
| 211 | +fn test_maybe_uninit_buf_mut_put_slice_overflow() { |
| 212 | + do_test_slice_put_slice_panics(make_maybe_uninit_slice); |
| 213 | +} |
| 214 | + |
| 215 | +#[test] |
| 216 | +#[should_panic] |
| 217 | +fn test_maybe_uninit_buf_mut_put_bytes_overflow() { |
| 218 | + do_test_slice_put_bytes_panics(make_maybe_uninit_slice); |
122 | 219 | }
|
123 | 220 |
|
124 | 221 | #[test]
|
|
0 commit comments