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> 的构造），则这通常会发生。