最終更新日時(UTC): 2026年05月07日 03時33分06秒
Akira Takahashi が更新

履歴 編集

function
<meta>

# std::meta::is_nothrow_assignable_type(C++26)

    namespace std::meta {
      consteval bool is_nothrow_assignable_type(info type_dst, info type_src);
    }

## 概要

例外を送出せずに代入可能かを判定する。`std::is_nothrow_assignable`に対応する。

## 戻り値

`type_dst`と`type_src`が表す型について、例外を送出せずに代入可能な場合に`true`を返す。

## 例外

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

## 例

    #include <meta>

    struct A {};
    struct B {
      B& operator=(const A&) noexcept { return *this; }
    };
    struct C {
      C& operator=(const A&) noexcept(false) { return *this; }
    };

    int main() {
      static_assert(std::meta::is_nothrow_assignable_type(^^int&, ^^int));
      // B::operator=(const A&)はnoexcept
      static_assert(std::meta::is_nothrow_assignable_type(^^B&, ^^const A&));
      // C::operator=(const A&)はnoexcept(false)
      static_assert(!std::meta::is_nothrow_assignable_type(^^C&, ^^const A&));
    }

### 出力

## バージョン

### 言語

- C++26

### 処理系

- Clang: ??
- GCC: 16 (`-freflection` オプション指定) ✅
- Visual C++: ??

## 参照

- P2996R13 Reflection for C++26