C++ 参考手册

位置:首页 > > std::experimental::ranges::MoveConstructible

定义于头文件 <experimental/ranges/concepts>
template < class T >

concept bool MoveConstructible =

  ranges::Constructible<T, T> && ranges::ConvertibleTo<T, T>;
(范围 TS)

概念 MoveConstructibleT 为引用类型,或若它是对象类型,其中能在直接和复制初始化语境中从该类型的右值以通常语义构造该类型对象,则得到满足。

更精确而言,若 T 是对象类型,则 MoveConstructible<T> 仅若满足下列条件才得到满足。给定

  • rvT 类型右值,与
  • u2 ,等于 rvT 类型独立对象,

下列为真:

  • 定义 T u = rv; 后, u 等于 u2
  • T{rv} 等于 u2 ;且
  • T 无 const 限定,则 rv 的结果状态(在上述任一条中求值定义/表达式后)合法且未指定,否则它不更改。

参阅

检查类型是否能从右值引用构造
(类模板)