Question

给定容器来获取关联的迭代器很容易，例如：

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

我想知道在给定迭代器类型的情况下是否有可能推导出“相应容器”的类型（这里我假设每个容器都有一个且只有一个（非常量）迭代器）。 / p>

更确切地说，我想要一个适用于所有STL容器的模板元函数（无需为每个单个容器手动专门化），例如：

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

评估为

std::vector<double>

有可能吗？如果没有，为什么？

提前感谢您的帮助！

Answer 1

我不认为这是可能的。在一些STL库中，你实际上有一个向量迭代器作为指针类型i.e. std::vector<T>::iterator is a T*，所以我想不出你可以从那里回到容器类型的任何方式。

Answer 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;
}

Answer 3

C ++ STL迭代器的确切运行时类型是故意未定义的，因此是特定于实现的。您可以搜索编译器供应商的头文件，以找出实际使用的类型并从中推断容器，但它是特定于供应商和版本的，因此容易破坏。

Answer 4

迭代器的意思是你使用它们来工作而不必知道底层容器类型，例如传递一个开始/结束对并在该范围内进行工作。

但是，如果您关心的只是迭代器类型，我相信您可以使用迭代器特征来确定迭代器是否是随机访问。取std::advance，一般情况是它在迭代器上调用operator++ n次，但是专门用于随机访问迭代器而不是使用+ =。

除此之外，我不知道从迭代器获取容器类型的任何方法。

从C ++（STL）中的（it）迭代器类型获取容器类型

4 个答案: