std::ranges::zip_transform_view<F,Views...>::iterator

设 /*POT*/ 表示类型包

std::iterator_traits<std::iterator_t<
    /*maybe-const*/<Const, Views>>>::iterator_category...

若 /*Base*/ 满足 forward_range，则 iterator_category 表示：

• std::input_iterator_tag，若

  std::invoke_result_t</*maybe-const*/<Const, F>&,
      ranges::range_reference_t</*maybe-const*/<Const, Views>>...>
  

不是引用。

• 否则，

• std::random_access_iterator_tag，若
  

(std::derived_from</*POT*/, std::random_access_iterator_tag> && ...) 是 true。

• 否则，std::bidirectional_iterator_tag，若
  

(std::derived_from</*POT*/, std::bidirectional_iterator_tag> && ...) 是 true。

• 否则，std::forward_iterator_tag，若
  

(std::derived_from</*POT*/, std::forward_iterator_tag> && ...) 是 true。

• 否则，std::input_iterator_tag。

若 /*Base*/ 不满足 forward_range，则不提供。

设 /*RREF*/ 为 ranges::range_reference_t<Views>...，
且 /*CRREF*/ 为 ranges::range_reference_t<const Views>...。则：

• std::remove_cvref_t<std::invoke_result_t<F&, /*RREF*/>> 若 Const 是 false，
• std::remove_cvref_t<std::invoke_result_t<const F&, /*CRREF*/>> 否则。