Difference between revisions of "cpp/named req/CopyAssignable"
From cppreference.com
m (mention lvalue in the intro sentence) |
(missed t in the legend) |
||
| Line 11: | Line 11: | ||
Given | Given | ||
| + | * {{tt|t}}, a modifiable [[cpp/language/value_category|lvalue expression]] of type {{tt|T}} | ||
* {{tt|v}}, an [[cpp/language/value_category|lvalue]] expression of type {{tt|T}} or {{tt|const T}} or an [[cpp/language/value_category|rvalue]] expression of type {{tt|const T}} | * {{tt|v}}, an [[cpp/language/value_category|lvalue]] expression of type {{tt|T}} or {{tt|const T}} or an [[cpp/language/value_category|rvalue]] expression of type {{tt|const T}} | ||
Revision as of 08:19, 8 March 2015
Template:cpp/concept/title Template:cpp/concept/navbar
Specifies that an instance of the type can be copy-assigned from an lvalue expression.
Requirements
The type T satisfies CopyAssignable if
- The type
Tsatisfies Template:concept, and
Given
-
t, a modifiable lvalue expression of typeT -
v, an lvalue expression of typeTorconst Tor 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) |
