最終更新日時(UTC):
が更新

履歴 編集

function template
<optional>

std::optional::transform(C++23)

template <class F> constexpr auto transform(F&& f) &;       // (1)
template <class F> constexpr auto transform(F&& f) &&;      // (2)
template <class F> constexpr auto transform(F&& f) const&;  // (3)
template <class F> constexpr auto transform(F&& f) const&&; // (4)

概要

有効値を保持していれば、値に対してfを適用した結果をoptionalに格納して返す。 有効値を保持していなければ、std::nulloptを返す。

実際には複数オーバーロードが提供されるが、大まかには下記シグニチャのようにみなせる。 transformへは、引数リストに1個のT型をとりReturn型を返す関数や関数オブジェクトを与える。

template <class T>
class optional {
  template <class Return>
  std::optional<Return> transform(function<Return(T)> func);
};

説明用のU型を次の通りとする:

適格要件

効果

備考

transformは、メソッドチェーンをサポートするモナド風(monadic)操作として導入された。 関数型プログラミングの文脈における Functor Map 操作に対応する。

#include <cassert>
#include <optional>

int twice(int n)
{
  return n * 2;
}

int main()
{
  std::optional<int> o1 = 2;
  assert(o1.transform(twice).value() == 4);

  std::optional<int> o2 = std::nullopt;
  assert(not o2.transform(twice).has_value());
}

出力

バージョン

言語

  • C++23

処理系

関連項目

参照