c++ - 使用 boost::mpl::lambda 从基于静态常量成员变量的 boost::mpl::list 中删除类型

Question

我有一个类型列表定义为:

typedef boost::mpl::list<Apple, Pear, Brick> OriginalList;

我想创建不包含任何水果的第二个列表，即从第一个列表形成的结果列表将包含单一类型的 Brick。 Fruit 通过在类型中定义的静态常量变量来标识，例如:

struct Apple
{
    static const bool IsFruit = true;
};

我目前有一个解决方案，涉及创建一个元函数类，并使用 boost::mpl::remove_if。我相信我应该能够通过使用 boost::mpl::lambda 来消除对单独的 RemoveFruit 结构的需要，从而使它更优雅。有关如何执行此操作的任何建议？

目前的完整代码:

include <boost/static_assert.hpp>
#include <boost/mpl/list.hpp>
#include <boost/mpl/remove_if.hpp>
#include <boost/mpl/size.hpp>

#include <iostream>

struct Apple
{
  static const bool IsFruit = true;
};

struct Pear
{
  static const bool IsFruit = true;
};

struct Brick
{
  static const bool IsFruit = false;
};

typedef boost::mpl::list<Apple, Pear, Brick> OriginalList;
BOOST_STATIC_ASSERT(boost::mpl::size<OriginalList>::type::value == 3);

// This is what I would like to get rid of:
struct RemoveFruit
{
  template <typename T>
  struct apply
  {
    typedef boost::mpl::bool_<T::IsFruit> type;
  };
};

// Assuming I can embed some predicate directly in here?
typedef boost::mpl::remove_if<
  OriginalList,
  RemoveFruit
  >::type NoFruitList;

BOOST_STATIC_ASSERT(boost::mpl::size<NoFruitList>::type::value == 1);

int main()
{
  std::cout << "There are " << boost::mpl::size<OriginalList>::type::value << " items in the original list\n";
  std::cout << "There are " << boost::mpl::size<NoFruitList>::type::value << " items in the no fruit list\n";


  return 0;
}

Answer 1

我认为你能做的最好的事情就是像这样定义一个 IsFruit 结构

template  <typename T> struct isFruit : boost::mpl::bool_<T::IsFruit> {};

然后您可以将您的无水果列表定义为

typedef boost::mpl::remove_if<
  OriginalList,
  boost::mpl::lambda< isFruit< boost::mpl::_1 > >::type
  >::type NoFruitList;

需要额外的结构才能访问类中的 IsFruit 字段。

请注意，如果您想完全摆脱附加结构，则必须重命名其他类的 bool 成员。如果您遵循 boost::mpl 约定并将它们称为 value 而不是 IsFruit，您可以将 NoFruitList 定义为

typedef boost::mpl::remove_if<
      OriginalList,
      boost::mpl::lambda<boost::mpl::_1>::type
      >::type NoFruitList;