Boost.Range 的 C++ 元组 - 获取元素类型的元组？

Question

我正在试验 Boost.Range 和 Boost 元组。如果我有一个范围元组，我如何键入定义一个元组或相应的元素值？换句话说，我用什么来代替 /*?*/ :

typedef boost::tuples::tuple<std::vector<int>&, char[]> TupleOfRanges;
typedef /*?*/ TupleOfElements;

我当然可以手工完成，我会写:

typedef boost::tuples::tuple<int, char> TupleOfElements;

甚至:

typedef typename boost::tuples::element<0, TupleOfRanges>::type Range0;
typedef typename boost::tuples::element<1, TupleOfRanges>::type Range1;
typedef typename boost::range_iterator<Range0>::type Iterator0;
typedef typename boost::range_iterator<Range1>::type Iterator1;
typedef typename boost::iterator_value<Iterator0>::type Value0;
typedef typename boost::iterator_value<Iterator1>::type Value1;

typedef boost::tuples::tuple<Value0, Value1> TupleOfElements;

但我认为应该可以直接从 TupleOfRanges 派生 TupleOfElements，无论元组大小如何。欢迎任何想法!

编辑:这似乎有效，感谢@ltjax:

struct GetIteratorType
{
    template <class Range>
    struct apply
    {
        typedef typename boost::range_iterator<Range>::type type;
    };
};
typedef boost::mpl::transform<TupleOfRanges, GetIteratorType> TupleOfIterators;

struct GetElementType
{
    template <class Iterator>
    struct apply
    {
        typedef typename boost::iterator_value<Iterator>::type type;
    };
};
typedef boost::mpl::transform<TupleOfIterators, GetElementType> TupleOfElements;

Answer 1

将 boost::mpl::transform 与您作为仿函数编写的 typedef 链一起使用!

参见 http://www.boost.org/doc/libs/1_47_0/libs/mpl/doc/refmanual/transform.html