如何为 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());

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

如何为 const 和非常量容器版本的迭代器定义类型

How to define a type for an iterator for a const and non-const container version

c++

templates

stl