在导出的签名中隐藏私有类型

Question

在本例中，NoGood 是 pub，AtomWord 是私有的。

我想导出IntoIterator 的一个实例，但我不能，因为IntoIter 的这个巨大的类型定义包含对AtomWord 的引用。

我意识到我可以创建一个 Iterator 包装器，它只是将调用传递给底层迭代器，但这是很多样板。我想不出任何方法来使包装类通用（不违背目的，即隐藏AtomWord 类型）。

impl <'a> IntoIterator for &'a NoGood {
    type Item = Literal;
    type IntoIter = FilterMap<slice::Iter<'a, AtomWord>, fn(&AtomWord) -> Option<Literal>>;

    fn into_iter(self) -> Self::IntoIter {
        (&self.lits).into_iter().filter_map(as_opt_lit)
    }
}

Answer 1

不，您不能在公共方法中隐藏私有类型。它是公开的，这意味着人们需要看到它。

作为delnan mentions，包装结构对于迭代器很常见。它也恰好具有零运行时成本：

struct Iter<'a>(FilterMap<slice::Iter<'a, AtomWord>, fn(&AtomWord) -> Option<Literal>>);

impl<'a> Iterator for Iter<'a> {
    type Item = Literal;
    fn next(&mut self) -> Option<Literal> {
        self.0.next()
    }
}

impl<'a> IntoIterator for &'a NoGood {
    type Item = Literal;
    type IntoIter = Iter;

    fn into_iter(self) -> Self::IntoIter {
        Iter((&self.lits).into_iter().filter_map(as_opt_lit))
    }
}

作为ker mentions，您可以将其装箱。这节省了程序员的打字时间，但代价是运行时内存分配：

impl<'a> IntoIterator for &'a NoGood {
    type Item = Literal;
    type IntoIter = Box<Iterator<Item = Literal>>;

    fn into_iter(self) -> Self::IntoIter {
        Box::new((&self.lits).into_iter().filter_map(as_opt_lit))
    }
}

请注意，我没有尝试编译其中任何一个，因为您没有提供 MCVE，因此您的代码无论如何都无法编译。