我将为坐标创建一个泛型类型.它应该能够 for each 轴指定基数类型.
起初，我的代码如下所示:
use num::Signed;
struct Coordinate<Index: Signed> {
x: Index,
y: Index,
}
此外，我希望它携带额外的绑定信息，以帮助我判断实现中的访问权限，所以我写了以下内容.
use num::Signed;
struct Coordinate<const Bound: isize, Index: Signed> {
x: Index,
y: Index,
}
然而，即使只对i8, ..., isize执行Signed，我也不能简单地将Signed的值与isize进行比较.所以我求助于这个:
use num::Signed;
struct Coordinate<const Bound: Index, Index: Signed> {
x: Index,
y: Index,
}
当然，它失败了.我想知道有没有可能解决这个问题的办法.
你的第一个版本是在正确的方向上，它只需要一些更多的特征界限:
use num::Signed;
#[derive(Debug)]
struct Coordinate<const BOUND: isize, Index>
where
Index: Signed + PartialOrd + Copy,
isize: From<Index>,
{
x: Index,
y: Index,
}
impl<const BOUND: isize, Index> Coordinate<BOUND, Index>
where
Index: Signed + PartialOrd + Copy,
isize: From<Index>,
{
pub fn new(x: Index, y: Index) -> Option<Self> {
if x >= Index::zero()
&& y >= Index::zero()
&& isize::from(x) < BOUND
&& isize::from(y) < BOUND
{
Some(Self { x, y })
} else {
None
}
}
}
fn main() {
dbg!(Coordinate::<10, i16>::new(5, 3));
dbg!(Coordinate::<10, i16>::new(5, 11));
}
[src\main.rs:32] Coordinate::<10, i16>::new(5, 3) = Some(
Coordinate {
x: 5,
y: 3,
},
)
[src\main.rs:33] Coordinate::<10, i16>::new(5, 11) = None
虽然PartialOrd + Copy看起来很乏味，而且都已经被PrimInt覆盖了，但我还是会用那个来代替.
此外，您的问题中没有任何内容需要Signed，所以我会删除它，直到实际需要为止.
use num::PrimInt;
#[derive(Debug)]
struct Coordinate<const BOUND: isize, Index>
where
Index: PrimInt,
isize: From<Index>,
{
x: Index,
y: Index,
}
impl<const BOUND: isize, Index> Coordinate<BOUND, Index>
where
Index: PrimInt,
isize: From<Index>,
{
pub fn new(x: Index, y: Index) -> Option<Self> {
if x >= Index::zero()
&& y >= Index::zero()
&& isize::from(x) < BOUND
&& isize::from(y) < BOUND
{
Some(Self { x, y })
} else {
None
}
}
}
fn main() {
dbg!(Coordinate::<10, i16>::new(5, 3));
dbg!(Coordinate::<10, i16>::new(5, 11));
}
[src\main.rs:32] Coordinate::<10, i16>::new(5, 3) = Some(
Coordinate {
x: 5,
y: 3,
},
)
[src\main.rs:33] Coordinate::<10, i16>::new(5, 11) = None