查看“︁cpp/experimental/constraints”︁的源代码

因为以下原因，您没有权限编辑该页面：

您请求的操作仅限属于这些用户组的用户执行：用户、管理员

您可以查看和复制此页面的源代码。

{{title|制约与概念}}
{{cpp/experimental/navbar}}

{{fmbox | class=noprint | style=font-size: 0.8em | text='''实验性特性''' 此页面上描述的功能是概念技术规范 (Concepts Technical Specification ISO/IEC TS 19217:2015){{mark since concepts_ts}} 的一部分。对于此特性于 C++20 中接纳的版本，见[[cpp/language/constraints|此处]]。}}
{{small|此页面描述实验性的新语言特性。对于用于标准库规范的具名类型要求，见[[cpp/named req|具名要求]]。}}

[[cpp/language/class template|类模板]]、[[cpp/language/function template|函数模板]]及非模板函数（常为类模板成员）可以与''制约''关联，制约指定模板实参上的要求，这能用于选择最准确的函数重载和模板特化。

制约亦可用于限制变量声明和函数返回类型中的自动类型推导，为只有满足指定要求的类型。

这种要求的具名集合被称为''概念''。每个概念都是谓词，于编译时求值，并成为模板接口的一部分，它在其中用作制约：
{{example|code=
#include <string>
#include <locale>
using namespace std::literals;

// 概念 "EqualityComparable" 的声明，任何有该类型值 a 和 b ，
// 而表达式 a==b 可编译而其结果可转换为 bool 的 T 类型满足它
template<typename T>
concept bool EqualityComparable = requires(T a, T b) {
    { a == b } -> bool;
};

void f(EqualityComparable&&); // 有制约函数模板的声明
// template<typename T>
// void f(T&&) requires EqualityComparable<T>; // 相同的长形式

int main() {
  f("abc"s); // OK：std::string 为 EqualityComparable
  f(std::use_facet<std::ctype<char>>(std::locale{})); // 错误：非 EqualityComparable <!-- 可能需要没那么玄妙的示例，只要该概念能简单地成一行……可能是 Incrementable ？ -->
}
}}

在编译时检测制约违规，早于模板实例化处理，这导致错误信息更易理解。
{{source|1=
std::list<int> l = {3,-1,10};
std::sort(l.begin(), l.end()); 
//无概念的典型编译器诊断：
//  invalid operands to binary expression ('std::_List_iterator<int>' and
//  'std::_List_iterator<int>')
//                           std::__lg(__last - __first) * 2);
//                                     <nowiki>~~~~~~ ^ ~~~~~~~</nowiki>
// …… 50 行输出……
//
//有概念的典型编译器诊断：
//  error: cannot call std::sort with std::_List_iterator<int>
//  note:  concept RandomAccessIterator<std::_List_iterator<int>> was not satisfied
}}

