有没有办法强制两个参数切片具有相同的长度？

Question

如果我想定义一个这样的函数：

fn f(in_slice: &[T], out_slice: &mut [T]){
}

有没有办法在编译时保证两个切片的长度相同？

Answer 1

不，因为编译器在编译时不知道长度。

Answer 2

没有。

Answer 3

还没有。我们可能会在某些时候gain support用于uint的泛型，之后它应该成为可能，例如：

fn f<T, static N: uint>(in_slice: &[T, ..N], out_slice: &mut [T, ..N]) { ... }