# 实验性库头文件 <experimental/ranges/concepts>

< cpp‎ | header‎ | experimental

此头文件是范围库的一部分。

### 核心语言概念

定义于命名空间 `std::experimental::ranges`
Same | 指定类型与另一类型相同 (概念)
DerivedFrom | 指定该类型从另一类型派生 (概念)
ConvertibleTo | 指定类型能隐式转换成另一类型 (概念)
CommonReference | 指定两个类型共有一个公共引用类型 (概念)
Common | 指定两个类型共有一个公共类型 (概念)
Integral | 指定类型为整型类型 (概念)
SignedIntegral | 指定类型为有符号的整型类型 (概念)
UnsignedIntegral | 指定类型为无符号的整型类型 (概念)
Assignable | 指定类型可从另一类型赋值 (概念)
Swappable SwappableWith | 指定一个类型能进行交换，或两个类型能彼此交换 (概念)

### 比较概念

定义于命名空间 `std::experimental::ranges`
Boolean | 指定类型能用于布尔语境 (概念)
WeaklyEqualityComparableWith | 指定两个类型能用运算符 == 和 != 比较相等性 (概念)
EqualityComparable EqualityComparableWith | 指定运算符 == 是等价关系 (概念)
StrictTotallyOrdered StrictTotallyOrderedWith | 指定该类型上的比较运算符产出全序 (概念)

### 对象概念

定义于命名空间 `std::experimental::ranges`
Destructible | 指定该类型对象能被销毁，且能用一元 & 取其地址 (概念)
Constructible | 指定该类型的变量能从一组实参类型进行构造，或绑定到一组实参类型 (概念)
DefaultConstructible | 指定该类型对象能默认构造 (概念)
MoveConstructible | 指定该类型的对象能移动构造 (概念)
CopyConstructible | 指定该类型对象能复制构造及移动构造 (概念)
Movable | 指定该类型的对象能被移动和交换 (概念)
Copyable | 指定该类型对象能被复制、移动和交换 (概念)
Semiregular | 指定类型的对象能被复制、移动、交换及默认构造 (概念)
Regular | 指定类型为正则，即为 `Semiregular` 且为 `EqualityComparable` (概念)

### 可调用概念

定义于命名空间 `std::experimental::ranges`
Invocable RegularInvocable | 指定可调用类型能以给定的一组实参调用 (概念)
Predicate | 指定可调用类型是布尔谓词 (概念)
Relation | 指定可调用类型为二元关系 (概念)
StrictWeakOrder | 指定一种 `Relation` 施加严格弱序 (概念)

### 概要

    namespace std { namespace experimental { namespace ranges { inline namespace v1 {

    template <class T, class U>
    concept bool Same = /* 见定义 */;

    template <class T, class U>
    concept bool DerivedFrom = /* 见定义 */;

    template <class T, class U>
    concept bool ConvertibleTo = /* 见定义 */;

    template <class T, class U>
    concept bool CommonReference = /* 见定义 */;

    template <class T, class U>
    concept bool Common = /* 见定义 */;

    template <class T>
    concept bool Integral = /* 见定义 */;

    template <class T>
    concept bool SignedIntegral = /* 见定义 */;

    template <class T>
    concept bool UnsignedIntegral = /* 见定义 */;

    template <class T, class U>
    concept bool Assignable = /* 见定义 */;

    template <class T>
    concept bool Swappable = /* 见定义 */;

    template <class T, class U>
    concept bool SwappableWith = /* 见定义 */;

    template <class T>
    concept bool Destructible = /* 见定义 */;

    template <class T, class... Args>
    concept bool Constructible = /* 见定义 */;

    template <class T>
    concept bool DefaultConstructible = /* 见定义 */;

    template <class T>
    concept bool MoveConstructible = /* 见定义 */;

    template <class T>
    concept bool CopyConstructible = /* 见定义 */;

    template <class B>
    concept bool Boolean = /* 见定义 */;

    template <class T, class U>
    concept bool WeaklyEqualityComparableWith = /* 见定义 */;

    template <class T>
    concept bool EqualityComparable = /* 见定义 */;

    template <class T, class U>
    concept bool EqualityComparableWith = /* 见定义 */;

    template <class T>
    concept bool StrictTotallyOrdered = /* 见定义 */;

    template <class T, class U>
    concept bool StrictTotallyOrderedWith = /* 见定义 */;

    template <class T>
    concept bool Movable = /* 见定义 */;

    template <class T>
    concept bool Copyable = /* 见定义 */;

    template <class T>
    concept bool Semiregular = /* 见定义 */;

    template <class T>
    concept bool Regular = /* 见定义 */;

    template <class F, class... Args>
    concept bool Invocable = /* 见定义 */;

    template <class F, class... Args>
    concept bool RegularInvocable = /* 见定义 */;

    template <class F, class... Args>
    concept bool Predicate = /* 见定义 */;

    template <class R, class T, class U>
    concept bool Relation = /* 见定义 */;

    template <class R, class T, class U>
    concept bool StrictWeakOrder = /* 见定义 */;

    }}}}