std::experimental::ranges::Assignable

来自cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
 
 
概念库
核心语言概念
                              
对象概念
                              
                              
比较概念
可调用概念
                                        
                              
URNG 概念
 
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 所指定的左值表达式。

给定

  • tstd::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> 的构造),则这通常会发生。