用于可变参数模板向量的 mpl 样式 copy_if 元函数

Question

我有一个元程序，可以与常规的 boost mpl 配合良好。它看起来更像下面这样。

template <class Vector, class ResultKind, class Custom>
struct FilterChildrenIfNotOk
{
  typedef typename 
    copy_if<Vector, 
            or_<is_same<boost::mpl::placeholders::_1, ResultKind>,
                IsOk<boost::mpl::placeholders::_1, 
                     ResultKind, 
                     Custom> > >::type type;
};

我正在尝试使用可变参数模板向量（mpl::vector）来编译它。为此，我使用此处找到的可变参数模板向量的实现： https://svn .boost.org/svn/boost/sandbox/variadic_templates

尽管有一些测试，但我在存储库中找不到 copy_if、remove_if 和 count_if 的可用实现。那些元程序在那里，但我找不到它们？或者，您能否帮助我实现其中之一，使其也支持 mpl 占位符。提前感谢您的帮助。

Answer 1

让我们从一个提示开始：折叠比人们想象的更强大。例如，计算序列中元素的数量只需应用初始状态为 0 的 fold 以及采用状态（到目前为止的元素数量）和一个元素的函数，然后返回 <代码>the_state + 1。

例如，现在您可以编写 count_if 吗？ （显然使用fold）

如果你做不到，我会帮助你，直到你成功。