选择"common functionality"迭代器类别

Select the "common functionality" iterator category

本文关键字：迭代器 functionality common 选择      更新时间：2023-10-16
在

很多情况下，当您处理不同类型的迭代器并想知道哪些操作可用于所有这些迭代器时。我希望你能从他们的迭代器类别中推断出来。

例如，假设您正在编写一个chain_iterator或zip_iterator，并希望从其组件的iterator_category定义其iterator_category。说：

  1. 如果至少有一个是output_iterator，则公共范畴是output_iterator_tag，除非其中至少有一个是input_iterator，在这种情况下，公共范畴是未定义的;

  2. 如果至少有一个是intput_iterator，则公共范畴是input_iterator_tag，除非其中至少有一个是output_iterator，在这种情况下，公共范畴是未定义的;

  3. 否则，公共范畴被推导出为forward_iterator_tag、bidirectional_iterator_tag中的第一个，random_access_iterator_tag出现在底层迭代器类型的列表中。

用代码说：

template <typename... Iterators>
using least_powerful_iterator =
    std::conditional_t<contains<std::input_iterator_tag,         category<Iterators>...> &&
                      !contains<std::output_iterator_tag,        category<Iterators>...>, std::input_iterator_tag,
    std::conditional_t<contains<std::input_iterator_tag,         category<Iterators>...> &&
                      contains<std::output_iterator_tag,         category<Iterators>...>, unknown_iterator_category,
    std::conditional_t<contains<std::output_iterator_tag,        category<Iterators>...> &&
                      !contains<std::input_iterator_tag,         category<Iterators>...>, std::output_iterator_tag,
    std::conditional_t<contains<std::output_iterator_tag,        category<Iterators>...> &&
                      contains<std::input_iterator_tag,          category<Iterators>...>, unknown_iterator_category,    
    std::conditional_t<contains<std::forward_iterator_tag,       category<Iterators>...>, std::forward_iterator_tag,
    std::conditional_t<contains<std::bidirectional_iterator_tag, category<Iterators>...>, std::bidirectional_iterator_tag,
    std::conditional_t<contains<std::random_access_iterator_tag, category<Iterators>...>, std::random_access_iterator_tag,
    unknown_iterator_category>>>>>>>;

std::common_type应该可以工作，不是吗？迭代器特征具有派生关系：

#include <iostream>
#include <type_traits>
#include <typeinfo>
#include <map>
#include <forward_list>
#include <iterator>
int main()
{
    using map_iter = std::map<int, int>::iterator;
    using fl_iter = std::forward_list<double>::iterator;
    using cat = std::common_type_t<
        std::iterator_traits<map_iter>::iterator_category, 
        std::iterator_traits<fl_iter>::iterator_category>;
    std::cout << typeid(cat).name() << std::endl;
}
相关文章：