std::is_nothrow_copy_assignable
Defined in header <type_traits> | | |
|---|---|---|
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<T>::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。
本文档系腾讯云开发者社区成员共同维护，如有问题请联系 cloudcommunity@tencent.com
