c++ - 检查/修改迭代器 "constness"

Question

我有两个半密切相关的问题。给定一个作为模板参数传递的 STL 迭代器类型:

1. 如何判断类型对应的是常量迭代器还是非常量迭代器？
2. 替代 1.，如何强制(例如使用 enable_if)此类型对应于非常量迭代器？
3. 如何从非常量迭代器获取迭代器的 const- 版本(反之亦然)？ [ 注意:已在 this post 中回答;毫不奇怪，你不能。 ]

这个问题来自哪里:

我写了一个小类来促进 vector 上的算术/关系/代数运算( vector 我的意思是一维固定大小的数据，而不是 STL vector )。我没有强加一个特定的数据容器，而是定义了一个接口(interface)并派生了几个可能的容器，这些容器基本上“包装”了各种存储数据的方式。其中一个容器是 STL 迭代器的包装器，我在使用它时遇到了一些麻烦。

Answer 1

问题 1:

您可以使用以下类型特征:

template<typename T, typename = void>
struct is_const_iterator : std::false_type { };

template<typename T>
struct is_const_iterator<T,
    typename std::enable_if<
        std::is_const<
            typename std::remove_pointer<
                typename std::iterator_traits<T>::pointer
                >::type
            >::value
        >::type> : std::true_type { };

这是一个演示:

#include <type_traits>
#include <iterator>
#include <list>
#include <vector>

template<typename T, typename = void>
struct is_const_iterator : std::false_type { };

template<typename T>
struct is_const_iterator<T,
    typename std::enable_if<
        std::is_const<
            typename std::remove_pointer<
                typename std::iterator_traits<T>::pointer
                >::type
            >::value
        >::type> : std::true_type { };

int main()
{
    typedef std::list<int>::iterator LI;
    typedef std::list<int>::const_iterator CLI;
    static_assert(is_const_iterator<LI>::value, "!"); // Fires
    static_assert(is_const_iterator<CLI>::value, "!"); // Does not fire

    typedef std::vector<int>::iterator VI;
    typedef std::vector<int>::const_iterator CVI;
    static_assert(is_const_iterator<VI>::value, "!"); // Fires
    static_assert(is_const_iterator<CVI>::value, "!"); // Does not fire
}

这是一个 live example .

问题 2:

有了上面的类型特征，这就变得简单了。假设您有一个要约束的函数模板 foo()，以便它只接受非 const 迭代器:

template<typename It,
    typename std::enable_if<!is_const_iterator<It>::value>::type* = nullptr>
void foo(It i)
{
    // Does something with i...
}

还有一个简单的演示程序:

int main()
{
    std::vector<int> v;
    foo(v.begin()); // OK
    foo(v.cbegin()); // ERROR!
}

这是一个 live example .