std::experimental::ranges::CopyConstructible

来自cppreference.com
 
C++
 
实验性
技术规范
文件系统库 (文件系统 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 概念
 
template< class T >
concept bool CopyConstructible =
    MoveConstructible<T> &&
    Constructible<T, T&> && ConvertibleTo<T&, T> &&
    Constructible<T, const T&> && ConvertibleTo<const T&, T> &&
    Constructible<T, const T> && 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。

参阅

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