std::experimental::ranges::CopyConstructible

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

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

 

范围

概念

通用工具

迭代器

范围

算法

 

概念库

核心语言概念
Same DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
对象概念
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
比较概念
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
可调用概念
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNG 概念
UniformRandomNumberGenerator

 

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

概念CopyConstructible 得到满足，若 T 为左值引用类型，或若它是MoveConstructible对象类型，其中该类型对象能在直接和复制初始化语境中，从该类型（可能为 const 的）左值或 const 右值以通常语义构造（构造副本而不更改源）。

更精确而言，若 T 为对象类型，则 CopyConstructible<T> 仅若满足下列条件才得到满足，给定

• v ，（可为 const 的） T 类型左值或 const T 类型右值，

下列为真

• 定义 T u = v; 后， u 等于 v ；
• T{v} 等于 v 。

参阅

is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)

检查类型是否拥有复制构造函数 (类模板)