filter_view::iterator : iterator_categoryとiterator_conceptを追加 #713

Author: faithandbrave

reference/ranges/filter_view/iterator.md

@@ -44,12 +44,12 @@ namespace std::ranges {
 
 ## メンバ型
 
-| 名前                                                 | 説明                                                     | 対応バージョン |
-|------------------------------------------------------|----------------------------------------------------------|----------------|
-| [`iterator_concept`](iterator/iterator_concept.md.nolink)   | イテレータコンセプト                                     | C++20          |
-| [`iterator_category`](iterator/iterator_category.md.nolink) | イテレータカテゴリ                                       | C++20          |
-| `value_type`                                         | [`range_value_t<V>`](../range_value_t.md)                | C++20          |
-| `difference_type`                                    | [`range_difference_t<V>`](../range_difference_t.md)      | C++20          |
+| 名前                                                      | 説明                                                | 対応バージョン |
+|-----------------------------------------------------------|-----------------------------------------------------|----------------|
+| [`iterator_concept`](iterator/type-iterator_concept.md)   | イテレータコンセプト                                | C++20          |
+| [`iterator_category`](iterator/type-iterator_category.md) | イテレータカテゴリ                                  | C++20          |
+| `value_type`                                              | [`range_value_t<V>`](../range_value_t.md)           | C++20          |
+| `difference_type`                                         | [`range_difference_t<V>`](../range_difference_t.md) | C++20          |
 
 ## 非メンバ（*Hidden friends*）関数
 

reference/ranges/filter_view/iterator/type-iterator_category.md

@@ -0,0 +1,25 @@
+# iterator_category
+* ranges[meta header]
+* std::ranges[meta namespace]
+* filter_view::iterator[meta class]
+* type-alias[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+using iterator_category = 以下参照; // (1) C++20
+```
+
+## 概要
+イテレータの分類を表す型。
+
+このメンバ型`iterator_concept`は、`V`が[`forward_ranges`](/reference/ranges/forward_range.md)コンセプトのモデルである場合にのみ、以下のように定義される。
+
+- `C = iterator_traits<iterator_t<V>>::iterator_category;`であるとして、
+- `C`が[`derived_from`](/reference/concepts/derived_from.md)`<`[`bidirectional_iterator_tag`](/reference/iterator/iterator_tag.md)`>`のモデルである場合、`iterator_category`は[`bidirectional_iterator_tag`](/reference/iterator/iterator_tag.md)となる
+- そうでない場合、`C`が[`derived_from`](/reference/concepts/derived_from.md)`<`[`forward_iterator_tag`](/reference/iterator/iterator_tag.md)`>`のモデルである場合、`iterator_category`は[`forward_iterator_tag`](/reference/iterator/iterator_tag.md)となる
+- そうでない場合、`iterator_category`は`C`となる
+
+
+## バージョン
+### 言語
+- C++20

reference/ranges/filter_view/iterator/type-iterator_concept.md

@@ -0,0 +1,22 @@
+# iterator_concept
+* ranges[meta header]
+* std::ranges[meta namespace]
+* filter_view::iterator[meta class]
+* type-alias[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+using iterator_concept = 以下参照; // (1) C++20
+```
+
+## 概要
+イテレータコンセプトを表す型。
+
+- `V`が[`bidirectional_ranges`](/reference/ranges/bidirectional_range.md)コンセプトのモデルである場合、[`bidirectional_iterator_tag`](/reference/iterator/iterator_tag.md)
+- `V`が[`forward_ranges`](/reference/ranges/forward_range.md)コンセプトのモデルである場合、[`forward_iterator_tag`](/reference/iterator/iterator_tag.md)
+- そうでない場合、[`input_iterator_tag`](/reference/iterator/iterator_tag.md)
+
+
+## バージョン
+### 言語
+- C++20