copy_constructible 概念参考

检查类型是否可复制构造 更多...

#include <concepts.hpp>

概念定义

template<typename T>
concept copy_constructible = move_constructible<T> && constructible_from<T, T&> && convertible_to<T&, T> &&
                             constructible_from<T, const T&> && convertible_to<const T&, T> &&
                             constructible_from<T, const T> && convertible_to<const T, T>

详细描述

检查类型是否可复制构造

模板参数

T

要检查的类型

要求：

1. 可移动构造
2. 可以从左值引用、const左值引用、const值进行构造和转换

在文件 concepts.hpp 第 116 行定义.