Difference between revisions of "cpp/named req/CopyAssignable"
From cppreference.com
(named req/core) |
m (→See also: + assignable_from) |
||
Line 30: | Line 30: | ||
{{dsc begin}} | {{dsc begin}} | ||
{{dsc inc | cpp/types/dsc is_copy_assignable}} | {{dsc inc | cpp/types/dsc is_copy_assignable}} | ||
+ | {{dsc inc | cpp/concepts/dsc assignable_from}} | ||
{{dsc end}} | {{dsc end}} | ||
{{langlinks|de|es|fr|it|ja|pt|ru|zh}} | {{langlinks|de|es|fr|it|ja|pt|ru|zh}} |
Revision as of 19:15, 14 December 2020
Specifies that an instance of the type can be copy-assigned from an lvalue expression.
Requirements
The type T
satisfies CopyAssignable if
- The type
T
satisfies MoveAssignable, and
Given
-
t
, a modifiable lvalue expression of typeT
-
v
, an lvalue expression of typeT
orconst T
or an rvalue expression of typeconst T
The following expressions must be valid and have their specified effects
Expression | Return type | Return value | Post-conditions |
---|---|---|---|
t = v | T&
|
t
|
The value of t is equivalent to the value of v .
The value of |
See also
(C++11)(C++11)(C++11) |
checks if a type has a copy assignment operator (class template) |
(C++20) |
specifies that a type is assignable from another type (concept) |