4

关于 rust 数组的问题（常量大小的数组，[T, ..Size]）。我正在尝试进行以下工作：

#[deriving(PartialEq)]
struct Test {
  dats : [f32, ..16]
}

我知道我不能使用派生并简单地编写自己的 PartialEq，但这相当令人讨厌......给出的错误消息对我来说也很神秘（见下文）。有没有合适的乡村方式来做到这一点？

rustc ar.rs 
ar.rs:4:3: 4:20 error: mismatched types: expected `&&[f32]` but found `&[f32, .. 16]` (expected &-ptr but found vector)
ar.rs:4   dat : [f32, ..16]
          ^~~~~~~~~~~~~~~~~
note: in expansion of #[deriving]
ar.rs:2:1: 3:7 note: expansion site
ar.rs:4:3: 4:20 error: mismatched types: expected `&&[f32]` but found `&[f32, .. 16]` (expected &-ptr but found vector)
ar.rs:4   dat : [f32, ..16]
          ^~~~~~~~~~~~~~~~~
note: in expansion of #[deriving]
ar.rs:2:1: 3:7 note: expansion site
error: aborting due to 2 previous error

从今天开始，我每天都在生锈。

谢谢！

4

1 回答 1

4

这是一个错误：#7622 “固定长度数组实现无特征”。正如 AB 所说，没有办法参数化固定长度数组的长度，所以实现特征的唯一方法是实际写出它们：

impl PartialEq for [f32, .. 0] { ... }

impl PartialEq for [f32, .. 1] { ... }

impl PartialEq for [f32, .. 2] { ... }

impl PartialEq for [f32, .. 3] { ... }

// ...

（当然这可以用宏来完成：但为所有可能的特征做所有可能的长度仍然是不可行的。）

您需要在没有 的情况下自己实现特征deriving，例如

struct Test { dats: [f32, .. 16] }

impl PartialEq for Test {
    fn eq(&self, other: &Test) -> bool {
        self.dats == other.dats
    }
}

fn main() {
    let a = Test { dats: [0.0, .. 16 ]};
    let b = Test { dats: [100.0, .. 16 ]};

    println!("{}", a == b);
}

你可能会觉得奇怪，你可以在没有实现的情况下使用==with不触及特质。[f32, .. 16]PartialEq==Test==

于 2014-06-15T07:37:34.407 回答