c++ - 如何为 const 和非 const 容器版本的迭代器定义类型

Question

考虑这个例子：

template <typename T> struct A {
    using Iter = typename T::iterator;
    Iter iter;
    A(T& cont) {
        iter = cont.begin();
    }
    typename Iter::reference value() { return *iter; }
};

void f(std::vector<int>& v) {
    A a(v);
    a.value() = 10;
}

它工作正常，如果您添加const到容器类型，则购买，它不再编译！

int g(const std::vector<int>& v) {
    A a(v); // ERROR
    return a.value();
}

如何定义迭代器类型，它将与 const/non-const 容器类型一起编译。我需要这样的东西：

using Iter = decltype(T::begin());

标签： c++templatesstl

Answer 1

思路一：直接检查迭代器的类型。

执行：

   using Iter = decltype(std::declval<T>()::begin());

想法2：检查类型是否为const并使用此知识定义迭代器。

执行：

#include <vector>
#include <type_traits>

template <typename T> struct A {
    using Iter = std::conditional_t<
                        std::is_same_v<std::remove_const_t<T>, T>, typename T::iterator, typename T::const_iterator
                                   >;
    Iter iter;
    A(T& cont) {
        iter = cont.begin();
    }
};

void f(const std::vector<int>& v) {
    A a(v);
}


void f1(std::vector<int>& v) {
    A a(v);
}