@@ -95,46 +95,46 @@ namespace std {
9595 - この時、`I::pointer`も定義されているならば、`pointer`はそれを用いて定義される。
9696
9797- いずれかのメンバ型が定義されておらず、` I ` が` cpp17-input-iterator ` コンセプトを満たす場合、それぞれのメンバ型は次のように定義される
98- ``` cpp
99- using difference_type = typename incrementable_traits<I>::difference_type;
100- using value_type = typename indirectly_readable_traits<I>::value_type;
101- using pointer = /* see below*/ ;
102- using reference = /* see below*/ ;
103- using iterator_category = /* see below*/ ;
104- ```
105- * see below[ italic]
106- * indirectly_readable_traits[ link /reference/iterator/indirectly_readable_traits.md]
107- * incrementable_traits[ link /reference/iterator/incrementable_traits.md]
108- * iter_reference_t[ link /reference/iterator/iter_reference_t.md]
98+ ``` cpp
99+ using difference_type = typename incrementable_traits<I>::difference_type;
100+ using value_type = typename indirectly_readable_traits<I>::value_type;
101+ using pointer = /* see below*/ ;
102+ using reference = /* see below*/ ;
103+ using iterator_category = /* see below*/ ;
104+ ```
105+ * see below[italic]
106+ * indirectly_readable_traits[link /reference/iterator/indirectly_readable_traits.md]
107+ * incrementable_traits[link /reference/iterator/incrementable_traits.md]
108+ * iter_reference_t [link /reference/iterator/iter_reference_t .md]
109109
110110 - `pointer`は、上から順に次のいずれか
111- ``` cpp
112- using pointer = I::pointer;
113- using pointer = decltype (declval<I&>().operator ->());
114- using pointer = void ;
115- ```
111+ ```cpp
112+ using pointer = I::pointer;
113+ using pointer = decltype (declval<I&>().operator ->());
114+ using pointer = void ;
115+ ```
116116
117117 - `reference`は、上から順に次のいずれか
118- ```cpp
119- using reference = typename I::reference;
120- using reference = iter_reference_t <I>;
121- ```
118+ ```cpp
119+ using reference = typename I::reference;
120+ using reference = iter_reference_t <I>;
121+ ```
122122
123123 - `iterator_category`は、上から順に次のいずれか
124124 - `I`が`cpp17-random-access-iterator`コンセプトを満たす場合、`random_access_iterator_tag`
125125 - `I`が`cpp17-bidirectional-iterator`コンセプトを満たす場合、`bidirectional_iterator_tag`
126126 - `I`が`cpp17-forward-iterator`コンセプトを満たす場合、`forward_iterator_tag`
127127 - それ以外の場合、`input_iterator_tag`
128-
128+
129129
130130- そうではなく、`I`が`cpp17-iterator`コンセプトを満たす場合、それぞれのメンバ型は次のように定義される
131- ```cpp
132- using difference_type = typename incrementable_traits<I>::difference_type;
133- using value_type = void ;
134- using pointer = void ;
135- using reference = void ;
136- using iterator_category = output_iterator_tag;
137- ```
131+ ```cpp
132+ using difference_type = typename incrementable_traits<I>::difference_type;
133+ using value_type = void ;
134+ using pointer = void ;
135+ using reference = void ;
136+ using iterator_category = output_iterator_tag;
137+ ```
138138
139139 - この時、`incrementable_traits<I>::difference_type`が定義されない場合、`difference_type = void `
140140
0 commit comments