std::ranges::take_view<V>::take_view
ja.cppreference.net より
take_view() requires std::default_initializable<V> = default;
|
(1) | (C++20 以上) |
constexpr explicit take_view( V base, ranges::range_difference_t<V> count );
|
(2) | (C++20 以上) |
take_viewを構築します。
1) デフォルトコンストラクタ。 値を値初期化し、内部のビュー
base_ を初期化し、count_を 0 に初期化します。構築後、base() は V() のコピーを返し、size() は 0 を返します。2) 内部のビュー
base_ を std::move(base) で初期化し、count_ を count で初期化します。構築後、base() は base のコピーを返し、size() は count と ranges::size(base) の小さい方を返します。パラメータ
| base | - | 基となるビュー |
| count | - | 取得する要素数 |
例
Sieve of Eratosthenes 法を用いて生成された最初の n 個の素数を表示します。
このコードを実行
#include <bit> #include <bitset> #include <iomanip> #include <iostream> #include <limits> #include <ranges> constexpr unsigned clog2(auto x) // ≈ ⌈ log₂(x) ⌉ { return std::numeric_limits<decltype(x)>::digits - std::countl_zero(x); } template<unsigned Count> struct FirstPrimes { static constexpr int count = Count; constexpr bool operator()(int n) // is prime? { return n < 2 ? false : n == 2 ? true : n % 2 == 0 or bits_.test(n / 2) ? false : true; } private: consteval static auto init() { std::bitset<size_ / 2 + 1> bits; for (int n{3}; n < size_; n += 2) for (int i{n}, j{3}, k{}; (k = i * j) < size_; j += 2) bits.set(k / 2); return bits; } // Keep only odd numbers; 0 means it is a prime constexpr static auto bits_ { init() }; // a(n) <= n * (log(n) + log(log(n))) static constexpr int size_ = Count * (clog2(Count) + clog2(clog2(Count))); }; int main() { constexpr FirstPrimes<42> primes; auto primes_view = std::ranges::take_view{ std::views::iota(1) | std::views::filter(primes) , primes.count }; std::cout << "First " << primes.count << " prime numbers are:\n"; for (int new_line{1}; const int prime : primes_view) std::cout << std::setw(3) << prime << (new_line++ % 7 ? ' ' : '\n'); }
出力:
First 42 prime numbers are: 2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181
不具合報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | 適用対象 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
|
LWG 3714
( P2711R1 ) |
C++20 | multi-parameter constructorがexplicitではなかった | explicitに変更 |