std::experimental::ranges::MoveConstructible

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

概念库

核心语言概念
相同 派生自 可转换为	通用引用 通用	整数 带符号整数 无符号整数	可赋值 可交换与...可交换
对象概念
可销毁 可构造 默认可构造	可移动构造 可复制构造	可移动 可复制	半正则 正则
比较概念
布尔值	与...弱相等可比较	可相等比较与...可相等比较	严格全序与...严格全序
可调用概念
可调用正则可调用	谓词	关系	严格弱序
URNG 概念
均匀随机数生成器

 

定义在头文件 <experimental/ranges/concepts> 中
template< class T > concept bool MoveConstructible =     Constructible<T, T> && ConvertibleTo<T, T>;		(范围 TS)

如果 T 是引用类型，或者它是一个对象类型，并且该类型对象可以从该类型的右值在直接和复制初始化上下文中构造（具有通常的语义），则满足概念 MoveConstructible。

更准确地说，如果 T 是一个对象类型，则 MoveConstructible<T> 仅在给定以下条件时满足：

• rv，一个类型为 T 的右值，以及
• u2，一个与 rv 相等且类型为 T 的不同对象，

以下条件为真：

• 在定义 T u = rv; 之后，u 等于 u2；
• T{rv} 等于 u2；以及
• 如果 T 不是常量限定的，那么 rv 的结果状态（在上述任意一条项目符号中的定义/表达式计算后）是有效的但未指定的；否则，它保持不变。

另请参阅

is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)

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