Поиск шаблона составных признаков для итераторов форсированного преобразования

Если вы хотите иметь итераторы, которые вертятся с тем, что они повторяют, прежде чем возвращать его, boost::transform_iterator довольно хороши. Вы передаете им унарную функцию, которая преобразует результат базового итератора operator*(), а затем преобразующий итератор возвращает это:

Какой беспорядок это приводит к

Ваши сотрудники как этот блестящий новый инструмент, а также начинают использовать его, и довольно скоро кто-то собирает в заголовке то, что вы все придумали до сих пор. Здесь наш:

Конечно, это оставляет много полезных (потому что их еще никто не нужен), а не масштабируется вообще. Мне просто было поручено написать итератор, который разделяет запись карты second и делает dynamic_cast<>(), и я являюсь тем, кому я отказываюсь просто добавлять iterator_transform_traits_map_dynamic_cast_deref_second и двигаться дальше.

Что я хочу

Вместо этого я пытаюсь написать несколько базовых признаков и составляющих времени компиляции, которые позволяют назвать пару из них в качестве параметров шаблона и просто конвейерные вызовы. В идеале я хочу что-то вроде этого:

Моя текущая идея состоит в том, чтобы рекурсивно получить шаблон-оболочку и иметь, что рекурсивно вызывает все черты, передавая результат от одного к другому. Я сделал что-то подобное десять лет назад и имею базовое представление о том, как это сделать. Тем не менее, в последний раз, когда я это делал, я шел пешком. То есть, я сам реализовал все шаблоны метамагии.

Это глупо, конечно, учитывая, что у нас теперь есть boost.mpl, boost.fusion и т.д., поэтому я бы скорее использовал то, что уже было. Тем не менее, после того, как он во второй половине дня возился с этим, я понял, что у меня будет много уроков, прежде чем я это сделаю. И хотя я не против узнать все это, у меня есть кто-то, дышащий мне на шею, которому нравится то, что я делаю, но говорит, что ему все равно нужно вытащить штепсель, потому что есть этот крайний срок... У меня теперь есть выбор, чтобы просто напишите проклятый iterator_transform_traits_map_dynamic_cast_deref_second, скопируйте много кода, который гниет в течение десятилетия и строится на нем, или придумайте чистое решение.

Вопрос

Как вы могли бы реализовать эти сложные черты, используя то, что уже есть?

Платформа

Однако существует одна проблема . Мы находимся на встроенной платформе и застреваем с GCC 4.1.2, что означает С++ 03, TR1 и увеличить 1,52. Нет аргументов шаблона переменной, нет decltype и всего, что причудливо.

Ответы

Ответ 1

Здесь вы идете:

iterator_transform_traits.hpp

#include <boost/mpl/vector.hpp>
#include <boost/mpl/back.hpp>
#include <boost/mpl/front.hpp>
#include <boost/mpl/fold.hpp>
#include <boost/mpl/push_back.hpp>
#include <boost/mpl/pop_front.hpp>

#include <boost/fusion/adapted/mpl.hpp>
#include <boost/fusion/container/vector/convert.hpp>
#include <boost/fusion/algorithm/iteration/fold.hpp>

#include <boost/ref.hpp>

template<typename IteratorTraitsSequence, typename Container>
class   iterator_transform_traits
{
  public:
    struct type
    {
    private:
        struct plcaholder_resolver
        {
          template<typename IteratorTraits, typename IteratorLambda>
          struct apply
          {
            typedef typename boost::mpl::push_back<IteratorTraits,
            typename boost::mpl::apply<typename boost::mpl::lambda<IteratorLambda>::type, typename boost::mpl::back<IteratorTraits>::type::result_type>::type>::type type;
          };
        };

        struct begin_value
        {
            typedef typename Container::value_type   result_type;
        };

        typedef typename boost::mpl::pop_front<typename boost::mpl::fold<IteratorTraitsSequence, boost::mpl::vector<begin_value>, plcaholder_resolver>::type>::type iterator_traits;

    public:
        typedef typename boost::mpl::front<iterator_traits>::type::value_type value_type;
        typedef typename boost::mpl::back<iterator_traits>::type::result_type result_type;

