Boost MPL verschachtelte Lambdas

Question

Ich habe versucht, mit Boost MPL in den Griff zu bekommen.

Als einfache Übungen, habe ich versucht:

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

Diese alle gut funktionieren. Allerdings ist der folgende Versuch nicht kompilieren:

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

Ich denke, es ist etwas, mit dem Umfang der Platzhalter in negate_a_list zu tun, aber ich bin nicht sicher, wie es zu beheben. Irgendwelche Ideen? Ich vermute auch, dass einige meiner Annahmen über die Syntax und Semantik von MPL fehlerhaft sind. Ich wäre dankbar für irgendwelche Tipps zum grokking MPL.

P.S. Hier ist die Präambel für den obigen Code:

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

Answer 1

Dank Luc Touraille Kommentar auf meine Frage, die Boost-Mailing-Liste the answer bietet. Dieser Code funktioniert:

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

Notiere die Zugabe der lambda<...>::type Umwickeln des Lambda-Ausdruck. Dies reicht aus, um den Umfang des Platzhalters zu begrenzen.