Rust：无法将特征 RangeBounds 制成 object

Question

我在尝试 Rust 时偶然发现了一个问题，这可能表明我对它的概念有更大的不理解。

我的目标是编写康威生命游戏的变体。 我希望在创建单元格或保持活动状态时的值不是硬编码，而是在结构中。 我的第一次尝试是创建一个结构

use std::ops::Range;

struct Rules {
    be_born: Range<usize>,
    stay_alive: Range<usize>,
}

impl Rules {
  pub fn new(be_born: Range<usize>, stay_alive: Range<usize>) -> Rules {
    Rules { be_born, stay_alive }
  }
}

let rules = Rules::new(2..4, 3..6);

这个 object 稍后在迭代所有单元格的算法中使用。 它工作正常，直到我还想在创建过程中允许其他类型的范围，例如 RangeTo (2..=3)。

我知道我可以将struct Rules重写为通用的。

use std::ops::RangeBounds;

struct Rules<BR: RangeBounds<usize>, AR: RangeBounds<usize>> {
    be_born: BR,
    stay_alive: AR,
}

这反过来又会迫使我使我使用的所有算法也都是通用的。 仅仅包括两个简单的范围，这似乎是相当多的开销。

另一方面，我将RangeBounds类型的变量直接包含到我的结构中的尝试都没有成功。 我尝试&dyn RangeBounds<usize>或Box<&dyn RangeBounds<usize>> ，只是为了始终得到错误 E0038，即我无法将此特征变为 object。

有没有其他方法可以完成这项工作，还是有其他我看不到的可行方法？

提前感谢您的所有提示。

Answer 1

要获得广泛的答案，我们需要知道您在be_born和stay_alive字段上迭代的准确程度。 但是为了解决您指出要使用不同类型范围的问题，最简单的方法是指定be_born和stay_alive字段都是迭代时返回usize的Iterable ，即Iterator<Item=usize> ：

struct Rules<T, U> 
where
    T: Iterator<Item=usize>,
    U: Iterator<Item=usize>
{
    be_born: T,
    stay_alive: U,
}

impl<T, U> Rules<T, U>
where
    T: Iterator<Item=usize>,
    U: Iterator<Item=usize>
{
    pub fn new(be_born: T, stay_alive: U) -> Self {
        Self { be_born, stay_alive }
    }
}

fn main() {
    let rule = Rules::new(2..4, 3..6);
    let other_rule = Rules::new(2..=4, 3..=6);
    let another_rule = Rules::new(2..=4, 3..6);

    for x in rule.be_born {
        println!("born: {}", x);
    }
    for y in rule.stay_alive {
        println!("alive: {}", y);
    }
}

这也将允许您将非范围但可迭代的类型分配给be_born和stay_alive字段。 如果您只想将自己限制为范围类型，则可以将代码中的每个Iterator<Item=usize>替换为Iterator<Item=usize> + RangeBounds<usize> ，这意味着“一种同时实现Iterator<Item=usize>和RangeBounds<usize> ”。

有关Iterator trait 的进一步用法，请参阅本书。