Как проверить, является ли итератор output_iterator в C++?

Question

template<typename Iterator>
void put_value(Iterator pos, int n)
{
    static_assert(IsOutputIterator<Iterator>); 
    //
    // How to implement IsOutputIterator?
    //

    *pos = n;
}

std::iterator_traits<Iterator>::iterator_category не помогает Например: vector<int>::iterator очевидно, output_iterator, но std::iterator_traits<vector<int>::iterator>::iterator_category вернется random_access_iteratorкоторый не может быть output_iteratorскажи const_iterator,

Есть ли какой-либо жизнеспособный способ проверить, является ли итератор output_iterator в C++?

Answer 1

Мой первый ответ - спросить "Итератор вывода для чего?" В итераторах вывода C++ не указывается тип значения, поскольку один и тот же итератор может выводить несколько типов значений. Единственный способ определить, можете ли вы написать данное выражение E через заданный итератор o чтобы увидеть, если *o = std::declval<decltype((E))>() является допустимым выражением.

В C++14 я бы определил черту для этого:

template <class...> using void_t = void;

template <class, class, class = void>
constexpr bool is_output_iterator = false;

template <class I, class E>
constexpr bool is_output_iterator<I, E, void_t<
    typename std::iterator_traits<I>::iterator_category,
    decltype(*std::declval<I>() = std::declval<E>())>> = true;

В C++ с понятиями - которые, я полагаю, вас интересуют, поскольку вы пометили этот вопрос с помощью C++- понятий - я бы взял пример реализации Ranges TS из github и использовал его OutputIterator<I, E>() концепция вместо.