概念的目的是模拟语义类别（Number、Range、RegularFunction）而非语法制约（HasPlus、Array）。按照 [https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#t20-avoid-concepts-without-meaningful-semantics ISO C++ 核心方针 T.20]，“与语法制约相反，指定有意义语义的能力是真概念的定义性特征。”

===占位符===
无制约占位符 {{c|auto}} 与拥有形式 {{spar|concept-name}} {{ttb|<}} {{spar|template-argument-list}}{{mark|optional}}{{ttb|>}} 的''有制约占位符''，是要被推导的类型的占位符。

占位符可出现于变量声明（该情况下它们从初始化器推导）或于函数返回类型（该情况下它们从 return 语句推导）

{{source|1=
std::pair<auto, auto> p2 = std::make_pair(0, 'a'); // 第一个 auto 是 int,
                                                   // 第二个 auto 是 char

Sortable x = f(y); // x 的类型从 f 的返回类型推导，仅若类型满足制约 Sortable 才能编译

auto f(Container) -> Sortable; // 返回类型从 return 语句推导，仅若类型满足 Sortable 才能编译
}}

占位符亦可出现于形参中，该情况下它们将函数声明转化为模板声明（若占位符有制约，则模板声明有制约）
{{source|1=
template<size_t N> concept bool Even = (N%2 == 0);
void f(std::array<auto, Even>); // 这是有二个形参的模板：
       // 无制约类型形参和有制约非类型形参
}}

有制约占位符可用于 {{c|auto}} 能用的任何位置，例如在泛型 lambda 声明中
{{source|1=
auto gl = [](Assignable& a, auto* b) { a = *b; };
}}

如果有制约类型说明符指定了非类型或模板，但被用作有制约占位符，则程序非良构：
{{source|1=
template<size_t N> concept bool Even = (N%2 == 0);
struct S1 { int n; };
int Even::* p2 = &S1::n; // 错误，非法使用非类型概念
void f(std::array<auto, Even>); // 错误，非法使用非类型概念
template<Even N> void f(std::array<auto, N>); // OK
}}

===缩写的模板===
若函数参数列表中出现一或多个占位符，则函数声明实际上是函数模板声明，其模板形参列表以出现顺序，为每个单独的占位符包含一个虚设的形参

{{source|1=
// 短形式
void g1(const EqualityComparable*, Incrementable&);
// 长形式：
// template<EqualityComparable T, Incrementable U> void g1(const T*, U&);
// 更长形式：
// template<typename T, typename U>
// void g1(const T*, U&) requires EqualityComparable<T> && Incrementable<U>;

void f2(std::vector<auto*>...);
// 长形式：template<typename... T> void f2(std::vector<T*>...);

void f4(auto (auto::*)(auto));
// 长形式：template<typename T, typename U, typename V> void f4(T (U::*)(V));
}}

等价的有制约类型指定符所引入的所有占位符拥有同一虚设模板形参。然而，每个无制约指定符（{{tt|auto}}）始终引入一个相异的模板形参
{{source|1=
void f0(Comparable a, Comparable* b);
// 长形式：template<Comparable T> void f0(T a, T* b);

void f1(auto a, auto* b);
// 长形式：template<typename T, typename U> f1(T a, U* b);
}}

函数模板与类模板都能用''模板引入''声明，它有语法 {{spar|concept-name}} {{ttb|{}} {{spar|parameter-list}}{{mark optional}}{{ttb|} }} ，此情况中不需要关键词 {{tt|template}} ：来自模板引入的 {{spar|parameter-list}} 的每个形参都成为模板形参，其种类（类型、非类型、模板）以具名概念中对应形参的种类确定。

除了声明模板，模板引入关联一个''谓词制约''（见后述），它指名（对于变量概念）或调用（对于函数概念）该引入所指名的概念。
{{source|1=
EqualityComparable{T} class Foo;
// 长形式：template<EqualityComparable T> class Foo;
// 更长形式：template<typename T> requires EqualityComparable<T> class Foo;

template<typename T, int N, typename... Xs> concept bool Example = ...;
Example{A, B, ...C} struct S1;
// 长形式：template<class A, int B, class... C> requires Example<A,B,C...> struct S1;
}}

对于函数模板，模板引入能与占位符组合：
{{source|1=
Sortable{T} void f(T, auto);
// 长形式：template<Sortable T, typename U> void f(T, U);
// 另一种只用占位符的形式： void f(Sortable, auto);
}}

{{todo|润色模板声明页面并链接至此}}

===概念===
概念是具名要求集合。概念的定义出现于命名空间作用域，并拥有[[cpp/language/function template|函数模板]]定义（该情况下称为''函数概念''）或[[cpp/language/variable template|变量模板]]定义（该情况下称为''变量概念''）的形式。仅有的区别是关键词 {{c|concept}} 出现于 {{spar|decl-specifier-seq}} 中：
{{source|1=
// 来自标准库（范围 TS）的变量概念
template <class T, class U>
concept bool Derived = std::is_base_of<U, T>::value;

// 来自标准库（范围 TS）的函数概念
template <class T>
concept bool EqualityComparable() { 
    return requires(T a, T b) { {a == b} -> Boolean; {a != b} -> Boolean; };
}
}}

下列限制应用于函数概念：
* 不允许 {{tt|inline}} 与 {{tt|constexpr}}，函数自动为 {{tt|inline}} 与 {{tt|constexpr}}
* 不允许 {{tt|friend}} 与 {{tt|virtual}}
* 不允许异常规定，函数自动为 {{tt|noexcept(true)}}。
* 不能声明并延迟定义，不能重声明
* 返回类型必须是 {{tt|bool}}
* 不允许返回类型推导
* 参数列表必须为空
* 函数体必须仅由一条 {{tt|return}} 语句组成，其参数必须是一条''制约表达式''（谓词制约、其他制约的合取/析取或 requires 表达式，见后述）

下列限制应用于变量概念：
* 必须有类型 {{tt|bool}}
* 不能声明为无初始化器
* 不允许 {{tt|constexpr}}，变量自动为 {{tt|constexpr}}
* 初始化器必须是制约表达式（谓词制约、其他制约的合取/析取或 requires 表达式，见后述）

概念不能在函数体内或变量初始化器内递归地指涉自身：
{{source|1=
template<typename T>
concept bool F() { return F<typename T::type>(); } // 错误
template<typename T>
concept bool V = V<T*>; // 错误
}}

概念定义不能有关联的制约。
{{source|1=
template<class T> concept bool C1 = true;
template<C1 T>
concept bool Error1 = true; // 错误：C1 T 声明了一个关联的制约
template<class T> requires C1<T>
concept bool Error2 = true; // 错误：requires 子句声明了一个关联的制约
}}

不允许概念的显式实例化、显式特化或部分特化（不能更改制约的原初定义的意义）。

===制约===
制约是一系列逻辑运算，它指定模板实参上的要求。它们可出现于 ''requires 表达式''（见后述）中，及直接作为概念的体。

制约有 9 种类型：
@1@ 合取
@2@ 析取
@3@ 谓词制约
@4@ 表达式制约（仅在 ''requires 表达式''中）
@5@ 类型制约（仅在 ''requires 表达式''中）
@6@ 隐式转换制约（仅在 ''requires 表达式''中）
@7@ 实参推导制约（仅在 ''requires 表达式''中）
@8@ 异常制约（仅在 ''requires 表达式''中）
@9@ 参数化制约（仅在 ''requires 表达式''中）

前三个类型的制约可以直接作为概念的体，或作为随即的 requires 子句出现：
{{source|1=
template<typename T>
requires // requires 子句（随即的制约）
sizeof(T) > 1 && get_value<T>() // 二个谓词制约的合取
void f(T);
}}

附着多个制约到同一声明时，总制约是按下列顺序的合取：''模板引入''所引入的制约、按出现顺序的每个模板形参的制约、模板形参列表后的 ''requires'' 子句、按出现顺序的每个函数参数的制约、尾随的 ''requires'' 子句：
{{source|1=
// 声明用制约 Incrementable<T> && Decrementable<T> 声明同一有制约函数模板 
template<Incrementable T>
void f(T) requires Decrementable<T>;
template<typename T>
requires Incrementable<T> && Decrementable<T>
void f(T); // OK

// 下列二个声明拥有不同制约：
// 第一个声明有 Incrementable<T> && Decrementable<T>
// 第二个声明有 Decrementable<T> && Incrementable<T>
// 尽管它们逻辑等价。
// 第二个声明为病式，不要求诊断。

template<Incrementable T> requires Decrementable<T> void g();
template<Decrementable T> requires Incrementable<T> void g(); // 错误
}}

====合取====
以 {{c|P && Q}} 指定制约 {{tt|P}} 与 {{tt|Q}} 的合取。

{{source|1=
// 来自标准库（范围 TS）的示例概念
template <class T>
concept bool Integral = std::is_integral<T>::value;
template <class T>
concept bool SignedIntegral = Integral<T> && std::is_signed<T>::value;
template <class T>
concept bool UnsignedIntegral = Integral<T> && !SignedIntegral<T>;
}}

二个制约的合取，仅若二个制约均得到满足才得到满足。合取从左到右且为短路求值（若不满足左侧制约，则不尝试对右侧制约的模板实参替换：这阻止立即语境之外替换导致的失败）。制约合取中不允许用户定义的 {{tt|operator&&}} 重载。

====析取====
以 {{c|P {{!!}} Q}} 指定制约 {{tt|P}} 与 {{tt|Q}} 的析取。

若任一制约得到满足，则二个制约的析取的到满足。析取从左到右且为短路求值（若满足左侧制约，则不尝试对右侧制约的模板实参替换）。制约析取中不允许用户定义的 {{tt|operator{{!!}}}} 重载。

{{source|1=
// 来自标准库（范围 TS）的示例制约
template <class T = void>
requires EqualityComparable<T>() {{!!}} Same<T, void>
struct equal_to;
}}

====谓词制约====
谓词制约是 {{c|bool}} 类型的常量表达式。它仅若求值为 {{c|true}} 才得到满足。
{{source|1=
template<typename T> concept bool Size32 = sizeof(T) == 4;
}}
谓词制约能指定非类型模板形参上和模板模板实参上的要求。

谓词制约必须直接求值为 {{c|bool}}，不允许转换：
{{source|1=
template<typename T> struct S {
    constexpr explicit operator bool() const { return true; }
};
template<typename T>
requires S<T>{} // 坏的谓词制约：S<T>{} 不是 bool
void f(T);
f(0); // 错误：决不满足制约
}}

===要求===
关键词 {{c|requires}} 有二种使用方式：
@1@ 引入 ''requires 子句''，它指定模板实参或函数声明上的制约。
{{source|1=
template<typename T>
void f(T&&) requires Eq<T>; // 能作为函数声明器的最末元素出现

template<typename T> requires Addable<T> // 或在模板形参列表之右
T add(T a, T b) { return a + b; }
}}
@@此情况下，关键词 ''requires'' 必须为某个常量表达式所后随（故可以写 "requires true;"），但其意图是使用具名概念（如上述示例中）或具名概念的合取/析取或 ''requires 表达式''。
@2@ 开始 ''requires 表达式''，它是 {{c|bool}} 类型纯右值，描述某些模板实参上的制约。若满足对应概念则这种表达式为 {{tt|true}} ，否则为 false ：
{{source|1=
template<typename T>
concept bool Addable = requires (T x) { x + x; }; // requires 表达式

template<typename T> requires Addable<T> // requires 子句，非 requires 表达式
T add(T a, T b) { return a + b; }

template<typename T>
requires requires (T x) { x + x; } // 随即制约，注意使用二次关键字
T add(T a, T b) { return a + b; }
}}

''requires 表达式''的语法如下：
{{sdsc begin}}
{{sdsc|{{ttb|requires}} {{ttb|(}} {{spar|parameter-list}}{{mark optional}} {{ttb|)}} {{ttb|{ }} {{spar|requirement-seq}} {{ttb|} }} }}
{{sdsc end}}
{{par begin}}
{{par | {{spar|parameter-list}} |逗号分隔列表，如在函数声明中，除了不允许默认参数，且最后的参数不能是省略号。这些参数无存储期、链接或生存期。这些参数在 {{spar|requirement-seq}} 的闭 {{ttb|} }} 前处于作用域中。若不使用参数，则环绕的括号亦可省略}}
{{par | {{spar|requirement-seq}} |''要求''的空白符分隔序列，描述于下（每个要求以分号结尾）。每个要求添加另一制约到此 requires 表达式所定义的制约''合取''。}}
{{par end}}

