如何检查迭代器是否是 C++ 中的 output_iterator？

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显然是 an output_iterator，但std::iterator_traits<vector<int>::iterator>::iterator_category会返回random_access_iterator，这可能不是 an output_iterator，比如 a const_iterator。

有没有可行的方法来检查迭代器是否是 C++ 中的 output_iterator？

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++-concepts标记了这个问题 - 我将从github获取示例 Ranges TS 实现并使用其OutputIterator<I, E>()概念。