Skip to content

Commit e399f0d

Browse files
committed
common_range : 例を追加
1 parent f1ce7b6 commit e399f0d

File tree

1 file changed

+17
-2
lines changed

1 file changed

+17
-2
lines changed

reference/ranges/common_range.md

Lines changed: 17 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,10 +23,25 @@ namespace std::ranges {
2323
型`T`が`common_range`のモデルとなるのは、`T`が[`range`](range.md)のモデルであり、`T`から取得した番兵とイテレータの型が等しい場合である。
2424
2525
## 例
26-
(執筆中)
26+
```cpp example
27+
#include <ranges>
28+
29+
int main() {
30+
namespace ranges = std::ranges;
31+
namespace views = std::views;
32+
33+
// 無限長のiotaはcommon_rangeではない
34+
// (イテレータと番兵の型が異なる)
35+
static_assert(!ranges::common_range<decltype(views::iota(0))>);
36+
37+
// commonを適用するとcommon_rangeになる
38+
static_assert(ranges::common_range<decltype(views::iota(0) | views::common)>);
39+
}
40+
```
2741

2842
### 出力
29-
(執筆中)
43+
```
44+
```
3045

3146
## バージョン
3247
### 言語

0 commit comments

Comments
 (0)