Получить тип контейнера из его итератора в С++ (STL)

Легко дать контейнеру получить связанные итераторы, например:

std::vector<double>::iterator i; //An iterator to a std::vector<double>

Мне было интересно, возможно ли, учитывая тип итератора, вывести тип "соответствующего контейнера" (здесь я предполагаю, что для каждого контейнера есть один и только один (неконстантный) итератор).

Точнее, мне бы хотелось, чтобы метафайла шаблонов работала со всеми контейнерами STL (без необходимости отдельно их специфицировать вручную для каждого отдельного контейнера), например:

ContainerOf< std::vector<double>::iterator >::type

оценивается как

std::vector<double>

Возможно ли это? Если нет, то почему?

Заранее благодарю за помощь!

Ответы

Ответ 1

Я не думаю, что это было бы возможно. В некоторых библиотеках STL у вас фактически есть векторный итератор как тип указателя, i.e. std::vector<T>::iterator is a T*, поэтому я не могу представить, каким образом вы могли бы вернуться к типу контейнера из этого.

Ответ 2

Просто для удовольствия, вот что-то, что я быстро взломал с помощью Boost.MPL(предупреждение: это было проверено наглядно, поэтому обращайтесь с осторожностью):

#include <boost/mpl/list.hpp>
#include <boost/mpl/find_if.hpp>
#include <boost/type_traits.hpp>
#include <vector>
#include <string>
#include <list>
#include <set>

// List of candidate container types
template<typename T>
struct ContainersOf : boost::mpl::list<
    std::vector<T>,
    std::basic_string<T>,
    std::list<T>,
    std::set<T>
>{};

// Metafunction to evaluate if IteratorT == ContainerT::iterator
template<class IteratorT, class ContainerT>
struct IsIteratorOf
{
    typedef typename 
    boost::is_same<
        IteratorT, 
        typename ContainerT::iterator
    >::type type;
};

// Metafunction to compute a container type from an iterator type
template<class IteratorT>
struct ContainerOf
{
    typedef typename 
    boost::mpl::deref<typename 
        boost::mpl::find_if<
            ContainersOf<typename std::iterator_traits<IteratorT>::value_type>,
            IsIteratorOf<IteratorT, boost::mpl::_1>
        >::type
    >::type type;
};

// Test
int main()
{
    ContainerOf<std::list<int>::iterator>::type l;
    std::list<int> l2 = l;  // OK
    std::vector<int> v = l; // Fails to compile

    return 0;
}

Ответ 3

Точные типы времени исполнения итераторов С++ STL намеренно undefined и, следовательно, специфичны для реализации. Вы можете выполнить поиск в файлах заголовков компилятора, чтобы узнать, какой тип фактически используется, и вывести из него контейнер, но он зависит от производителя и версии, поэтому он подвержен взлому.

Ответ 4

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

Однако, если все, о чем вы заботитесь, это тип итератора, я считаю, что вы можете использовать свойства итератора, чтобы определить, например, если итератор является произвольным доступом. Возьмите std::advance, общий случай состоит в том, что он вызывает operator++ в итераторе n раз, но специализирован для итераторов с произвольным доступом, чтобы использовать + = вместо.

Кроме этого, я не знаю, как получить тип контейнера из итератора.