Namespaces
Variants

    std::optional<T>::and_then

    ja.cppreference.net より
     
    C++
    コンパイラサポート
    フリースタンディング及びホスト環境
    言語
    標準ライブラリ
    標準ライブラリヘッダ
    名前付き要件
    機能テストマクロ (C++20)
    言語サポートライブラリ
    コンセプトライブラリ (C++20)
    診断ライブラリ
    メモリ管理ライブラリ
    メタプログラミングライブラリ (C++11)
    汎用ユーティリティライブラリ
    コンテナライブラリ
    イテレータライブラリ
    レンジライブラリ (C++20)
    アルゴリズムライブラリ
    文字列ライブラリ
    テキスト処理ライブラリ
    数値ライブラリ
    日時ライブラリ
    入出力ライブラリ
    ファイルシステムライブラリ (C++17)
    並行処理サポートライブラリ (C++11)
    実行制御ライブラリ (C++26)
    技術仕様書
    シンボル索引
    外部ライブラリ
     
    ユーティリティライブラリ
    言語サポート
    型サポート (基本型、RTTI)
    ライブラリ機能テストマクロ (C++20)
    プログラムユーティリティ
    可変長引数関数
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    コルーチンサポート (C++20)
    契約サポート (C++26)
    三方比較
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    汎用ユーティリティ
    関係演算子 (C++20で非推奨)
    整数比較関数
    (C++20)(C++20)(C++20)    
    (C++20)
    swap 及び 型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    共通語彙型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    std::optional
     
    template< class F >
constexpr auto and_then( F&& f ) &;
    		(1) (C++23 以上) 
    template< class F >
constexpr auto and_then( F&& f ) const&;
    		(2) (C++23 以上) 
    template< class F >
constexpr auto and_then( F&& f ) &&;
    		(3) (C++23 以上) 
    template< class F >
constexpr auto and_then( F&& f ) const&&;
    		(4) (C++23 以上)

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

    戻り値の型 (下記参照) は std::optional の特殊化でなければなりません (transform() とは異なります)。そうでなければ、プログラムは ill-formed です。

    1) 以下と同等: 
    if (*this)
    return std::invoke(std::forward<F>(f), value());
else
    return std::remove_cvref_t<std::invoke_result_t<F, T&>>{};
    2) 以下と同等: 
    if (*this)
    return std::invoke(std::forward<F>(f), value());
else
    return std::remove_cvref_t<std::invoke_result_t<F, const T&>>{};
    3) 以下と同等: 
    if (*this)
    return std::invoke(std::forward<F>(f), std::move(value()));
else
    return std::remove_cvref_t<std::invoke_result_t<F, T>>{};
    4) 以下と同等: 
    if (*this)
    return std::invoke(std::forward<F>(f), std::move(value());
else
    return std::remove_cvref_t<std::invoke_result_t<F, const T>>{};

    パラメータ

    f - 適切な関数または Callable オブジェクトで、 std::optional を返すもの

    戻り値

    f の結果、または前述のように空の std::optional 。

    注記

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

    機能テスト マクロ 値 標準 機能
    __cpp_lib_optional 202110L (C++23) モナド操作 in std::optional

    例

    このコードを実行 
    #include <charconv>
#include <iomanip>
#include <iostream>
#include <optional>
#include <ranges>
#include <string>
#include <string_view>
#include <vector>
std::optional<int> to_int(std::string_view sv)
{
    int r{};
    auto [ptr, ec]{std::from_chars(sv.data(), sv.data() + sv.size(), r)};
    if (ec == std::errc())
        return r;
    else
        return std::nullopt;
}
int main()
{
    using namespace std::literals;
    const std::vector<std::optional<std::string>> v
    {
        "1234", "15 foo", "bar", "42", "5000000000", " 5", std::nullopt, "-43"
    };
    for (auto&& x : v | std::views::transform(
        [](auto&& o)
        {
            // 入力optional<string>の内容をデバッグ表示
            std::cout << std::left << std::setw(13)
                      << std::quoted(o.value_or("nullopt")) << " -> ";
            return o
                // optionalがnulloptの場合、空文字列のoptionalに変換
                .or_else([]{ return std::optional{""s}; })
                // 文字列から整数へのフラットマップ変換（失敗時は空のoptionalを作成）
                .and_then(to_int)
                // intをint + 1にマップ
                .transform([](int n) { return n + 1; })
                // 文字列に戻す
                .transform([](int n) { return std::to_string(n); })
                // and_thenで残され、transformsで無視されたすべての空のoptionalを"NaN"で置換
                .value_or("NaN"s);
        }))
        std::cout << x << '\n';
}

    出力: 

    "1234"        -> 1235
"15 foo"      -> 16
"bar"         -> NaN
"42"          -> 43
"5000000000"  -> NaN
" 5"          -> NaN
"nullopt"     -> NaN
"-43"         -> -42

    関連項目

    		利用可能な場合は格納された値を返し、それ以外の場合は別の値を返す
    (公開メンバ関数)
    (C++23)
    		存在する場合は変換された格納値を含む optional を返し、それ以外の場合は空の optional を返す
    (公開メンバ関数)
    (C++23)
    		値が含まれている場合は optional 自体を返し、それ以外の場合は指定された関数の結果を返す
    (公開メンバ関数)