15

特定のタイプリストの順列を含むリストを作成しようとしています。

以下のコードは、意図した結果がなくても、実際の入力から削除して新しいリストを生成する代わりに、指定されたリストを使用すると機能するようです。これは、以下のpermutation_helperとbroken_helperの違いによって示されます。

なぜmpl::removeこの状況で期待どおりに機能しないように見えるのか誰かが知っていますか？

#include <boost/mpl/list.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/fold.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/mpl/joint_view.hpp>
#include <boost/mpl/remove.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/equal.hpp>

namespace mpl = boost::mpl;

struct test_type1 {};
struct test_type2 {};
struct test_type3 {};

template< typename T >
struct permutations;

template <typename value>
struct permutations<mpl::list1< value > >: mpl::list1<mpl::list1< value > > {};

template< typename value, typename T>
struct permutation_helper: 
  mpl::transform< typename permutations< 
      mpl::list1<test_type3> >::type, 
    mpl::push_front< mpl::_1, value> > { };

template< typename value, typename T>
struct broken_helper:
  mpl::transform< typename permutations< 
      mpl::remove<T, value> >::type, 
    mpl::push_front< mpl::_1, value> > { };

template< typename T >
struct permutations: 
  mpl::fold< T,
      mpl::list0<>,
      mpl::joint_view< mpl::_1,
         broken_helper<mpl::_2, T > > > { };

typedef mpl::list2<test_type1, test_type2> typelist;
typedef permutations<typelist>::type perms;

int main() {
  BOOST_MPL_ASSERT(( mpl::equal< perms, typelist > ));
  return 0;
}

関数から何が返されるかを決定するためにassertを使用しましたが、typelistは期待される結果ではありません。これは、assertがbroken_helperに対して返すメッセージです。

testcase.cpp: In function ‘int main()’:
testcase.cpp:45: error: no matching function for call to ‘assertion_failed(mpl_::failed************ boost::mpl::equal<boost::mpl::joint_view<boost::mpl::joint_view<boost::mpl::list0<mpl_::na>, boost::mpl::l_end>, boost::mpl::l_end>, boost::mpl::list2<test_type1, test_type2>, boost::is_same<mpl_::arg<-0x00000000000000001>, mpl_::arg<-0x00000000000000001> > >::************)’

permutation_helperを使用した出力は、実際のリストです。

testcase.cpp: In function ‘int main()’:
testcase.cpp:45: error: no matching function for call to ‘assertion_failed(mpl_::failed************ boost::mpl::equal<boost::mpl::list2<test_type1, test_type2>, boost::mpl::joint_view<boost::mpl::joint_view<boost::mpl::list0<mpl_::na>, boost::mpl::l_item<mpl_::long_<1l>, boost::mpl::l_item<mpl_::long_<2l>, test_type1, boost::mpl::list1<test_type3> >, boost::mpl::l_end> >, boost::mpl::l_item<mpl_::long_<1l>, boost::mpl::l_item<mpl_::long_<2l>, test_type2, boost::mpl::list1<test_type3> >, boost::mpl::l_end> >, boost::is_same<mpl_::arg<-0x00000000000000001>, mpl_::arg<-0x00000000000000001> > >::************)’
4

3 に答える 3

5

mpl::remove正しく動作します。問題は、シングルトンリストの順列のテンプレートにあります。sであるタイプのみをキャッチしますがmpl::list、removeの結果には別のシーケンスタイプがあります。

言い換えると、の結果はmpl::removeシングルトンmpl::equalリストになりますが、次のようにはなりませんstd::is_same。

#include <boost/mpl/list.hpp>
#include <boost/mpl/remove.hpp>
#include <boost/mpl/equal.hpp>

namespace mpl = boost::mpl;

struct test_type1 {};
struct test_type2 {};

typedef mpl::list2<test_type1, test_type2> typelist;
typedef mpl::remove<typelist, test_type1>::type t;
typedef mpl::list1<test_type2> t_corr;

static_assert(mpl::equal<t,t_corr>::value, "t equals t_corr"); 
// the following will fail:
// static_assert(std::is_same<t,t_corr>::value, "t same type as t_corr"); 

int main() {
  return 0;
}

mpl::listこの問題は、正確なタイプではなく、長さが1のプロパティに基づいてシングルトンリストのテンプレートを特殊化することで修正できます。

#include <boost/mpl/list.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/fold.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/mpl/joint_view.hpp>
#include <boost/mpl/remove.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/equal.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/front.hpp>
#include <boost/mpl/begin.hpp>
#include <boost/mpl/next.hpp>

namespace mpl = boost::mpl;

struct test_type1 {};
struct test_type2 {};
struct test_type3 {};

template< typename T, typename _ENABLE=void >
struct permutations;

template <typename T>
struct permutations<T, 
            typename std::enable_if<mpl::size<T>::value==1>::type>
{
  typedef typename mpl::list1<T> type;
};

template< typename value, typename T>
struct permutation_helper: 
      mpl::transform< typename permutations< 
      mpl::list1<test_type3> >::type, 
    mpl::push_front< mpl::_1, value> > { };

template< typename value, typename T>
struct broken_helper:
  mpl::transform< typename permutations< 
            typename mpl::remove<T, value>::type >::type, 
          mpl::push_front< mpl::_1, value> > { };

template< typename T >
struct permutations<T, 
            typename std::enable_if<(mpl::size<T>::value>1)>::type>: 
  mpl::fold< T,
      mpl::list0<>,
      mpl::joint_view< mpl::_1,
      broken_helper<mpl::_2, T > > > { };

typedef mpl::list2<test_type1, test_type2> typelist;
typedef permutations<typelist>::type perms;
typedef mpl::list<mpl::list<test_type1, test_type2>, 
          mpl::list<test_type2, test_type1> > perms_corr;

int main() {
  static_assert(mpl::size<perms>::value == 2, "perms has correct size");
  static_assert(mpl::equal<mpl::front<perms>::type,
                   mpl::front<perms_corr>::type>::value, "perms has correct front");
  typedef mpl::next<mpl::begin<perms>::type>::type perms_2nd;
  typedef mpl::next<mpl::begin<perms_corr>::type>::type perms_corr_2nd;
  static_assert(mpl::equal<perms_2nd, perms_corr_2nd>::value, "perms has correct 2nd element");
  return 0;
}

ところで、

static_assert(mpl::equal<perms, perms_corr>::value, "perms correct");

まったく同じ理由で失敗します。

  • lars
于 2011-02-23T07:09:53.200 に答える
3

ラースが投稿した回答の補足として：

Joint_viewを使用する特定の順列アルゴリズムは、サイズが2より大きいリストでは機能しないようです。これをmpl::copyをfront_inserterに置き換えたところ、アルゴリズムは完全に機能しました。

#include <boost/mpl/copy.hpp>
#include <boost/mpl/front_inserter.hpp>

template< typename T >
struct permutations<T, typename std::enable_if<(mpl::size<T>::value>1)>::type> : 
  mpl::fold< T,
             mpl::list0<>,
             mpl::copy< broken_helper< mpl::_2, T >,
               mpl::front_inserter< mpl::_1 > > > { };
于 2011-02-24T11:47:46.167 に答える
-3

ライブラリの対応する名前空間に属するものとしてコードを配置しようとしましたか？

namespace boost
  {
    namespace mpl
    {
     // code
    }
}

ばかげているように聞こえるかもしれませんが、私はすでに同様の問題を解決しているので（ただし、MPLを使用していませんでした！）。

于 2011-02-19T22:44:10.743 に答える