boost :: fusion :: tupleのmpl :: transform

Question

g++ (GCC) 4.6.0 20110603 (prerelease)には、-std=c++0xとBoost 1.46.1で次のコードはコンパイルされません。 インクルードがないか、これは実際にはバグですか？後者の場合、それを回避する方法は？

#include <boost/mpl/vector.hpp> 
#include <boost/mpl/transform.hpp> 
#include <boost/mpl/clear.hpp> 

#include <boost/fusion/mpl.hpp> 
#include <boost/fusion/include/clear.hpp> 
#include <boost/fusion/include/clear.hpp> 

#include <boost/fusion/adapted/boost_tuple.hpp> 
#include <boost/fusion/include/boost_tuple.hpp> 

namespace mpl = boost::mpl; 

template<typename T> 
struct Meta { 
    T t; 
    typedef mpl::vector<std::function<void(double)>, std::function<void(char)>, 
       std::function<void(int)>> MplVector; 
    typedef T FusionSequence; 

    //works 
    typedef mpl::transform< MplVector, mpl::identity<mpl::_1> >::type result; 
    //doesn't, work 
    typedef typename mpl::transform< FusionSequence, mpl::identity<mpl::_1> >::type result2; 
}; 

template<typename T> 
Meta<T> make_meta(T t) { return Meta<T>({t}); } 

int main() 
{ 
    auto m = make_meta(boost::make_tuple(
       std::function<void(double)>([](double) { }), 
       std::function<void(int)>([](int) { }), 
       std::function<void(char)>([](char) { }))); 
} 

Answer 1

あなたはインサータを提供していない、transformは基本的にback_inserter< clear<OriginalSequence>::type >のようなものをやってになるこれは、（結果はどこかを蓄積する必要がある）あなたのための1つを生成することがあります。 transform文書はアルゴリズムの「挿入なし」バージョンのこの追加要件を文書化していないため、ここでは誤解を招くことがあります。

Answer 2

あなたの代わりにmake_tupleの融合:: make_vectorを使用する場合は、MPL :: tranformを使用することができます。重要なトリックは#include <boost/fusion/include/transform.hpp>にもあります！次のように簡単な例を示します。

#include <boost/fusion/include/transform.hpp> 
#include <boost/fusion/container/vector.hpp> 
#include <boost/mpl/transform.hpp> 

// Only works if <boost/fusion/include/transform.hpp> is included: 
typedef boost::fusion::vector<int> FusionVector; 
typedef typename boost::mpl::transform<FusionVector, boost::mpl::_1>::type FusionTransformed;