c++ - 使用模板实现 const 范围

Question

在 std::vector 上实现 const 和非常量范围时，我尝试使用模板来避免代码重复。

非 const 版本有效，但 const 版本无效。我不知道为什么。

测试.cpp。用g++ test.cpp编译:

#include <vector>
#include <iostream>
enum Cv {
    constant,
    non_constant
};

template <typename T, typename Index, Cv Cv_enum>
class Vector_range_facade {
    typedef typename std::conditional <
            Cv_enum == Cv::constant,
                    const std::vector<T>, std::vector<T>
    >::type Vec;
public:
    typedef typename Vec::iterator Iterator;
    Vector_range_facade(Vec& vec, const Index start_id, const Index size)
            : vec_{vec},
              it_begin_{vec_.begin() + start_id},
              it_end_  {vec_.begin() + start_id + size}
    {}  
    Iterator& begin() {return it_begin_;}
    Iterator& end()   {return it_end_;}
private:
    Vec& vec_;
    Iterator it_begin_;
    Iterator it_end_;
};

int main()
{
    std::vector<int> a;
    a.resize(100);
    Vector_range_facade<int, int, Cv::constant> range(a,0,10);
    for (auto x : range) {
        std::cout << x <<"\n";
    }   
}

Answer 1

std::vector::iterator 始终计算为非 const 迭代器的类型，因为它是内部定义的 typedef std::vector 不知道它是在 const 还是非 const 实例上被调用。

您需要在 std::vector::iterator 和 std::vector::const_iterator 之间有条件地选择迭代器类型。示例:

typedef typename std::conditional <
        Cv_enum == Cv::constant,
        typename std::vector<T>::const_iterator, 
        typename std::vector<T>::iterator
>::type Iterator;

on wandbox