namespace std::meta {
consteval bool is_nothrow_copy_assignable_type(info type);
}
概要
例外を送出せずにコピー代入可能型であるかを判定する。std::is_nothrow_copy_assignableに対応する。
戻り値
typeが表す型が例外を送出せずにコピー代入可能型である場合にtrueを返す。
例外
typeが型を表さない場合、std::meta::exception例外を送出する。
例
#include <meta>
struct Safe {
Safe& operator=(const Safe&) noexcept = default;
};
struct Throwing {
Throwing& operator=(const Throwing&) noexcept(false) { return *this; }
};
int main() {
static_assert(std::meta::is_nothrow_copy_assignable_type(^^int));
static_assert(std::meta::is_nothrow_copy_assignable_type(^^Safe));
static_assert(!std::meta::is_nothrow_copy_assignable_type(^^Throwing));
}
出力
バージョン
言語
- C++26
処理系
- Clang: ??
- GCC: 16 (
-freflectionオプション指定) ✅ - Visual C++: ??