std::is_trivially_copy_assignable

STD：：是[医]复制[医]可分配的，STD：：IS[医]琐碎[医]复制[医]可分配的，STD：：IS[医]无抛[医]复制[医]可转让

Defined in header
template< class T > struct is_copy_assignable;	(1)	(since C++11)
template< class T > struct is_trivially_copy_assignable;	(2)	(since C++11)
template< class T > struct is_nothrow_copy_assignable;	(3)	(since C++11)

1%29T不是可引用的类型%28i。E.，可能是cv-符合条件的void类的函数类型。简历-限定符-seq或者是参-限定符%29，提供成员常量。value等于false否则，提供成员常量。value等于std::is_assignable<T&, const T&>::value...

2%29与1%29相同，但使用std::is_trivially_assignable<T&, const T&>

2%29与1%29相同，但使用std::is_nothrow_assignable<T&, const T&>

T为完整类型，%28可能是cv-合格%29void，或者一系列未知的界限。否则，行为就没有定义。

辅助变量模板

template< class T > inline constexpr bool is_copy_assignable_v = is_copy_assignable::value;		(since C++17)
template< class T > inline constexpr bool is_trivially_copy_assignable_v = is_trivially_copy_assignable<T>::value;		(since C++17)
template< class T > inline constexpr bool is_nothrow_copy_assignable_v = is_nothrow_copy_assignable<T>::value;		(since C++17)

继承自STD：积分[医]常量

成员常数

value static	true if T is copy-assignable, false otherwise (public static member constant)

成员函数

operator bool	converts the object to bool, returns value (public member function)
operator() (C++14)	returns value (public member function)

成员类型

Type	Definition
value_type	bool
type	std::integral_constant<bool, value>

可能的实施

模板<class T>结构是[医]复制[医]可分配：std：：is[医]可分配<type Name std：：add[医]洛值[医]参照系<T>*类型，输入名称STD：：Add[医]洛值[医]参照系<const T>*type>{}；模板<class T>struct是[医]琐碎[医]复制[医]可分配：std：：is[医]琐碎[医]可分配<type Name std：：add[医]洛值[医]参照系<T>*类型，输入名称STD：：Add[医]洛值[医]参照系<const T>*type>{}；模板<class T>struct是[医]无抛[医]复制[医]可分配：std：：is[医]无抛[医]可分配<type Name std：：add[医]洛值[医]参照系<T>*类型，输入名称STD：：Add[医]洛值[医]参照系<const T>*类型>{}；

*。

注记

特质std::is_copy_assignable不那么严格CopyAssignable因为它不检查赋值%28的结果类型，因此对于CopyAssignable类型，则必须是T%29并且不检查参数表达式保持不变的语义要求。它也不检查T满足MoveAssignable，这是所有人都需要的。CopyAssignable类型。

例

二次

#include <iostream>
#include <utility>
#include <type_traits>
struct Foo { int n; };
int main() {
    std::cout << std::boolalpha
              << "Foo is trivally copy-assignable? "
              << std::is_trivially_copy_assignable<Foo>::value << '\n'
              << "int[2] is copy-assignable? "
              << std::is_copy_assignable<int[2]>::value << '\n'
              << "int is nothrow copy-assignable? "
              << std::is_nothrow_copy_assignable<int>::value << '\n';
}

二次

产出：

二次

Foo is trivally copy-assignable? true
int[2] is copy-assignable? false
int is nothrow copy-assignable? true

二次

另见

is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)	checks if a type has a assignment operator for a specific argument (class template)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)	checks if a type has a move assignment operator (class template)

 © cppreference.com

在CreativeCommonsAttribution下授权-ShareAlike未移植许可v3.0。

http：//en.cppreference.com/w/cpp/type/is[医]复制[医]可转让