C++20:多类型概念及其约束，正确的语法？

Question

根据最近科隆ISO C++会议上的reddit报告，在即将发布的C++20标准中，我们将能够指定模板的概念，并且对于每个类/函数模板，我们将能够设置对其类型的约束。然而，在文档和教程中（例如这里），我找不到多类型用例的正确语法。

template<typename T1, typename T2>
concept AreEqComparable = requires(T1 a, T2 b) {
    { a == b } -> bool;
};

???
bool are_equal(T1 a, T2 b) { return a == b; }

/* 1 */ template<AreEqComparable T1, T2>
/* 2 */ AreEqComparable<T1, T2>
/* 3 */ template<AreEqComparable<T1, T2>>

但它们都抛出语法错误。我认为答案应该在Bjarne Stroustrup的规范P0557中的某个地方，但我很快就找不到了。

Answer 1

可以这样写：

template <typename T1, typename T2>
    requires AreEqComparable<T1, T2>
bool are_equal(T1 a, T2 b)
{
    // ...
}

在这里，我们使用一个requires子句对类型模板参数施加一个要求。