在Ranges规范N4622中,Same
概念定义为采用T
和U
两种类型,但有时在requires
内部仅使用一种类型:
{ t } -> Same<T>;
可以推论第二种
U
的规则是什么? (例如,来自Concepts规范N4630)最简单的类似示例是:
template <class T, class U>
concept bool C = (sizeof(T) == sizeof(U)) && (sizeof(U) != 1);
template <class T>
concept bool D = requires(T t){
// How is U deduced here?
{t} -> C<T>;
};
template <class T>
requires D<T>
void fn() {}
int main() {
// Fails with: unable to deduce placeholder type 'C<char>' from 't'
// That's expected.
//fn<char>();
// But how does this work?
fn<int>();
}
使用g++ 8.0.0和-fconcepts测试的示例。
最佳答案
什么是占位符?
快速回顾一下,以确保我们都在同一页上:占位符类型几乎是,但不是完全相同。它是一种可以有效推论出的类型的替身。 (类似地,还有占位符非类型[resp。template],它们是非类型的替身。为避免切线,我在这里仅提及它们的存在,并从现在开始使用所有包含的占位符术语。 )
在概念之前,我们仅有的占位符是auto
和decltype(auto)
说明符:
// the specifiers are all placeholders for `int`
auto i = 42;
auto& lref = i;
auto&& rref = 0;
decltype(auto) = 2 * i;
通过概念,我们可以更复杂地使用占位符:
// two placeholders for `int`
std::pair<auto, auto> p = std::make_pair(1, 4);
// one placeholder
std::pair<auto, int> q = p;
这就是棘手的地方:一个概念本身可以用作占位符:
template<typename Int>
concept bool Integral = …;
// placeholder for `int` constrained by `Integral<int>`
Integral a = 0;
// same as above
Integral<> b = a;
template<typename Lhs, typename Rhs>
concept bool EqualityComparable = …;
// another placeholder for `int`
// this time constrained by `EqualityComparable<int, double>`
EqualityComparable<double> c = a;
请仔细阅读二进制
EqualityComparable
示例。使概念作为占位符比较棘手的原因是,第一个概念参数具有特殊处理,因此不会在参数列表中提及。出现在尖括号列表中的所有参数(如果有)均与后续参数相对应。需求中的占位符
让我们为具有
size()
的东西写一个概念。为了演示,我们希望size()
操作的结果可以用作Incrementable
变量(而不是像Integral
概念这样的有意义的变量)。template<typename Incr>
concept bool Incrementable = requires(Incr incr) {
++incr;
};
template<typename Cont>
concept bool Sizeable = requires(Cont const cont) {
// requirement #1
{ cont.size() } -> Incrementable
};
我们的要求1是一种特殊的复合要求。即,它是一种在句法尾随返回类型中出现占位符的位置。效果就像我们写的一样:
template<Incrementable Incr>
void valid_for_incrementable(Incr incr);
template<typename Cont>
concept bool Sizeable = requires(Cont const cont) {
cont.size();
valid_for_incrementable(cont.size());
};
明确地说,复合要求的目的是立即引入两个约束:括号中的表达式有效,并且可以用作发明约束验证函数模板的参数。
现在都在一起了
有了我们对占位符及其在复合需求中的用法的了解,我们可以找到答案:
template<typename T>
concept bool Demo = requires(T t) {
{ t } -> C<T>;
};
有效地意味着我们在
C<T, T>
表达式上引入了t
约束。如果占位符改为C<int>
,则约束将改为C<T, int>
,依此类推。