从mpl fold表达式中检索迭代器位置

Question

如何使用boost::mpl获取以下折叠类型的索引（这是某种mpl :: set但不完全）。 value iter::pos::value以某种方式未定义??

using unique_types =
            typename mpl::fold<
            mpl::vector<int,double,float,float,float>
            , mpl::set0<>
            , mpl::insert<mpl::placeholders::_1, mpl::placeholders::_2> /** _1 = State = set<...>, _2 element of NodeTypes*/
            >::type;

        using iter =  typename boost::mpl::find< unique_types , int>::type;

std::cout << iter::pos::value << std::endl;  // <<<< Not defined!

在线编译：Coliru

Answer 1

using types = mpl::vector<int, double, float, float, float>
using unique_types<types, mpl::set0<>, mpl::insert<_1, _2>>::type;
using iter = mpl::find<unique_edge_types, int>::type;
// std::cout << iter::pos::value << std::endl;
// error: 'boost::mpl::iter<boost::mpl::s_item<...a lot of text... > >::pos'
//        has not been declared (mpl::s_item is a piece of mpl::set implementation)

虽然 edge_types 是 mpl :: vector ，但 unique_edge_types 是（直到实现细节） mpl :: set < / em>， mpl :: find 不适用于 mpl :: set 。

出现类似的错误

using unique_types = mpl::set<int, double, float>;
using iter = mpl::find<unique_types, int>::type;
// std::cout << iter::pos::value << std::endl;
// error: 'boost::mpl::iter<boost::mpl::set<...a lot of text... > >::pos'
//        has not been declared

您可以使用标准函数 mpl :: unique 返回 mpl :: vector ：

#include <boost/mpl/unique.hpp>
#include <boost/type_traits/is_same.hpp>

using unique_types = mpl::unique<types, boost::is_same<_1,_2>>::type;