namespace std::meta {
consteval bool is_trivially_move_assignable_type(info type);
}
概要
トリビアルにムーブ代入可能型であるかを判定する。std::is_trivially_move_assignableに対応する。
戻り値
typeが表す型がトリビアルにムーブ代入可能型である場合にtrueを返す。
例外
typeが型を表さない場合、std::meta::exception例外を送出する。
例
#include <meta>
#include <memory>
struct Trivial {
int x;
};
struct NonTrivial {
NonTrivial& operator=(NonTrivial&& other) { x = other.x; return *this; }
int x;
};
int main() {
static_assert(std::meta::is_trivially_move_assignable_type(^^int));
static_assert(std::meta::is_trivially_move_assignable_type(^^Trivial));
static_assert(!std::meta::is_trivially_move_assignable_type(^^NonTrivial));
static_assert(!std::meta::is_trivially_move_assignable_type(^^std::unique_ptr<int>));
}
出力
バージョン
言語
- C++26
処理系
- Clang: ??
- GCC: 16 (
-freflectionオプション指定) ✅ - Visual C++: ??