Использование boost :: mpl :: lambda для удаления типов из boost :: mpl :: list на основе статической переменной-члена const - PullRequest
Новая
       4

Использование boost :: mpl :: lambda для удаления типов из boost :: mpl :: list на основе статической переменной-члена const

3 голосов
/ 29 июня 2010

У меня есть список типов, определенных как: 

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

Я хотел бы создать второй список, который не содержит никаких фруктов, т.е. результирующий список, сформированный из первого списка, будет содержать один типКирпич.Fruit идентифицируется с помощью статической переменной const, определенной в типах, например: 

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;
}

1 Ответ

3 голосов
/ 29 июня 2010

Я думаю, что лучшее, что вы можете сделать, это определить структуру 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 в ваших классах.

Обратите внимание, что если вы хотите полностью избавиться от дополнительной структуры, вам придется переименовать логические члены других ваших классов.Если вы следуете соглашению boost :: mpl и называете их value вместо IsFruit, вы можете определить NoFruitList как 

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