首页 > 解决方案 > Rust:无法将 Trait RangeBounds 制成对象

问题描述

我在尝试 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);

该对象稍后在迭代所有单元格的算法中使用。它工作正常,直到我还想在创建过程中允许其他类型的范围,例如 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>or Box<&dyn RangeBounds<usize>>,只是为了始终得到错误 E0038 ,即我无法将此特征转换为对象。

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

提前感谢您的所有提示。

标签: rusttrait-objects

解决方案


要获得广泛的答案,我们需要知道您迭代be_bornstay_alive字段的精确程度。但是为了解决您指出要使用不同类型范围的问题,最简单的方法是指定be_bornstay_alive字段都是在迭代时Iterable返回的,即:usizeIterator<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_bornstay_alive字段。如果您只想将自己限制为范围类型,则可以将Iterator<Item=usize>代码中的every 替换为Iterator<Item=usize> + RangeBounds<usize>,这意味着“既实现Iterator<Item=usize>又实现的类型RangeBounds<usize>”。

有关Iteratortrait 的进一步用法,请参阅本书


推荐阅读