命名空间
变体
操作

std::experimental::ranges::可复制构造

来自 cppreference.cn
< cpp‎ | experimental‎ | ranges
 
 
实验性
技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D 图形
 
 
概念库
核心语言概念
                              
对象概念
CopyConstructible
                              
                              
比较概念
可调用概念
                                        
                              
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>;
(ranges TS)

如果 T 是左值引用类型,或者如果 T 是一个 MoveConstructible 对象类型,且该类型的对象可以在直接初始化和复制初始化上下文中,通过该类型的(可能是 const)左值或 const 右值构造,并具有通常的语义(构造副本且源保持不变),则概念 CopyConstructible 得到满足。

更准确地说,如果 T 是对象类型,则仅当给定以下条件时,CopyConstructible<T> 才满足:

  • v,类型为(可能是 constT 的左值或类型为 const T 的右值,

以下条件成立

  • 在定义 T u = v; 之后,u 等于 v
  • T{v} 等于 v

[编辑] 参见

检查类型是否具有复制构造函数
(类模板) [编辑]