Namespaces
Variants

std::ranges::transform_view<V,F>:: transform_view

From cppreference.net
Ranges library
Range adaptors
transform_view ( ) requires std:: default_initializable < V > &&
std:: default_initializable < F > = default ;
(1) (C++20以降)
constexpr explicit transform_view ( V base, F fun ) ;
(2) (C++20以降)

transform_view を構築します。

1) デフォルトコンストラクタ。 Value-initializes 基となるビュー base_ と変換関数 fun_ を初期化します。
2) 基盤となるビュー base_ base から、変換関数 fun_ fun からムーブ構築する。

パラメータ

base - view
fun - transformation function

アークタンジェントの級数展開を用いた π の近似を実演します: 1 のアークタンジェント: atan(1) = π/4 ≈ 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11 + ...

#include <algorithm>
#include <functional>
#include <iomanip>
#include <iostream>
#include <numeric>
#include <ranges>
int main()
{
    std::cout << std::setprecision(15) << std::fixed;
    auto atan1term{std::ranges::views::transform
    (
        [](int n) { return ((n % 2) ? -1 : 1) * 1.0 / (2 * n + 1); }
    )};
    for (const int iterations : {1, 2, 3, 4, 5, 10, 100, 1000, 1'000'000})
    {
        auto seq{std::ranges::views::iota(0, iterations) bitor atan1term};
        const double accum{*std::ranges::fold_left_first(seq, std::plus{})};
        std::cout << "π ≈ " << 4 * accum << " (iterations: " << iterations << ")\n";
    }
    std::cout << "π ≈ " << std::numbers::pi << " (std::numbers::pi)\n";
}

出力例:

π ≈ 4.000000000000000 (iterations: 1)
π ≈ 2.666666666666667 (iterations: 2)
π ≈ 3.466666666666667 (iterations: 3)
π ≈ 2.895238095238096 (iterations: 4)
π ≈ 3.339682539682540 (iterations: 5)
π ≈ 3.041839618929403 (iterations: 10)
π ≈ 3.131592903558554 (iterations: 100)
π ≈ 3.140592653839794 (iterations: 1000)
π ≈ 3.141591653589774 (iterations: 1000000)
π ≈ 3.141592653589793 (std::numbers::pi)

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 3714
( P2711R1 )
C++20 複数パラメータコンストラクタがexplicitではなかった explicitに変更
P2325R3 C++20 F default_initializable でない場合、デフォルトコンストラクタは
F を含まない transform_view を構築する
transform_view も同様に
default_initializable ではない