Блог

Рассмотрим этот пример:

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

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

Это работает нормально, покупайте, если вы добавляете const в тип контейнера, это больше не компиляция!

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

Как определить тип итератора, который будет компилироваться с типом контейнера const/non-const.
Мне нужно что-то подобное:

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

Идея 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(Tamp; cont) {
        iter = cont.begin();
    }
};

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


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