在Ranges规范N4622中,Same概念定义为采用TU两种类型,但有时在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],它们是非类型的替身。为避免切线,我在这里仅提及它们的存在,并从现在开始使用所有包含的占位符术语。 )

在概念之前,我们仅有的占位符是autodecltype(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>,依此类推。

07-24 09:46
查看更多