namespace std {
template <class T>
struct is_trivially_copy_assignable;
template <class T>
inline constexpr bool is_trivially_copy_assignable_v
= is_trivially_copy_assignable<T>::value; // C++17
}
概要
型Tがトリビアルにコピー代入可能か調べる。
要件
型Tは完全型であるか、const/volatile修飾された(あるいはされていない)voidか、要素数不明の配列型でなければならない。
効果
is_trivially_copy_assignableは、型Tがトリビアルにコピー代入可能であるならばtrue_typeから派生し、そうでなければfalse_typeから派生する。
以下の条件がtrueである場合に、トリビアルにコピー代入可能であると見なされる：
- C++11 :
is_trivially_assignable<T&, const T&>::value == true - C++14 : 参照可能な型
Tに対しては、is_trivially_assignable<T&, const T&>::value == trueと同じ結果となり、それ以外はfalseと見なされる。
例
#include <type_traits>
#include <string>
struct X {
// トリビアルなコピー代入演算子を持っている
};
struct Y {
// 非トリビアルなコピー代入演算子を持っている
Y& operator=(const Y&) { return *this; }
};
struct Z {
// 非トリビアルなコピー代入演算子を持つ型を包含している
std::string s;
// Z型は非トリビアルなコピー代入演算子を持つ
};
// 組み込み型は全てトリビアルにコピー代入可能
static_assert(
std::is_trivially_copy_assignable<int>::value == true,
"int is trivially copy assignable");
// トリビアルなコピー代入演算子を持っている型
static_assert(
std::is_trivially_copy_assignable<X>::value == true,
"X is trivially copy assignable");
// 非トリビアルなコピー代入演算子を持っている型
static_assert(
std::is_trivially_copy_assignable<Y>::value == false,
"Y isn't trivially copy assignable");
// 非トリビアルなコピー代入演算子を持つ型を包含する型
static_assert(
std::is_trivially_copy_assignable<Z>::value == false,
"Z isn't trivially copy assignable");
int main() {}
xxxxxxxxxx#include <type_traits>#include <string>struct X { // トリビアルなコピー代入演算子を持っている};struct Y { // 非トリビアルなコピー代入演算子を持っている Y& operator=(const Y&) { return *this; }};struct Z { // 非トリビアルなコピー代入演算子を持つ型を包含している std::string s; // Z型は非トリビアルなコピー代入演算子を持つ};出力
バージョン
言語
- C++11
処理系
- Clang: 3.0 ✅
- GCC: 5.0 ✅
- Visual C++: 2012 ✅, 2013 ✅, 2015 ✅
参照
- LWG Issue 2196. Specification of
is_*[copy/move]_[constructible/assignable]unclear for non-referencable types- C++11では、この型特性が参照型に対してどのような振る舞いになるのか不明確であったため、C++14で明確化された。
- P0006R0 Adopt Type Traits Variable Templates from Library Fundamentals TS for C++17