std::experimental::ranges::Assignable

定义于头文件 <experimental/ranges/concepts>
template < class T, class U > concept bool Assignable =   std::is_lvalue_reference<T>::value &&   ranges::CommonReference<     const std::remove_reference_t<T>&,     const std::remove_reference_t<U>&> &&   requires(T t, U&& u) {     { t = std::forward<U>(u) } -> ranges::Same<T>&&;   };		(范围 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> 的构造），则这通常会发生。