制约与概念
此页面描述实验性的新语言特性。对于用于标准库规范的具名类型要求,见具名要求。
类模板、函数模板及非模板函数(常为类模板成员)可以与制约关联,制约指定模板实参上的要求,这能用于选择最准确的函数重载和模板特化。
制约亦可用于限制变量声明和函数返回类型中的自动类型推导,为只有满足指定要求的类型。
这种要求的具名集合被称为概念。每个概念都是谓词,于编译时求值,并成为模板接口的一部分,它在其中用作制约:
#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 }
在编译时检测制约违规,早于模板实例化处理,这导致错误信息更易理解。
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); // ~~~~~~ ^ ~~~~~~~ // …… 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 )。按照 ISO C++ 核心方针 T.20 ,“与语法制约相反,指定有意义语义的能力是真概念的定义性特征。”
占位符
无制约占位符 auto 与拥有形式 concept-name <
template-argument-list(optional)>
的有制约占位符,是要被推导的类型的占位符。
占位符可出现于变量声明(该情况下它们从初始化器推导)或于函数返回类型(该情况下它们从 return 语句推导)
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 才能编译
占位符亦可出现于形参中,该情况下它们将函数声明转化为模板声明(若占位符有制约,则模板声明有制约)
template<size_t N> concept bool Even = (N%2 == 0); void f(std::array<auto, Even>); // 这是有二个形参的模板: // 无制约类型形参和有制约非类型形参
有制约占位符可用于 auto 能用的任何位置,例如在泛型 lambda 声明中
auto gl = [](Assignable& a, auto* b) { a = *b; };
缩写的模板
若函数参数列表中出现一或多个占位符,则函数声明实际上是函数模板声明,其模板形参列表以出现顺序,为每个单独的占位符包含一个虚设的形参
// 短形式 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));
等价的有制约类型指定符所引入的所有占位符拥有同一虚设模板形参。然而,每个无制约指定符( auto
)始终引入一个相异的模板形参
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);
函数模板与类模板都能用模板引入声明,它有语法 concept-name {
parameter-list(可选)}
,此情况中不需要关键词 template
:来自模板引入的 parameter-list 的每个形参都成为模板形参,其种类(类型、非类型、模板)以具名概念中对应形参的种类确定。
除了声明模板,模板引入关联一个谓词制约(见后述),它指名(对于变量概念)或调用(对于函数概念)该引入所指名的概念。
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;
对于函数模板,模板引入能与占位符组合:
Sortable{T} void f(T, auto); // 长形式: template<Sortable T, typename U> void f(T, U); // 另一种只用占位符的形式: void f(Sortable, auto);
本节未完成 原因:润色模板声明页面并链接至此 |
概念
概念是具名要求集合。概念的定义出现于命名空间作用域,并拥有函数模板定义(该情况下称为函数概念)或变量模板定义(该情况下称为变量概念)的形式。仅有的区别是关键词 concept 出现于 decl-specifier-seq 中:
// 来自标准(范围 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; }; }
下列限制应用于函数概念:
- 不允许
inline
与constexpr
,函数自动为inline
与constexpr
- 不允许
friend
与virtual
- 不允许异常规定,函数自动为
noexcept(true)
。 - 不能声明并延迟定义,不能重声明
- 返回类型必须是
bool
- 不允许返回类型推导
- 参数列表必须为空
- 函数体必须仅由一条
return
语句组成,其参数必须是一条制约表达式(谓词制约、其他制约的合取/析取或 requires 表达式,见后述)
下列限制应用于变量概念:
- 必须有类型
bool
- 不能声明为无初始化器
- 不允许
constexpr
,变量自动为constexpr
- 初始化器必须是制约表达式(谓词制约、其他制约的合取/析取或 requires 表达式,见后述)
概念不能在函数体内或变量初始化器内递归地指涉自身:
template<typename T> concept bool F() { return F<typename T::type>(); } // 错误 template<typename T> concept bool V = V<T*>; // 错误
概念定义不能有关联的制约。
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 种类型:
前三个类型的制约可以直接作为概念的体,或作为随即的 requires 子句出现:
template<typename T> requires // requires 子句(随即的制约) sizeof(T) > 1 && get_value<T>() // 二个谓词制约的合取 void f(T);
附着多个制约到同一声明时,总制约是按下列顺序的合取:模板引入所引入的制约、按出现顺序的每个模板形参的制约、模板形参列表后的 requires 子句、按出现顺序的每个函数参数的制约、尾随的 requires 子句:
// 声明用制约 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(); // 错误
合取
以 P && Q 指定制约 P
与 Q
的合取。
// 来自标准库(范围 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>;
二个制约的合取,仅若二个制约均得到满足才得到满足。合取从左到右且为短路求值(若不满足左侧制约,则不尝试对右侧制约的模板实参替换:这阻止立即语境之外替换导致的失败)。制约合取中不允许用户定义的 operator&&
重载。
析取
以 P || Q 指定制约 P
与 Q
的析取。
若任一制约得到满足,则二个制约的析取的到满足。析取从左到右且为短路求值(若满足左侧制约,则不尝试对右侧制约的模板实参替换)。制约析取中不允许用户定义的 operator||
重载。
// 来自标准库(范围 TS )的示例制约 template <class T = void> requires EqualityComparable<T>() || Same<T, void> struct equal_to;
谓词制约
谓词制约是 bool 类型的常量表达式。它仅若求值为 true 才得到满足。
template<typename T> concept bool Size32 = sizeof(T) == 4;
谓词制约能指定非类型模板形参上和模板模板实参上的要求。
谓词制约必须直接求值为 bool ,不允许转换:
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); // 错误:决不满足制约
要求
关键词 requires 有二种使用方式:
template<typename T> void f(T&&) requires Eq<T>; // 能作为函数声明器的最末元素出现 template<typename T> requires Addable<T> // 或在模板形参列表之右 T add(T a, T b) { return a + b; }
true
,否则为 false :
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 表达式的语法如下:
requires ( parameter-list(可选) ) { requirement-seq }
|
|||||||||
parameter-list | - | 逗号分隔列表,如在函数声明中,除了不允许默认参数,且最后的参数不能是省略号。这些参数无存储期、链接或生存期。这些参数在 requirement-seq 的闭 } 前处于作用域中。若不使用参数,则环绕的括号亦可省略
|
requirement-seq | - | 要求的空白符分隔序列,描述于下(每个要求以分号结尾)。每个要求添加另一制约到此 requires 表达式所定义的制约合取。 |
requirements-seq 中的每个要求是下列之一:
- 简单要求
- 类型要求
- 复合要求
- 嵌套要求
要求可以提及在作用域中的模板形参,和于 parameter-list 引入的局部参数。在参数化时,称 requires 表达式引入一个参数化制约。
替换模板实参到至 reqiures 表达式可能导致于其要求中形成非法类型或表达式。这些情况下,
- 若替换失败出现于用于模板化实体声明之外的 requires 表达式,则程序为病式。
- 若 requires 表达式用于模板化实体的声明中,则对应的制约被当做“不满足”而替换失败不是错误,然而
- 若替换失败会在对每个可能模板实参的 requires 表达式中出现,则程序为病式,不要求诊断:
template<class T> concept bool C = requires { new int[-(int)sizeof(T)]; // 对每个 T 非法:病式,不要求诊断 };
简单要求
简单要求是任意表达式语句。要求是表达式合法(是为表达式制约)。不同于谓词制约,不发生求值,只检查语言正确性。
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)); };
类型要求
类型要求是关键词 typename 后随类型名,可选地有限定。要求是该具名类型存在(类型制约):这可用于校验具体的具名嵌套类型是否存在,或类模板特化是否指名一个类型,或别名模板是否指名一个类型。
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)} }; };
复合要求
复合要求拥有形式
{ expression } noexcept (可选) trailing-return-type(可选) ;
|
|||||||||
并指定下列制约的合取:
noexcept
,则表达式必须亦为 noexcept (异常制约)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 子句中会令它成为表达式制约,这表示不求值它)。
// 来自范围 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] }; // 复合 };
概念决议
类似任何其他函数模板,函数概念(但不是变量概念)能重载:可以提供全部使用同一 concept-name 的多个概念定义。
概念决议在 concept-name (可以有限定)出现于下列语境时进行
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 。
为进行概念决议,每个匹配名称(与限定,若存在)的模板形参都与模板实参与通配符这些概念实参的序列配对。通配符可匹配任何种类(类型、非类型、模板)的模板实参。形参集构造方式各异,依赖于语境
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
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
template<typename... Ts> concept bool C3 = true; C3{T} void q2(); // OK: <T> 匹配 <...Ts> C3{...Ts} void q1(); // OK: <...Ts> 匹配 <...Ts>
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
概念决议通过配对每个实参和对应每个可见概念的对应形参进行。默认模板实参(若使用)为每个不对应实参的形参实例化,然后后附到实参列表。模板实参匹配形参,仅若它拥有相同种类(类型、非类型、模板),除非实参是通配符。形参包可匹配零或更多实参,只要所有实参都匹配种类中的模式(除非它们是通配符)。
若任何实参不匹配其对应的形参,或若有多于形参的实参,且最后的形参不是包,则该概念不可达。若有零或多于一个可生成概念,则程序为病式。
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 均匹配:错误
本节未完成 原因:需要一个带有意义概念的示例,而非这些 'return true' 占位符 |
制约的偏序
在任何进一步分析前,通过替换每个具名概念和每个 requires 表达式的体规范化制约,直到剩下原子制约上的合取与析取序列。原子制约是谓词制约、表达式制约、隐式转换制约、实参推导制约和异常制约。
若能不因等价性分析类型和表达式就能证明概念 P
蕴含 概念 Q
,则说 P
包含 Q
(故 N >= 0
不包含 N > 0
)
具体而言,转换首个 P
为析取范式并转换 Q
为合取范式,再以下列方式比较它们:
- 每个原子制约
A
包含等价的原子制约A
- 每个原子制约
A
包含析取A||B
而不包含合取A&&B
- 每个合取
A&&B
包含A
,但析取A||B
不包含A
包含关系定义制约上的偏序,这被用于确定:
本节未完成 原因:从上述内容添加到此的回链 |
若声明 D1
与 D2
有制约且 D1 的规范化制约包含 D2 的规范化制约(或若 D1 有制约而 D2 无制约),则说 D1 与 D2 相比至少一样有制约。若 D1 至少与 D2 一样有制约,而 D2 不至少与 D1 一样有制约,则 D1 比 D2 更受制约。
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 因为它更受制约
关键词
编译器支持
GCC >= 6.1 支持此技术规范(要求选项 -fconcepts )。