3

我有一些代码尝试运行匹配，其中每个分支都可以返回不同的类型，但所有这些类型都实现了Iterator<Item=usize>.

let found: Iterator<Item = usize> = match requirements {
    Requirements::A => MatchingAs { ainternals: [] },
    Requirements::B => MatchingBs { binternals: [] },
    Requirements::C => MatchingCs { cinternals: [] },
};

return found.any(|m| m == 1)

...在哪里MatchingAs，，MatchingBs和MatchingCs所有impl std::iter::Iterator<Item = usize>。

我正在碰壁，因为Iterator它没有尺寸：

    | the trait `std::marker::Sized` is not implemented for `std::iter::Iterator<Item=usize>`

有没有一种好的方法让匹配臂返回具有共享特征的对象，然后（仅）依赖于该特征来处理结果？

4

1 回答 1

6

当你想返回不是的东西时，第一个反射Sized是Box它（也就是把它放在堆上，返回一个指针）：

let found: Box<Iterator<Item = usize>> = match requirements {
    Requirements::A => Box::new(MatchingAs { ainternals: [] }),
    Requirements::B => Box::new(MatchingBs { binternals: [] }),
    Requirements::C => Box::new(MatchingCs { cinternals: [] }),
};

found.any(|m| m == 1)

在这里，这还不够，因为现在match会抱怨您返回不同的类型：Box<MatchingAs>, Box<MatchingBs>, ...

但是，只要有，Box<Concrete>就可以强制转换为，因此：Box<Trait>impl Trait for Concrete

let found = match requirements {
    Requirements::A => Box::new(MatchingAs { ainternals: [] }) as Box<Iterator<Item = usize>>,
    Requirements::B => Box::new(MatchingBs { binternals: [] }) as Box<Iterator<Item = usize>>,
    Requirements::C => Box::new(MatchingCs { cinternals: [] }) as Box<Iterator<Item = usize>>,
};

found.any(|m| m == 1)

不过，有一个无分配的解决方案：使用泛型。

fn search<T: Iterator<Item = usize>>(t: T) -> bool {
    t.any(|m| m == 1)
}

然后将该函数应用于match：

match requirements {
    Requirements::A => search(MatchingAs {ainternals: []}),
    Requirements::B => search(MatchingBs {binternals: []}),
    Requirements::C => search(MatchingCs {cinternals: []}),
}

权衡是它更接近回调地狱，有点间接流动。

于 2017-01-17T18:39:36.213 回答