<type_traits> 函数
is_assignable
is_copy_assignable
is_copy_constructible
is_default_constructible
is_move_assignable
is_move_constructible
is_nothrow_move_assignable
is_nothrow_swappable
is_nothrow_swappable_with
is_swappable
is_swappable_with
is_trivially_copy_assignable
is_trivially_move_assignable
is_trivially_move_constructible
is_assignable
测试 From 类型的值是否可以分配给 To 类型。
template <class To, class From>
struct is_assignable;
参数
操作
接收赋值的对象的类型。
From
提供值的对象的类型。
备注
未计算的表达式 declval<To>() = declval<From>() 必须具有正确格式。 From 和 To 都必须是完整类型、void 或具有未知边界的数组。
is_copy_assignable
测试是否可以在赋值时复制类型。
template <class Ty>
struct is_copy_assignable;
参数
Ty
要查询的类型。
注解
如果类型 Ty 是具有复制赋值运算符的类，则类型谓词的实例为 true；否则为 false。 等效于 is_assignable<Ty&, const Ty&>。
is_copy_constructible
测试类型是否包含复制构造函数。
template <class Ty>
struct is_copy_constructible;
参数
Ty
要查询的类型。
注解
如果类型 Ty 是具有复制构造函数的类，则类型谓词的实例为 true；否则为 false。
示例
#include <type_traits>
#include <iostream>
struct Copyable
{
int val;
};
struct NotCopyable
{
NotCopyable(const NotCopyable&) = delete;
int val;
};
int main()
{
std::cout << "is_copy_constructible<Copyable> == " << std::boolalpha
<< std::is_copy_constructible<Copyable>::value << std::endl;
std::cout << "is_copy_constructible<NotCopyable> == " << std::boolalpha
<< std::is_copy_constructible<NotCopyable>::value << std::endl;
return (0);
}
is_copy_constructible<Copyable> == true
is_copy_constructible<NotCopyable > == false
is_default_constructible
测试类型是否具有默认构造函数。
template <class Ty>
struct is_default_constructible;
参数
T
要查询的类型。
备注
如果类型 T 是具有默认构造函数的类类型，则类型谓词的实例为 true，否则为 false。 这等效于谓词 is_constructible<T>。 类型 T 必须是一个完整类型、void 或未知绑定的数组。
示例
#include <type_traits>
#include <iostream>
struct Simple
{
Simple() : val(0) {}
int val;
};
struct Simple2
{
Simple2(int v) : val(v) {}
int val;
};
int main()
{
std::cout << "is_default_constructible<Simple> == " << std::boolalpha
<< std::is_default_constructible<Simple>::value << std::endl;
std::cout << "is_default_constructible<Simple2> == " << std::boolalpha
<< std::is_default_constructible<Simple2>::value << std::endl;
return (0);
}
is_default_constructible<Simple> == true
is_default_constructible<Simple2> == false
is_move_assignable
测试类型是否可移动赋值。
template <class T>
struct is_move_assignable;
参数
T
要查询的类型。
备注
如果类型的右值引用可赋予此类型的引用，则该类型可移动赋值。 类型谓词等效于 is_assignable<T&, T&&>。 可移动赋值的类型包括可引用的标量类型和类类型，这些类型具有编译器生成的移动赋值运算符或用户定义的移动赋值运算符。
is_move_constructible
测试类型是否具有移动构造函数。
template <class T>
struct is_move_constructible;
参数
T
要计算的类型
备注
如果类型 T 可通过使用移动操作构造，则类型谓词的计算结果为 true。 此谓词等效于 is_constructible<T, T&&>。
is_nothrow_move_assignable
测试类型是否具有 nothrow 移动赋值运算符。
template <class Ty>
struct is_nothrow_move_assignable;
参数
Ty
要查询的类型。
备注
如果类型 Ty 具有 nothrow 移动赋值运算符，类型谓词的实例将为 true，否则为 false。
is_nothrow_swappable
template <class T> struct is_nothrow_swappable;
is_nothrow_swappable_with
template <class T, class U> struct is_nothrow_swappable_with;
is_swappable
template <class T> struct is_swappable;
is_swappable_with
template <class T, class U> struct is_swappable_with;
is_trivially_copy_assignable
测试类型是否具有普通复制赋值运算符。
template <class Ty>
struct is_trivially_copy_assignable;
参数
T
要查询的类型。
备注
如果类型 T 是具有普通复制赋值运算符的类，则类型谓词的实例为 true；否则为 false。
如果类 T 的赋值构造函数是隐式提供的，则为普通类，类 T 不具有虚拟函数，类 T 不具有虚拟基，类类型的所有非静态数据成员的类都具有普通赋值运算符，且类的类型数组的所有非静态数据成员的类具有普通赋值运算符。
is_trivially_move_assignable
测试类型是否具有普通移动赋值运算符。
template <class Ty>
struct is_trivially_move_assignable;
参数
Ty
要查询的类型。
备注
如果类型 Ty 是具有普通移动赋值运算符的类，则类型谓词的实例为 true；否则为 false。
如果符合以下条件，类 Ty 的移动赋值运算符是普通运算符：
它被隐式提供
类 Ty 没有虚函数
类 Ty 没有虚拟基
类类型的所有非静态数据成员的类具有普通移动赋值运算符
类的类型数组的所有非静态数据成员的类具有普通移动赋值运算符
is_trivially_move_constructible
测试类型是否具有普通移动构造函数。
template <class Ty>
struct is_trivially_move_constructible;
参数
Ty
要查询的类型。
备注
如果类型 Ty 是一个具有普通移动构造函数的类，则类型谓词的实例为 true，否则为 false。
如果符合以下条件，则类 Ty 的移动构造函数为普通构造函数：
它被隐式声明
其参数类型等效于那些隐式声明的参数类型
类 Ty 没有虚函数
类 Ty 没有虚拟基
类没有任何不稳定的非静态数据成员
类 Ty 的所有直接基均具有普通移动构造函数
类类型的所有非静态数据成员的类具有普通构造函数
类的类型数组的所有非静态数据成员的类具有普通构造函数