std::meta::is_nothrow_applicable_type(C++26)

namespace std::meta {
  consteval bool is_nothrow_applicable_type(info fn, info tuple);
}

概要

関数型fnが、tuple-like型tupleの各要素型を引数として例外を送出せずに呼び出し可能かを判定する。

is_applicable_type()に加えて、その呼び出しがnoexceptであることを要求する。

戻り値

fnがtupleの各要素型を順に引数として渡したときに、例外を送出せずに呼び出し可能な場合にtrueを返す。

例外

fnまたはtupleが型を表さない場合、std::meta::exception例外を送出する。

例

#include <meta>
#include <tuple>

void f(int, double) noexcept;
void g(int, double);

int main() {
  static_assert(std::meta::is_nothrow_applicable_type(
    ^^decltype(f), ^^std::tuple<int, double>));
  static_assert(!std::meta::is_nothrow_applicable_type(
    ^^decltype(g), ^^std::tuple<int, double>));
}

std::meta::is_nothrow_applicable_type(C++26)

概要

戻り値

例外

例

出力

バージョン

言語

処理系

関連項目

参照