std::optional<T>:: transform

* this が値を保持している場合、その値を引数として f を呼び出し、その呼び出し結果を保持する std::optional を返す。そうでない場合、空の std::optional を返す。

結果に含まれる値の型（以下 U で示す）は、非配列オブジェクト型でなければならず、 std::in_place_t または std::nullopt_t であってはならない。そうでない場合、プログラムは不適格となる。

パラメータ

戻り値

f の結果を含む、または上記のように空の std::optional を返します。

注記

transform はコンストラクタに渡すのではなく、直接正しい位置に U オブジェクトを構築するため、 std:: is_move_constructible_v < U > が false になる可能性があります。

呼び出し可能オブジェクト f が参照型を返すことができないため、これは データメンバへのポインタ にはなりえません。

一部の言語ではこの操作を map と呼びます。

例

#include <iostream>
#include <optional>
struct A { /* ... */ };
struct B { /* ... */ };
struct C { /* ... */ };
struct D { /* ... */ };
auto A_to_B(A) -> B { /* ... */ std::cout << "A => B \n"; return {}; }
auto B_to_C(B) -> C { /* ... */ std::cout << "B => C \n"; return {}; }
auto C_to_D(C) -> D { /* ... */ std::cout << "C => D \n"; return {}; }
void try_transform_A_to_D(std::optional<A> o_A)
{
    std::cout << (o_A ? "o_A has a value\n" : "o_A is empty\n");
    std::optional<D> o_D = o_A.transform(A_to_B)
                              .transform(B_to_C)
                              .transform(C_to_D);
    std::cout << (o_D ? "o_D has a value\n\n" : "o_D is empty\n\n");
};
int main()
{
    try_transform_A_to_D( A{} );
    try_transform_A_to_D( {} );
}

o_A has a value
A => B
B => C
C => D
o_D has a value
o_A is empty
o_D is empty

関連項目