[英]Select the “common functionality” iterator category
当您处理不同类型的迭代器并想知道所有操作都可用时,有很多情况。 我希望你能从它们的迭代器类别中推断出它。
比方说,比如,你正在写一个chain_iterator
或zip_iterator
并要确定其iterator_category
从它的组成部分iterator_category
秒。 说这是一种有效的方法:
如果至少有一个是output_iterator
,则公共类别是output_iterator_tag
,除非它们中至少有一个是input_iterator
,在这种情况下,公共类别是未定义的;
如果至少有一个是intput_iterator
,则公共类别是input_iterator_tag
,除非它们中至少有一个是output_iterator
,在这种情况下公共类别是未定义的;
其他常见的类别推断为第一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;
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.