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

履歴 編集

noexcept付きのラムダ式から変換する関数ポインタにnoexceptを付加する(C++17)

概要

キャプチャを持たない非ジェネリックなラムダ式は、関数ポインタに変換できる。そのラムダ式が例外を投げない指定をされていた場合、変換された関数ポインタもまたnoexceptを持つ。

例外を投げない指定とは、以下のいずれかである:

  • noexcept
  • noexcept(true)
  • throw() (C++17から非推奨)

#include <iostream>
#include <iomanip>

int main()
{
  int (*fp0)()          = []()          { return 0; };
  int (*fp1)() noexcept = []() noexcept { return 1; };

  std::cout << std::boolalpha;
  std::cout << noexcept(fp0()) << std::endl;
  std::cout << noexcept(fp1()) << std::endl;

  // noexcept付きラムダからnoexceptなし関数ポインタへは変換可能
  int (*fp2)() = []() noexcept { return 2; };

  // noexceptなしラムダからnoexcept付き関数ポインタへは変換不可
//int (*fp3)() noexcept = []() { return 3; };
}

出力

false
true

関連項目

参照