![]() |
1
14
你可以这样写:
在这里,我们使用 Requires子句 对类型模板参数施加要求。 |
![]() |
2
10
你可以写:
这相当于:
类型在这里的约束中翻转,
通过翻转模板参数的顺序(h/t matthieu m.),实际上可以按正确的顺序获得所需的约束:
|
![]() |
3
4
另一种完全避免引入模板参数的语法(以增加其他冗余为代价):
|
![]() |
4
4
在GCC 8.2.0中,概念应写成:
但是
C++ Templates: The Complete Guide
没有提到
对于需要一个参数(不一定是类型)的概念,有一个速记:
对于那些需要两个或更多参数的人,没有速记:
顺便说一句:
|