Ожидаемый срез, найденный массив, если утверждать, что они равны

Я пытаюсь утверждать, что два среза равны, но один из срезов интерпретируется как массив:

#[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(&[][..]));

Смотрите также:


Есть идеи?

10000