중고 벡터의 내용과 녹의 정적 벡터를 비교하는 방법은 무엇입니까?

Question

테스트의 일부로 함수가 적절한 내용의 벡터를 반환한다고 주장하고 싶습니다. 따라서 예상 데이터를 정적 변수로 사용 가능하게 만들었습니다. 그러나 관리 벡터의 내용을 정적 벡터 변수와 비교하는 적절한 방법을 찾을 수 없습니다.

#[test] 
fn test_my_data_matches_expected_data() { 
    static expected_data: [u8, ..3] = [1, 2, 3]; 
    let my_data: ~[u8] = ~[1, 2, 3]; // actually returned by the function to test 

    // This would be obvious, but fails: 
    // -> mismatched types: expected `~[u8]` but found `[u8 * 3]` 
    assert_eq!(my_data, expected_data); 

    // Static vectors are told to be available as a borrowed pointer, 
    // so I tried to borrow a pointer from my_data and compare it: 
    // -> mismatched types: expected `&const ~[u8]` but found `[u8 * 3]` 
    assert_eq!(&my_data, expected_data); 

    // Dereferencing also doesn't work: 
    // -> type ~[u8] cannot be dereferenced 
    assert_eq!(*my_data, expected_data); 

    // Copying the static vector to a managed one works, but this 
    // involves creating a copy of the data and actually defeats 
    // the reason to declare it statically: 
    assert_eq!(my_data, expected_data.to_owned()); 
} 

---

업데이트 :

macro_rules! assert_typed_eq (($T: ty, $given: expr, $expected: expr) => ({ 
    let given_val: &$T = $given; 
    let expected_val: &$T = $expected; 
    assert_eq!(given_val, expected_val); 
})) 

:이 문제를 해결 작동 비교하기 전에 정적 벡터에 대한 참조를 할당, 그래서 나는 벡터의 평등을 주장하는 작은 매크로 결국 사용법 : assert_typed_eq([u8], my_data, expected_data);

Answer 1

실제로 두 종류의 정적 벡터가 있습니다 : 고정 길이의 것들 ([u8, .. 3]) 및 정적 슬라이스 (&'static [u8])입니다. 전자는 다른 유형의 벡터와 아주 잘 상호 작용하지 않습니다. 후자는 여기에서 가장 유용합니다.

fn main() { 
    static x: &'static [u8] = &[1,2,3]; 

    let y = ~[1u8,2,3]; 
    assert_eq!(y.as_slice(), x); 
}