Я пытался справиться с Повышение MPL.
В качестве простых упражнений я попробовал:
typedef vector_c<int, 1, 2, 3, 4, 5>::type example_list;
typedef transform<example_list, times<_, int_<2> > >::type doubled_example_list;
typedef transform<example_list, negate<_> >::type negated_example_list;
BOOST_STATIC_ASSERT((at_c<negated_example_list, 2>::type::value==-3));
BOOST_STATIC_ASSERT((at_c<doubled_example_list, 4>::type::value==10));
Все это отлично работает. Однако следующая попытка не компилируется:
typedef transform<_, negate<_> > negate_a_list;
typedef apply<negate_a_list, example_list>::type negated_example_list_2;
BOOST_STATIC_ASSERT((at_c<negated_example_list_2, 2>::type::value==-3));
Я думаю, что это как-то связано с объемом заполнителей в negate_a_list
Однако я не уверен, как это исправить. Есть идеи? Я также подозреваю, что некоторые из моих предположений о синтаксисе и семантике MPL ошибочны. Буду благодарен за любые советы по гроккингу MPL.
Постскриптум Вот преамбула для приведенного выше кода:
#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/static_assert.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/mpl/times.hpp>
#include <boost/mpl/size_t.hpp>
#include <boost/mpl/apply.hpp>
#include <boost/mpl/lambda.hpp>
#include <boost/mpl/negate.hpp>
#include <boost/mpl/at.hpp>
using namespace boost::mpl;
using namespace boost::mpl::placeholders;
Благодаря комментарию Люка Турайля на мой вопрос, рассылка Boost предоставляет ответ. Этот код работает:
typedef transform<_, lambda<negate<_> >::type > negate_a_list;
typedef apply<negate_a_list, example_list>::type negated_example_list_2;
BOOST_STATIC_ASSERT((at_c<negated_example_list_2, 2>::type::value==-3));
Обратите внимание на добавление lambda<...>::type
оборачиваясь вокруг лямбда-выражения. Этого достаточно, чтобы ограничить область применения заполнителя.
Других решений пока нет …