LWG Issue 4001対応（P3040R0）

Author: onihusube

reference/ranges/iota_view.md

@@ -61,12 +61,13 @@ namespace std::ranges {
 | [`begin`](iota_view/begin.md)                   | 先頭を指すイテレータを取得する   | C++20          |
 | [`end`](iota_view/end.md)                       | 番兵を取得する                   | C++20          |
 | [`size`](iota_view/size.md)                     | 有限長のとき、要素数を取得する   | C++20          |
+| [`empty`](iota_view/empty.md)                   | Rangeが空かどうかを判定する              | C++26         |
 
 ## 継承しているメンバ関数
 
 | 名前                                         | 説明                                     | 対応バージョン |
 |----------------------------------------------|------------------------------------------|----------------|
-| [`empty`](view_interface/empty.md)           | Rangeが空かどうかを判定する              | C++20          |
+| [`empty`](view_interface/empty.md)           | Rangeが空かどうかを判定する              | C++20（C++23まで）  |
 | [`operator bool`](view_interface/op_bool.md) | Rangeが空でないかどうかを判定する        | C++20          |
 | [`front`](view_interface/front.md)           | 先頭要素への参照を取得する               | C++20          |
 | [`back`](view_interface/back.md)             | 有限長のとき、末尾要素への参照を取得する | C++20          |
@@ -201,3 +202,5 @@ FizzBuzz
 - [C++20 ranges](https://techbookfest.org/product/5134506308665344)
 - [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html) (本提案文書はC++20に遡って適用されている)
 - [P2367R0 Remove misuses of list-initialization from Clause 24](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2367r0.html) (本提案文書はC++20に遡って適用されている)
+- [LWG Issue 4001. `iota_view` should provide `empty`](https://cplusplus.github.io/LWG/issue4001)
+

reference/ranges/iota_view/empty.md

@@ -0,0 +1,62 @@
+# empty
+* ranges[meta header]
+* std::ranges[meta namespace]
+* iota_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr bool empty() const;
+```
+
+## 概要
+
+[`iota_view`](../iota_view.md)が空かどうかを取得する
+
+## 効果
+
+```cpp
+return value_ == bound_;
+```
+
+空の場合に`true`を返す。
+
+## 備考
+
+C++20当初、この関数は[`view_interface`](/reference/ranges/view_interface.md)を通じて提供されていた。しかし、[`size()`](size.md)の制約を満たさない様な型の範囲を生成しなおかつ`input_range`となる場合、その様な範囲は空ではないことが分かるにも関わらず`view_interface::empty()`は無効化されてしまっていた。
+
+この問題を回避するために、本メンバ関数が追加された。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> v;
+  auto it = std::back_inserter(v);
+  
+  auto r = std::views::iota(it);
+  std::cout << r.empty() << "\n";
+}
+```
+
+### 出力
+```
+false
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): ?
+- [GCC](/implementation.md#gcc): ?
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): ?
+
+## 参照
+
+- [LWG Issue 4001. `iota_view` should provide `empty`](https://cplusplus.github.io/LWG/issue4001)