当您处理不同类型的迭代器并想知道哪些操作适用于所有迭代器时,有很多情况。我希望您可以从他们的迭代器类别中推断出这一点。
例如,假设您正在编写一个 chain_iterator
或 zip_iterator
并希望从其组件定义其 iterator_category
' iterator_category
。这是一种有效的方法吗:
如果至少有一个是
output_iterator
,则公共(public)类别是output_iterator_tag
,除非其中至少有一个是input_iterator
, 在这种情况下,公共(public)类别是未定义的;如果至少有一个是
intput_iterator
,则公共(public)类别是input_iterator_tag
,除非其中至少有一个是output_iterator
, 在这种情况下,公共(public)类别是未定义的;否则公共(public)类别被推断为第一个出现在列表中的
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;
}
关于c++ - 选择 "common functionality"迭代器类别,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49756867/