    public:
        struct recursive_iterator_modifier
        {
          template<class> struct result;

          template<class F, typename CurrentResult, typename IteratorTrait>
          struct result<F(CurrentResult&, const IteratorTrait&)> 
          {
              typedef typename IteratorTrait::result_type& type;
          };

          template<class F, typename CurrentResult, typename IteratorTrait>
          struct result<F(const CurrentResult&, const IteratorTrait&)> 
          {
              typedef const typename IteratorTrait::result_type& type;
          };

          template<class F, typename CurrentResult, typename IteratorTrait>
          struct result<F(const boost::reference_wrapper<CurrentResult>&, const IteratorTrait&)> 
          {
              typedef typename IteratorTrait::result_type& type;
          };


          template<typename CurrentResult, typename IteratorTrait>
          typename IteratorTrait::result_type&
          operator()(CurrentResult& modified, const IteratorTrait& it)
          {
              return (it(modified));
          }

          template<typename CurrentResult, typename IteratorTrait>
          const typename IteratorTrait::result_type&
          operator()(const CurrentResult& modified, const IteratorTrait& it)
          {
              return (it(modified));
          }

          template<typename CurrentResult, typename IteratorTrait>
          typename IteratorTrait::result_type&
          operator()(const boost::reference_wrapper<CurrentResult>& modified, const IteratorTrait& it)
          {
              return (it(modified.get()));
          }

        };

    public:
        result_type& operator()(value_type& v) const 
        {
            return boost::fusion::fold(iterator_traits_vector_, boost::ref(v), recursive_iterator_modifier());
        }

        const result_type& operator()(const value_type& v) const 
        {
            return boost::fusion::fold(iterator_traits_vector_, boost::ref(v), recursive_iterator_modifier());
        }


    private:
        typedef typename boost::fusion::result_of::as_vector<iterator_traits>::type  iterator_traits_vector;

        iterator_traits_vector  iterator_traits_vector_;
    };
};

Вы используете его следующим образом:

#include <map>
#include <string>
#include <iostream>
#include <typeinfo>

#include "iterator_transform_traits.hpp"

template<typename Pair>
struct iterator_transform_traits_map_second {
  typedef Pair    value_type;
  typedef typename Pair::second_type   result_type;
        result_type& operator()(      value_type& v) const {return v.second;}
  const result_type& operator()(const value_type& v) const {return v.second;}
};

template<typename Dereferenced>
struct iterator_transform_traits_deref {};

template<typename Dereferenced>
struct iterator_transform_traits_deref<Dereferenced*> {
  typedef Dereferenced*    value_type;
  typedef Dereferenced   result_type;
        result_type& operator()(      value_type& v) const {return *v;}
  const result_type& operator()(const value_type& v) const {return *v;}
};


typedef std::map<std::string, std::string*>  string_ptr_map;

typedef iterator_transform_traits<boost::mpl::vector<iterator_transform_traits_map_second<boost::mpl::_1>, iterator_transform_traits_deref<boost::mpl::_1> >, string_ptr_map>::type Transformer;
typedef boost::transform_iterator<Transformer, string_ptr_map::iterator> string_ptr_map_second_deref_iterator;


int main()
{
    string_ptr_map  map;
    map["key1"] = new std::string("value1");
    map["key2"] = new std::string("value2");
    map["key3"] = new std::string("value3");

    for(string_ptr_map_second_deref_iterator it(map.begin(), Transformer()), ite(map.end(), Transformer()); it != ite; ++it)
    {
        std::cout << *it << std::endl;
    }

    return 0;
}

Теперь информация:

Каждый iterator_transform_trait должен быть запрограммирован на value_type, который он будет получать как параметр не в контейнере, или вы не можете автоматически их связать.
Существует много небольших операций метапрограммирования с использованием boost::mpl и boost::fusion, я надеюсь, что имена метафонов достаточно ясны, не стесняйтесь задавать любые вопросы.
Вам нужно использовать последовательность mpl в качестве параметра шаблона, так как у вас нет доступа к С++ 11 и вариативным шаблонам.
Вот онлайн-версия компиляции: http://rextester.com/ZIYG56999
Это было веселое упражнение, которое вызвало у меня головную боль:)