Rust 泛型求助

[LeeReamond]

如题，需求是现有若干二维数组，具体表现形式为 Vec<[T;N]>

数组比较动态，T 可以是 i32 或者 f64，N 需要在运行时确定，确定后不会再更改。现在想实现一个函数，让数组传递进去以后，自动扫描是否有非法值(负数即非法)，一旦出现，从下一行补位替换非法值。


为了代码复用，想让所有类型，长度的数组都能共用一个方法。折腾了半天没搞明白怎么写，求助

[gfreezy]

写个 macro，范型解决不了这个问题吧

[nbndco]

用 https://crates.io/crates/num，Vec 长度可变并不是类型签名，不需要处理 N

[codehz]

处理 slice 就好了啊。。。
不过现在 min const generic 已经 stable 了，写<const N: usize>的泛型也可以，但是意义不明，不如直接 slice &mut [T]

[LeeReamond]

@codehz 我试了一下那个 const 的写法不支持，我是新装的 rust 。slice 那个看不懂，初学 rust，大佬能提供一个最小实现吗

[codehz]

@LeeReamond #4 看了一眼，还差一点 stable，几天之后就可以了（现在可以用 beta 版本过编译
https://play.rust-lang.org/?version=beta&mode=debug&edition=2018

[codehz]

slice 的解决方案(算法没实现，只是随便写了一个判断赋值以确定能读写，你自己解决）
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=52572dfc88bd38847f4f3adb49e982a2
const generic 的解决方案
https://play.rust-lang.org/?version=beta&mode=debug&edition=2018&gist=f5223859a949a5b4de1278aad883cea2
（同样没实现算法，只是测试能读写

[LeeReamond]

@codehz 感谢代码，我在英文社区中的帖子得到了相似的回复，使用 AsMut 可以抽象出接受任意长度数组输入的版本，它的问题在于无法接受任意类型数组（比如[i32]和[f64]不能同时输入），而如果使用泛型替代的话，比如 AsMut<[T]>，则产生了后续 T 的所有实现都要 trait 的问题。

英文老哥给出的设计哲学是，虽然最终可以实现，但建议不要这么组织代码，由于 rust 没有一个针对全体数字类型的抽象，一旦采用 T 接受任意类型的输入，你需要使用 trait 约束其所有实现细节，并由于其仅约束 trait，可能带来输入不安全的问题（同性状下完全不相干的类型输入）。所以无论采用 const 的方式还是 asmut 的方式，输入类型最好唯一，并以宏来解决代码复用问题。

无论如何感谢你们的回复。

[codehz]

(也不是不可以，至少上面那个例子里可以 https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=588978a0660307e665d75ba56ba25a9c
抽象可以针对行为而非具体类型进行，里面的判断也可以换成传递一个函数（这里肯定能被 inline，所以不用担心损耗）