{{spar|requirements-seq}} 中的每个要求是下列之一：
* 简单要求
* 类型要求
* 复合要求
* 嵌套要求

要求可以提及在作用域中的模板形参，和于 {{spar|parameter-list}} 引入的局部参数。在参数化时，称 requires 表达式引入一个''参数化制约''。

替换模板实参到至 reqiures 表达式可能导致于其要求中形成非法类型或表达式。这些情况下，
* 若替换失败出现于用于[[cpp/language/templates#模板化实体|模板化实体]]声明之外的 requires 表达式，则程序为病式。
* 若 requires 表达式用于[[cpp/language/templates#模板化实体|模板化实体]]的声明中，则对应的制约被当做“不满足”而[[cpp/language/sfinae|替换失败不是错误]]，然而
* 若替换失败会在对每个可能模板实参的 requires 表达式中出现，则程序为病式，不要求诊断：
{{source|1=
template<class T> concept bool C = requires {
    new int[-(int)sizeof(T)]; // 对每个 T 非法：病式，不要求诊断
};
}}

====简单要求====
简单要求是任意表达式语句。要求是表达式合法（是为''表达式制约''）。不同于谓词制约，不发生求值，只检查语言正确性。

{{source|1=
template<typename T>
concept bool Addable =
requires (T a, T b) {
    a + b; // “表达式 a + b 是可编译的合法表达式”
};

// 来自标准库（范围 TS ）的示例
template <class T, class U = T>
concept bool Swappable = requires(T&& t, U&& u) {
    swap(std::forward<T>(t), std::forward<U>(u));
    swap(std::forward<U>(u), std::forward<T>(t));
};
}}

====类型要求====
类型要求是关键词 {{c|typename}} 后随类型名，可选地有限定。要求是该具名类型存在（''类型制约''）：这可用于校验具体的具名嵌套类型是否存在，或类模板特化是否指名一个类型，或别名模板是否指名一个类型。
{{source|1=
template<typename T> using Ref = T&;
template<typename T> concept bool C =
requires {
    typename T::inner; // 要求的嵌套成员名
    typename S<T>;     // 要求的类模板特化
    typename Ref<T>;   // 要求的别名模版替换
};

// 来自标准库（范围 TS ）的示例概念
template <class T, class U> using CommonType = std::common_type_t<T, U>;
template <class T, class U> concept bool Common =
requires (T t, U u) {
    typename CommonType<T, U>; // CommonType<T, U> 合法且指名类型
    { CommonType<T, U>{std::forward<T>(t)} }; 
    { CommonType<T, U>{std::forward<U>(u)} }; 
};
}}

====复合要求====
复合要求拥有形式 
{{sdsc begin}}
{{sdsc|{{ttb|{}} {{spar|expression}} {{ttb|} }} {{ttb|noexcept}}{{mark optional}} {{spar|trailing-return-type}}{{mark optional}} {{ttb|;}} }}
{{sdsc end}}
并指定下列制约的合取：
@1@ {{spar|expression}} 是合法表达式（''表达式制约''）
@2@ 若使用 {{tt|noexcept}}，则表达式必须亦为 noexcept （''异常制约''）
@3@ 若 {{spar|trailing-return-type}} 指名用占位符的类型，则类型必须可从表达式的类型推导（''实参推导制约''）
@4@ 若 {{spar|trailing-return-type}} 指名不用占位符的类型，则再添加二个制约：
:@4a@ {{spar|trailing-return-type}} 所指名的类型合法（''类型制约''）
:@4b@ 表达式结果[[cpp/language/implicit conversion|可隐式转换]]成该类型（''隐式转换制约''）

{{source|1=
template<typename T> concept bool C2 =
requires(T x) {
    {*x} -> typename T::inner; // 表达式 *x 必须合法
                               // AND 类型 T::inner 必须合法
                               // AND *x 的结果必须可转换成 T::inner
};

// 来自标准库（范围 TS ）的示例概念
template <class T, class U> concept bool Same = std::is_same<T,U>::value;
template <class B> concept bool Boolean =
requires(B b1, B b2) {
    { bool(b1) }; // 直接初始化制约必须使用表达式
    { !b1 } -> bool; // 复合制约
    requires Same<decltype(b1 && b2), bool>; // 嵌套制约，见后述
    requires Same<decltype(b1 {{!!}} b2), bool>;
};
}}

====嵌套要求====
嵌套要求是另一以分号终止的 ''requires 子句''。它被用于引入''谓词制约''（见前述），该制约以另一应用到局部参数的具名制约表达（在 requires 子句外，谓词制约不能使用参数，而直接放置表达式于 requires 表达式的expression部分会令它成为表达式制约，这表示不求值它）。

{{source|1=
// 来自范围 TS 的示例制约
template <class T>
concept bool Semiregular = DefaultConstructible<T> &&
    CopyConstructible<T> && Destructible<T> && CopyAssignable<T> &&
requires(T a, size_t n) {  
    requires Same<T*, decltype(&a)>;  // 嵌套：“Same<...> 求值为 true”
    { a.~T() } noexcept;  // 复合： "a.~T()" 是不抛出的合法表达式
    requires Same<T*, decltype(new T)>; // 嵌套：“Same<...> 求值为 true”
    requires Same<T*, decltype(new T[n])>; // 嵌套
    { delete new T };  // 复合
    { delete new T[n] }; // 复合
};
}}

===概念决议===
类似任何其他函数模板，函数概念（但不是变量概念）能重载：可以提供全部使用同一 {{spar|concept-name}} 的多个概念定义。

概念决议在 {{spar|concept-name}} （可以有限定）出现于下列语境时进行
@1@ 有制约类型指定符 {{c|1=void f(Concept); std::vector<Concept> x = ...;}}
@2@ 有制约形参 {{c|template<Concept T> void f();}}
@3@ 模板引入 {{c|Concept{T} struct X;}}
@4@ ''制约表达式'' {{c|template<typename T> void f() requires Concept<T>;}}

{{source|1=
template<typename T> concept bool C() { return true; } // #1
template<typename T, typename U> concept bool C() { return true; } // #2
void f(C); // C 所指代的制约集包含 #1 和 #2；
           // 概念决议（见后述）选择 #1。
}}

为进行概念决议，每个匹配名称（与限定，若存在）的''模板形参''都与模板实参与''通配符''这些''概念实参''的序列配对。通配符可匹配任何种类（类型、非类型、模板）的模板实参。形参集构造方式各异，依赖于语境
@1@ 对于用作有制约类型指定符或形参一部分的概念名，若概念名以无形参列表使用，则实参列表是单个通配符。
{{source|1=
template<typename T> concept bool C1() { return true; } // #1
template<typename T, typename U> concept bool C1() { return true; } // #2
void f1(const C1*); // <wildcard> 匹配 <T>，选择 #1
}}
@2@ 对于用作有制约类型指定符或形参一部分的概念名，若概念名以模板实参列表使用，则实参列表是一个通配符后随实参列表。
{{source|1=
template<typename T> concept bool C1() { return true; } // #1
template<typename T, typename U> concept bool C1() { return true; } // #2
void f2(C1<char>); // <wildcard, char> 匹配 <T, U>，选择 #2
}}
@3@ 若概念出现于模板引入中，则实参列表是与模板引入中形参列表等长的占位符序列
{{source|1=
template<typename... Ts>
concept bool C3 = true;
C3{T} void q2();     // OK: <T> 匹配 <...Ts>
C3{...Ts} void q1(); // OK: <...Ts> 匹配 <...Ts>
}}
@4@ 若概念作为模板 id 出现，则概念实参列表准确地是该模板 id 的实参序列
{{source|1=
template<typename T> concept bool C() { return true; } // #1
template<typename T, typename U> concept bool C() { return true; } // #2

template <typename T>
void f(T) requires C<T>(); // 匹配 #1
}}

概念决议通过配对每个实参和对应每个可见概念的对应形参进行。默认模板实参（若使用）为每个不对应实参的形参实例化，然后后附到实参列表。模板实参匹配形参，仅若它拥有相同种类（类型、非类型、模板），除非实参是通配符。形参包可匹配零或更多实参，只要所有实参都匹配种类中的模式（除非它们是通配符）。

若任何实参不匹配其对应的形参，或若有多于形参的实参，且最后的形参不是包，则该概念不可达。若有零或多于一个可生成概念，则程序为病式。

{{source|1=
template<typename T> concept bool C2() { return true; }
template<int T> concept bool C2() { return true; }

template<C2<0> T> struct S1; // 错误：<wildcard, 0> 不匹配 <typename T> 或 <int T>
template<C2 T> struct S2; // #1 与 #2 均匹配：错误
}}
{{todo|需要一个带有意义概念的示例，而非这些 'return true' 占位符}}

===制约的偏序===
在任何进一步分析前，通过替换每个具名概念和每个 requires 表达式的体''规范化''制约，直到剩下原子制约上的合取与析取序列。原子制约是谓词制约、表达式制约、隐式转换制约、实参推导制约和异常制约。

若能不因等价性分析类型和表达式就能证明概念 {{tt|P}} [[enwiki:Logical consequence|蕴含]] 概念 {{tt|Q}}，则说 {{tt|P}} ''包含'' {{tt|Q}} （故 {{tt|N >{{=}} 0}} 不包含 {{tt|N > 0}}）

具体而言，转换首个 {{tt|P}} 为析取范式并转换 {{tt|Q}} 为合取范式，再以下列方式比较它们：
* 每个原子制约 {{tt|A}} 包含等价的原子制约 {{tt|A}}
* 每个原子制约 {{tt|A}} 包含析取 {{tt|A{{!!}}B}} 而不包含合取 {{tt|A&&B}}
* 每个合取 {{tt|A&&B}} 包含 {{tt|A}}，但析取 {{tt|A{{!!}}B}} 不包含 {{tt|A}}

包含关系定义制约上的偏序，这被用于确定：
* [[cpp/language/overload resolution|重载决议]]中非模板函数的最佳可生成候选
* 重载集中[[cpp/language/overloaded address|非模板函数的地址]]
* 模板模板实参的最佳匹配
* 类模板特化的偏序
* 函数模板的[[cpp/language/function_template#函数模板重载|偏序]]

{{todo|从上述内容添加到此的回链}}

若声明 {{tt|D1}} 与 {{tt|D2}} 有制约且 D1 的规范化制约包含 D2 的规范化制约（或若 D1 有制约而 D2 无制约），则说 D1 与 D2 相比''至少一样有制约''。若 D1 至少与 D2 一样有制约，而 D2 不至少与 D1 一样有制约，则 D1 比 D2 ''更受制约''。

{{source|1=
template<typename T>
concept Decrementable = requires(T t) { --t; };
template<typename T>
concept RevIterator = Decrementable<T> && requires(T t) { *t; };

// RevIterator 包含 Decrementable，但非相反
// RevIterator 比 Decrementable 更受制约

void f(Decrementable); // #1
void f(RevIterator);   // #2

f(0);       // int 仅满足可自增，选择 #1
f((int*)0); // int* 满足二个制约，选择 #2，因为更受制约

void g(auto);          // #3（无制约）
void g(Decrementable); // #4

g(true);  // bool 不满足 Decrementable，选择 #3
g(0);     // int 满足 Decrementable，选择 #4 因为它更受制约
}}

===关键词===
{{ltt|cpp/keyword/concept}},
{{ltt|cpp/keyword/requires}}

===编译器支持===
GCC >= 6.1 支持此技术规范（要求选项 {{c|-fconcepts}}）。

{{langlinks|de|en|es|fr|it|ja|pt|ru}}

该页面使用的模板：

Template:!（查看源代码）
Template:!!（查看源代码）
Template:=（查看源代码）
Template:ambox（查看源代码）
Template:ambox/category（查看源代码）
Template:ambox/core（查看源代码）
Template:c（查看源代码）
Template:cat handler（查看源代码）
Template:cat handler/blacklist（查看源代码）
Template:cat handler/numbered（查看源代码）
Template:cpp/experimental/navbar（查看源代码）
Template:cpp/experimental/navbar content（查看源代码）
Template:cpp/experimental/navbar heading（查看源代码）
Template:cpp/navbar content（查看源代码）
Template:cpp/navbar heading（查看源代码）
Template:dsc editlink（查看源代码）
Template:example（查看源代码）
Template:fmbox（查看源代码）
Template:get lang（查看源代码）
Template:langlinks（查看源代码）
Template:langlinks/one（查看源代码）
Template:list guard（查看源代码）
Template:ls（查看源代码）
Template:ltt（查看源代码）
Template:ltt/core（查看源代码）
Template:mark（查看源代码）
Template:mark c++11（查看源代码）
Template:mark c++17（查看源代码）
Template:mark c++20（查看源代码）
Template:mark c++26（查看源代码）
Template:mark optional（查看源代码）
Template:mark rev（查看源代码）
Template:mark since concepts ts（查看源代码）
Template:mark since concurrency ts（查看源代码）
Template:mark since concurrency ts 2（查看源代码）
Template:mark since fs ts（查看源代码）
Template:mark since libfund ts（查看源代码）
Template:mark since libfund ts 2（查看源代码）
Template:mark since libfund ts 3（查看源代码）
Template:mark since parallelism ts（查看源代码）
Template:mark since parallelism ts 2（查看源代码）
Template:mark since ranges ts（查看源代码）
Template:mark since reflection ts（查看源代码）
Template:mark since special functions tr（查看源代码）
Template:namespace detect（查看源代码）
Template:navbar（查看源代码）
Template:navbar editlink（查看源代码）
Template:nv（查看源代码）
Template:nv begin（查看源代码）
Template:nv end（查看源代码）
Template:nv h2（查看源代码）
Template:par（查看源代码）
Template:par begin（查看源代码）
Template:par end（查看源代码）
Template:sdsc（查看源代码）
Template:sdsc begin（查看源代码）
Template:sdsc end（查看源代码）
Template:sdsc sep（查看源代码）
Template:small（查看源代码）
Template:source（查看源代码）
Template:spar（查看源代码）
Template:title（查看源代码）（受保护）
Template:todo（查看源代码）
Template:trim（查看源代码）
Template:tt（查看源代码）
Template:ttb（查看源代码）

返回cpp/experimental/constraints。

cppreference.com

搜索

命名空间

语言变体

查看

操作

查看“︁cpp/experimental/constraints”︁的源代码

导航

工具