Я пытаюсь утверждать, что два среза равны, но один из срезов интерпретируется как массив:
#[derive(Debug, PartialEq)]
enum Error {
TooBig,
}
type Bytes = [u8];
struct Fixed {
length: u32,
}
impl<'a> Fixed {
pub fn new(length: u32) -> Fixed {
Fixed { length: length }
}
pub fn length(&self) -> u32 {
self.length
}
pub fn encode(&self, decoded: &'a Bytes) -> Result<&'a Bytes, Error> {
if decoded.len() > self.length() as usize {
Err(Error::TooBig)
} else {
Ok(&decoded)
}
}
pub fn decode(&self, decoded: &'a Bytes) -> Result<&'a Bytes, Error> {
if decoded.len() > self.length() as usize {
Err(Error::TooBig)
} else {
Ok(&decoded)
}
}
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn fixed_0() {
let length = 0;
let fixed = Fixed::new(length);
let encoded = [];
let decoded = [];
assert_eq!(fixed.length(), length);
assert_eq!(fixed.encode(&decoded), Ok(&encoded));
assert_eq!(fixed.decode(&encoded), Ok(&decoded));
assert_eq!(fixed.encode(&[1]), Err(Error::TooBig));
}
#[test]
fn fixed_1() {
let length = 1;
let fixed = Fixed::new(length);
let encoded: [u8; 1] = [1];
let decoded: [u8; 1] = [1];
assert_eq!(fixed.length(), length);
assert_eq!(fixed.encode(&decoded).unwrap(), &encoded);
assert_eq!(fixed.decode(&encoded).unwrap(), &decoded);
}
}
И вот мои ошибки:
error[E0308]: mismatched types --> src/lib.rs:49:9 | 49 | assert_eq!(fixed.encode(&decoded), Ok(&encoded)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected slice, found array of 0 elements | = note: expected type `std::result::Result<&[u8], Error>` found type `std::result::Result<&[_; 0], _>` = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) error[E0308]: mismatched types --> src/lib.rs:50:9 | 50 | assert_eq!(fixed.decode(&encoded), Ok(&decoded)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected slice, found array of 0 elements | = note: expected type `std::result::Result<&[u8], Error>` found type `std::result::Result<&[u8; 0], _>` = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
Мое чтение документов заставляет меня поверить, что, используя &
, я должен создать срез. Что мне не хватает?
Всего 1 ответ
Ваш пример может быть уменьшен:
fn example(input: Result<&[u8], ()>) {
assert_eq!(input, Ok(&[]));
}
Ссылка на массив - это ссылка на массив, а не на срез. Во многих контекстах ссылка на массив может быть принудительно применена к срезу, но не везде. Это случай, когда он не может.
Вместо этого используйте более синтаксис резки:
assert_eq!(input, Ok(&[][..]));
Смотрите также: