std::experimental::ranges::Assignable
template < class T, class U > concept bool Assignable = |
(范围 TS) | |
概念 Assignable<T, U>
指定类型和值类别为 U
所指定的表达式能被赋值给类型为 T
所指定的左值表达式。
给定
-
t
, std::remove_reference_t<T> 类型的指代对象o
的左值, -
u
,使得 decltype((u)) 为U
的表达式, -
u2
,等于u
的另一对象。
Assignable<T, U>
得到满足,仅若
- std::addressof(t = u) == std::addressof(o) (即赋值表达式产生指代左运算数的左值);
- 求值 t = u 后:
-
t
等于u2
,除非u
是指代o
的非 const 亡值(即赋值是自移动赋值), - 若
u
为泛左值:- 若它是非 const 亡值,则其所指代的对象在合法但未指定的状态;
- 否则,不修改其所指代的对象;
-
Assignable<T, U>
与 std::is_lvalue_reference<T>::value 间不必有任何蕴含关系。
相等性保持
若表达式对给定的相等输入产生相等输出,则它保持相等性。
- 表达式的输入由其运算数组成。
- 表达式的输出由其结果和表达式所修改的所有运算数(若存在)组成。
进一步要求每个要求保持相等性的表达式都稳定:这种表达式带相同输入对象的二次求值必须拥有相等的输出,而无任何对这些输入对象的显式中间修改。
除非另外提醒,每个用于 requires 表达式中的表达式都要求保持相等性且稳定,而表达式的求值必须只修改其非常运算数。必须不修改常运算数。
注意
{ expression } -> Same<T>&& 形式的推导制约等效地要求 decltype((expression))&& 为与 T&&
准确相同的类型。这会制约表达式的类型与其值类别。
赋值不需要是全函数。特别是,若赋值给某对象 x
能导致修改某个其他对象 y
,则 x = y 可能不在 =
的定义域中。若右运算数直接或间接地为左运算数所占有(例如用基于结点的数据结构中的指向结点的智能指针,或用类似 std::vector<std::any> 的构造),则这通常会发生。